Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic.
Didier GalmicheBruno MartinPublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- linear logic
- automated deduction
- logic programming
- inference rules
- theorem proving
- sequent calculus
- theorem prover
- proof search
- logical framework
- proof theoretic
- cut elimination
- logic programs
- fixed point
- deductive databases
- intuitionistic logic
- desirable properties
- knowledge base
- answer set programming
- first order logic
- machine learning
- graphical models
- general purpose