Strong Normalization of Classical Natural Deduction with Disjunction.

Philippe de Groote

Published in: TLCA (2001)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
intuitionistic logic
sequent calculus
data sets
knowledge base
software engineering
desirable properties
linear time temporal logic