Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts.
Mojtaba AghaeiAmir KhamsehPublished in: Notre Dame J. Formal Log. (2014)
Keyphrases
- model theoretic
- decision procedures
- theorem proving
- deductive databases
- description logics
- logic programs
- automated reasoning
- proof theoretic
- modal logic
- default reasoning
- fixpoint
- operational semantics
- probabilistic reasoning
- theorem prover
- proof procedure
- conjunctive queries
- integrity constraints
- presburger arithmetic
- inference rules
- satisfiability problem
- natural deduction
- cut elimination