A Henkin-Style Proof of Completeness for First-order Algebraizable Logics.
Petr CintulaCarles NogueraPublished in: J. Symb. Log. (2015)
Keyphrases
- classical first order logic
- first order logic
- logic programming
- conditional logic
- higher order logic
- proof theory
- proof theoretic
- dynamic logic
- expressive power
- higher order
- theorem prover
- sequent calculi
- nonmonotonic reasoning
- default reasoning
- model theoretic
- modal logic
- logic programs
- valued logic
- decision procedures
- theorem proving
- inference rules
- belief revision
- propositional logic
- operational semantics
- answer set programming
- stochastic dominance
- deductive databases
- propositional dynamic logic
- data quality
- order sorted