Pomset Logic: A Non-commutative Extension of Classical Linear Logic.
Christian RetoréPublished in: TLCA (1997)
Keyphrases
- linear logic
- proof theoretic
- cut elimination
- sequent calculus
- intuitionistic logic
- linear time temporal logic
- fixed point
- logical framework
- logic programming
- proof search
- desirable properties
- proof theory
- artificial intelligence
- reasoning tasks
- constraint logic programming
- automated reasoning
- modal logic
- logic programs
- higher order
- data model
- expert systems