Sign in
A Generalization of Falsity in Finitely-many Valued Logics.
Nissim Francez
Published in:
Fundam. Informaticae (2022)
Keyphrases
</>
truth values
modal logic
inference rules
multi valued
valued logic
fixpoint
expressive power
anti unification
machine learning
decision trees
inductive inference
order sorted
artificial intelligence
social networks
image sequences
concept lattice