Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic.
Dominique Larchey-WendlingDidier GalmichePublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- cut elimination
- fixed point
- sequent calculus
- desirable properties
- logic programs
- proof search
- formal semantics
- programming language
- nonmonotonic reasoning
- partially ordered
- reasoning tasks
- knowledge representation
- default logic
- machine learning
- inference rules
- belief revision
- higher order
- artificial intelligence