Login / Signup

Strong normalization of classical natural deduction with disjunctions.

Koji NakazawaMakoto Tatsuta
Published in: Ann. Pure Appl. Log. (2008)
Keyphrases
  • natural deduction
  • theorem prover
  • inference rules
  • cut elimination
  • intuitionistic logic
  • sequent calculus
  • preprocessing
  • theorem proving
  • general purpose
  • data sets
  • sufficient conditions
  • linear logic