Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric.
Paolo GentiliniPublished in: Stud Logica (1999)
Keyphrases
- proof theoretic
- cut elimination
- modal logic
- sequent calculus
- linear logic
- inference rules
- default reasoning
- nonmonotonic reasoning
- natural deduction
- proof theory
- constraint logic programming
- model theoretic
- metric space
- wide class
- fixpoint
- temporal logic
- default logic
- deductive databases
- logic programming
- decision procedures
- belief revision
- similarity search
- artificial intelligence
- desirable properties
- description logics
- query processing