A generalization of falsity in finitely-many valued logics.

Published in: CoRR (2022)

Keyphrases

truth values
inference rules
modal logic
multi valued
valued logic
fixpoint
expressive power
finite number
order sorted
data sets
databases
machine learning
information systems
higher order
learning machines
anti unification