A multivalued logic ATMS.

Juan Luis Castro José Manuel Zurita

Published in: Int. J. Intell. Syst. (1996)

Keyphrases

multi valued
logic programming
modal logic
classical logic
predicate logic
single valued
proof theory
automated reasoning
defeasible logic
truth values
dynamic logic
logic synthesis
genetic algorithm
default logic
inference engine
asynchronous circuits