The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.
Peter Schroeder-HeisterPublished in: Stud Logica (2014)
Keyphrases
- proof theoretic
- higher level
- cut elimination
- model theoretic
- linear logic
- default reasoning
- sequent calculus
- nonmonotonic reasoning
- proof procedure
- proof theory
- default logic
- constraint logic programming
- deductive databases
- fixpoint
- propositional logic
- inference rules
- low level
- belief revision
- natural deduction
- decision procedures
- first order logic
- horn clauses
- wide class
- operational semantics
- high level
- probabilistic logic
- description logics
- logic programs
- proof search
- constraint solving
- fixed point
- logic programming
- graphical models