Classical Natural Deduction from Truth Tables.

Herman Geuvers Tonny Hurkens

Published in: TYPES (2022)

Keyphrases

natural deduction
inference rules
theorem prover
database
theorem proving
databases
truth values
sequent calculus
cut elimination
intuitionistic logic
valued logic
linear time temporal logic