Login / Signup
The truths of logic.
Eric M. Hammer
Published in:
Synth. (1996)
Keyphrases
</>
classical logic
epistemic logic
multi valued
logical framework
defeasible logic
linear temporal logic
machine learning
clustering algorithm
automated reasoning
set theory
predicate logic
deontic logic
asynchronous circuits
dynamic logic
proof theory
intuitionistic logic