A Natural Deduction System for First Degree Entailment.

Allard M. Tamminga Koji Tanaka

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

Keyphrases

natural deduction
inference rules
theorem prover
cut elimination
sequent calculus
logic programming
theorem proving
np complete
intuitionistic logic
linear logic
first order logic
temporal logic
probabilistic logic