NOR logic: a system of natural deduction.

Laurence S. Gagnon

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

natural deduction
inference rules
cut elimination
theorem prover
intuitionistic logic
sequent calculus
theorem proving
linear time temporal logic
modal logic
automated reasoning
first order logic
logical framework
linear logic
probabilistic model
classical logic
proof theoretic
knowledge representation