Extending Intuitionistic Linear Logic with Knotted Structural Rules.
Ryuichi HoriHiroakira OnoHarold SchellinxPublished in: Notre Dame J. Formal Log. (1994)
Keyphrases
- linear logic
- cut elimination
- intuitionistic logic
- proof theoretic
- sequent calculus
- logical framework
- logic programming
- fixed point
- natural deduction
- proof search
- desirable properties
- wide class
- artificial intelligence
- inference rules
- expert systems
- theorem prover
- qualitative and quantitative
- high level
- machine learning