Login / Signup

Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment.

Katalin BimbóJ. Michael Dunn
Published in: Logica Universalis (2014)
Keyphrases
  • sequent calculus
  • cut elimination
  • inference rules
  • natural deduction
  • linear logic
  • modal logic
  • logic programming
  • knowledge representation
  • graph cuts
  • theorem prover
  • wide class
  • proof search
  • linear time temporal logic