Login / Signup
Natural deduction and Hilbert's ɛ-operator.
Allen Hazen
Published in:
J. Philos. Log. (1987)
Keyphrases
</>
natural deduction
theorem prover
inference rules
sequent calculus
cut elimination
intuitionistic logic
theorem proving
machine learning
artificial intelligence
first order logic
default reasoning
linear time temporal logic