Nonmodal Classical Linear Predicate Logic is a Fragment of Intuitionistic Linear Logic.
Kosta DosenPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- linear logic
- predicate logic
- knowledge representation and reasoning
- logic programming
- semantic network
- fixed point
- cut elimination
- logical framework
- temporal logic
- proof theoretic
- formal logic
- sequent calculus
- desirable properties
- artificial intelligence
- predicate calculus
- computational linguistics
- lower level
- logic programs
- proof search
- inference rules
- programming language
- state space
- np hard
- relational databases
- machine learning