Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property.
Maxime AmblardChristian RetoréPublished in: FLAP (2014)
Keyphrases
- linear logic
- natural deduction
- cut elimination
- intuitionistic logic
- sequent calculus
- desirable properties
- fixed point
- proof theoretic
- inference rules
- logical framework
- logic programming
- theorem prover
- theorem proving
- proof search
- artificial intelligence
- linear time temporal logic
- knowledge representation
- probabilistic model