Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.
Kosta DosenZoran PetricPublished in: J. Symb. Log. (1999)
Keyphrases
- linear logic
- fixed point
- logical framework
- proof theoretic
- intuitionistic logic
- logic programming
- sequent calculus
- proof search
- cut elimination
- desirable properties
- inference rules
- polar coordinates
- equational theories
- artificial intelligence
- sufficient conditions
- markov random field
- general purpose
- reinforcement learning