About Translations of Classical Logic into Polarized Linear Logic.
Olivier LaurentLaurent RegnierPublished in: LICS (2003)
Keyphrases
- linear logic
- classical logic
- logic programming
- intuitionistic logic
- logic programs
- proof theoretic
- nonmonotonic reasoning
- sequent calculus
- fixed point
- modal logic
- answer set programming
- cut elimination
- desirable properties
- deductive databases
- knowledge representation
- knowledge base
- proof search
- default logic
- answer sets
- logical framework
- valued logic
- pairwise
- inference rules
- reasoning tasks
- constraint logic programming
- programming language
- expert systems
- high level