Login / Signup
3D implication logic: Preliminary results.
Gina C. Adam
Published in:
FPT (2011)
Keyphrases
</>
modal logic
logic programming
multi valued
automated reasoning
genetic algorithm
predicate logic
logical implication
delay insensitive
learning algorithm
information systems
classical logic
defeasible logic
epistemic logic
asynchronous circuits
proof theory
sound and complete axiomatization