Relating Categorical Semantics for Intuitionistic Linear Logic.
Maria Emilia MaiettiPaola ManeggiaValeria de PaivaEike RitterPublished in: Appl. Categorical Struct. (2005)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- sequent calculus
- cut elimination
- logic programs
- fixed point
- proof search
- reasoning tasks
- formal semantics
- inference rules
- desirable properties
- artificial intelligence
- belief revision
- default logic
- answer sets
- temporal information
- higher order