Sign in

Classical Natural Deduction from Truth Tables.

Herman GeuversTonny 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