Kripke Models for Classical Logic
arXiv:0904.0071 · doi:10.1016/j.apal.2010.04.007
Abstract
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.
Cited by in corpus (5)
- Continuation-passing Style Models Complete for Intuitionistic Logic
- Teaching a Formalized Logical Calculus
- Type Directed Partial Evaluation for Level-1 Shift and Reset
- Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
- A Constructive Logic with Classical Proofs and Refutations (Extended Version)