Strong Normalization for Truth Table Natural Deduction.

Herman Geuvers Iris van der Giessen Tonny Hurkens

Published in: Fundam. Informaticae (2019)

Keyphrases

natural deduction
truth table
defeasible logic
boolean functions
theorem prover
inference rules
cut elimination
intuitionistic logic
theorem proving
sequent calculus
dnf formulas