Login / Signup

An Analytic Calculus for the Intuitionistic Logic of Proofs.

Brian HillFrancesca Poggiolesi
Published in: Notre Dame J. Formal Log. (2019)
Keyphrases
  • intuitionistic logic
  • natural deduction
  • cut elimination
  • sequent calculus
  • linear logic
  • theorem prover
  • inference rules
  • theorem proving
  • wide class
  • proof theoretic
  • fixed point
  • database
  • database systems