Kripke Models for Classical Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Annals of Pure and Applied Logic Year : 2010

Kripke Models for Classical Logic

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.

Domains

Logic [math.LO] Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
classical_kripke_rev3.pdf (124.31 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Danko Ilik  : Connect in order to contact the contributor

https://inria.hal.science/inria-00371959

Submitted on : Tuesday, March 9, 2010-11:00:58 PM

Last modification on : Wednesday, April 17, 2024-5:07:07 PM

Long-term archiving on: Friday, September 24, 2010-11:25:33 AM

Download

Dates and versions

inria-00371959 , version 1 (31-03-2009)
inria-00371959 , version 2 (12-10-2009)
inria-00371959 , version 3 (25-02-2010)
inria-00371959 , version 4 (09-03-2010)

Identifiers

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 X PPS CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
356 View
516 Download

Altmetric

Share

Gmail Facebook X LinkedIn More