Login / Signup
From Axiomatic Logic to Natural Deduction.
Jan von Plato
Published in:
Stud Logica (2014)
Keyphrases
</>
natural deduction
cut elimination
inference rules
theorem prover
intuitionistic logic
sequent calculus
theorem proving
linear logic
linear time temporal logic
logic programming
class labels
partially ordered
set theory