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