Cuts for circular proofs: semantics and cut-elimination.
Jérôme FortierLuigi SantocanalePublished in: CSL (2013)
Keyphrases
- cut elimination
- proof theoretic
- sequent calculus
- linear logic
- natural deduction
- wide class
- inference rules
- logic programming
- proof theory
- intuitionistic logic
- sufficient conditions
- logical framework
- modal logic
- proof search
- theorem prover
- model theoretic
- formal semantics
- theorem proving
- default reasoning
- deductive databases
- logic programs