Non-commutative logic II: sequent calculus and phase semantics.
Paul RuetPublished in: Math. Struct. Comput. Sci. (2000)
Keyphrases
- sequent calculus
- cut elimination
- linear logic
- inference rules
- modal logic
- natural deduction
- logic programming
- logical framework
- epistemic logic
- linear time temporal logic
- nonmonotonic logics
- proof theory
- modal operators
- classical logic
- wide class
- formal semantics
- proof search
- sound and complete axiomatization
- theorem prover
- sufficient conditions
- logic programs
- training data
- knowledge base
- propositional dynamic logic
- artificial intelligence