A Natural Extension of Natural Deduction.

Peter Schroeder-Heister

Published in: J. Symb. Log. (1984)

Keyphrases

natural deduction
linear time temporal logic
theorem prover
inference rules
intuitionistic logic
theorem proving
cut elimination
semi supervised learning
sequent calculus