Login / Signup
One useful logic that defines its own truth
Andreas Blass
Yuri Gurevich
Published in:
CoRR (2008)
Keyphrases
</>
truth values
logic programming
classical logic
valued logic
digital circuits
information systems
modal logic
data mining
case study
bayesian networks
automated reasoning
multi valued
computational properties
predicate logic
proof theory