Semantic Cut Elimination in the Intuitionistic Sequent Calculus.
Olivier HermantPublished in: TLCA (2005)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- inference rules
- natural deduction
- wide class
- modal logic
- sufficient conditions
- linear time temporal logic
- proof search
- natural language
- logic programming
- logical framework
- object oriented
- fixed point
- theorem prover
- markov random field
- general purpose
- knowledge representation
- knowledge base
- artificial intelligence