Login / Signup

Proof Terms for Generalized Natural Deduction.

Herman GeuversTonny Hurkens
Published in: TYPES (2017)
Keyphrases
  • natural deduction
  • theorem prover
  • inference rules
  • theorem proving
  • cut elimination
  • linear logic
  • linear time temporal logic
  • data sets
  • co occurrence
  • first order logic
  • sequent calculus
  • intuitionistic logic