We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO
< prev | next >
new | recent | 0904

Change to browse by:

cs
cs.LO
math

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Kripke Models for Classical Logic

Authors: Danko Ilik (PPS, INRIA Paris - Rocquencourt, LIX), Gyesik Lee (ROSAEC), Hugo Herbelin (PPS, INRIA Paris - Rocquencourt)
(Submitted on 1 Apr 2009 (v1), last revised 7 Jun 2010 (this version, v5))
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.
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
Journal reference: Annals of Pure and Applied Logic 161(11), 2010
DOI: 10.1016/j.apal.2010.04.007
Cite as: arXiv:0904.0071 [math.LO]
  (or arXiv:0904.0071v5 [math.LO] for this version)

Submission history

From: Danko Ilik [view email]
[v1] Wed, 1 Apr 2009 06:26:47 GMT (28kb)
[v2] Mon, 12 Oct 2009 09:59:49 GMT (33kb)
[v3] Fri, 26 Feb 2010 07:40:29 GMT (27kb)
[v4] Thu, 29 Apr 2010 11:58:04 GMT (27kb)
[v5] Mon, 7 Jun 2010 13:57:55 GMT (27kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.