From Multiple Sequent for Additive Linear Logic to Decision Procedures for Free Lattices.
Jean-Yves MarionPublished in: Theor. Comput. Sci. (1999)
Keyphrases
- decision procedures
- linear logic
- modal logic
- sequent calculus
- cut elimination
- inference rules
- theorem proving
- automated reasoning
- temporal logic
- natural deduction
- sequent calculi
- conjunctive queries
- databases
- fixed point
- probability distribution
- logical framework
- situation calculus
- classical logic
- probabilistic reasoning
- logic programs
- state space
- natural language
- knowledge base