(n-valued NM-logic system).

Published in: Comput. Math. Appl. (2010)

Keyphrases

multi valued
valued logic
classical logic
logic programming
modal logic
asynchronous circuits
set theory
databases
propositional logic
automated reasoning
logical framework
defeasible logic
digital circuits
predicate logic
valued semantics