Kripke Models for Classical Logic

Danko Ilik 1, 2, 3, * Gyesik Lee 4, * Hugo Herbelin 1, 2, *
* Corresponding author
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
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.
Document type :
Journal articles
Annals of Pure and Applied Logic, Elsevier Masson, 2010, Special Issue: Classical Logic and Computation (2008), 161 (11), pp.1367-1378. 〈10.1016/j.apal.2010.04.007〉
Liste complète des métadonnées

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/inria-00371959
Contributor : Danko Ilik <>
Submitted on : Tuesday, March 9, 2010 - 11:00:58 PM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM
Document(s) archivé(s) le : Friday, September 24, 2010 - 11:25:33 AM

Files

classical_kripke_rev3.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Danko Ilik, Gyesik Lee, Hugo Herbelin. Kripke Models for Classical Logic. Annals of Pure and Applied Logic, Elsevier Masson, 2010, Special Issue: Classical Logic and Computation (2008), 161 (11), pp.1367-1378. 〈10.1016/j.apal.2010.04.007〉. 〈inria-00371959v4〉

Share

Metrics

Record views

495

Files downloads

196