A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic.
Camillo FiorentiniRajeev GoréStéphane Graham-LengrandPublished in: TABLEAUX (2019)
Keyphrases
- propositional logic
- linear logic
- proof theoretic
- belief revision
- first order logic
- cut elimination
- nonmonotonic reasoning
- default reasoning
- logical framework
- sequent calculus
- fixed point
- belief change
- fixpoint
- logic programming
- proof procedure
- proof theory
- inference rules
- horn logic
- model theoretic
- constraint logic programming
- theorem prover
- propositional satisfiability
- natural deduction