Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.

Arnon Avron Anna Zamansky

Published in: ISMVL (2007)

Keyphrases

multi valued
valued logic
decision diagrams
single valued
truth values
normal form
boolean functions
classical logic
logic synthesis
first order logic
velocity field
markov random field
directed graph
belief revision