Normal Natural Deduction Proofs (in classical logic).

Wilfried Sieg John Byrnes

Published in: Stud Logica (1998)

Keyphrases

natural deduction
intuitionistic logic
classical logic
inference rules
theorem prover
modal logic
cut elimination
sequent calculus
theorem proving
logic programming
linear logic
automated theorem proving
valued logic
linear time temporal logic
decision procedures
possibility theory