Normal Natural Deduction Proofs (in Non-classical Logics).

Wilfried Sieg Saverio Cittadini

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

natural deduction
theorem proving
theorem prover
automated theorem proving
cut elimination
inference rules
sequent calculus
intuitionistic logic
first order logic
classical logic
linear time temporal logic
programming language
logic programs
automated reasoning