A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
Arnon AvronAnna ZamanskyPublished in: CSR (2008)
Keyphrases
- sequent calculi
- cut elimination
- proof theoretic
- sequent calculus
- linear logic
- conditional logic
- proof theory
- natural deduction
- wide class
- logic programming
- inference rules
- sufficient conditions
- default reasoning
- intuitionistic logic
- modal logic
- model theoretic
- reasoning problems
- belief revision
- logic programs
- theorem proving
- automated reasoning
- computational properties
- logical framework
- natural language
- formal semantics
- nonmonotonic reasoning
- theorem prover
- graphical models
- knowledge representation