Automated Deduction in Additive and Multiplicative Linear Logic.
Didier GalmicheGuy PerrierPublished in: LFCS (1992)
Keyphrases
- automated deduction
- linear logic
- logic programming
- inference rules
- theorem proving
- logical framework
- theorem prover
- logic programs
- deductive databases
- proof theoretic
- sequent calculus
- proof search
- cut elimination
- desirable properties
- intuitionistic logic
- fixed point
- programming language
- answer set programming
- nonmonotonic reasoning
- knowledge base
- knowledge representation
- reasoning tasks
- first order logic
- software engineering
- training set