Login / Signup

The Naturality of Natural Deduction.

Luca TranchiniPaolo PistoneMattia Petrolo
Published in: Stud Logica (2019)
Keyphrases
  • natural deduction
  • theorem prover
  • inference rules
  • cut elimination
  • theorem proving
  • sequent calculus
  • linear logic
  • linear time temporal logic
  • intuitionistic logic
  • high level
  • learning algorithm
  • sufficient conditions