Kripke models for classical logic

被引：1

作者：

Ilik, Danko ^{[2
,3
,4
]}

Lee, Gyesik ^{[1
]}

Herbelin, Hugo ^{[3
,4
]}

机构：

[1] Seoul Natl Univ, ROSAEC Ctr, Seoul 151742, South Korea

[2] Ecole Polytech, LIX, Palaiseau, France

[3] INRIA, F-75214 Paris 13, France

[4] PPS, F-75214 Paris 13, France

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2010年 / 161卷 / 11期

关键词：

Kripke model; Classical logic; Sequent calculus; Lambda mu calculus; Classical realizability; Normalization by evaluation; INTUITIONISTIC PROOF; COMPLETENESS THEOREM; CUT-ELIMINATION; NORMALIZATION; ISOMORPHISMS;

D O I：

10.1016/J.apal.2010.04.007

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We introduce a notion of the Kripke model for classical logic for which we constructively prove the soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications. (C) 2010 Elsevier B.V. All rights reserved.

引用

页码：1367 / 1378

页数：12

共 50 条

[31] A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing
Gabbay, Michael
Gabbay, Murdoch J.
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 231 - 254
[32] Generalized Kripke semantics for Nelson’s logic
E. I. Latkin
[J]. Algebra and Logic, 2010, 49 : 426 - 443
[33] Preservation theorems for Kripke models
Moniri, Morteza
Zaare, Mostafa
[J]. MATHEMATICAL LOGIC QUARTERLY, 2009, 55 (02) : 177 - 184
[34] ON A POSSIBLE MISINTERPRETATION OF KRIPKE SEMANTICS FOR INTUITIONISTIC LOGIC
HAZEN, A
[J]. ANALYSIS, 1982, 42 (03) : 128 - 133
[35] Constructing finite least Kripke models for positive logic programs in serial regular grammar logics
Nguyen, Linh Anh
[J]. LOGIC JOURNAL OF THE IGPL, 2008, 16 (02) : 175 - 193
[36] Kripke models for subtheories of CZF
Iemhoff, Rosalie
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (02): : 147 - 167
[37] Weak arithmetics and Kripke models
Moniri, M
[J]. MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (01) : 157 - 160
[38] ON KRIPKE MODELS FOR HEYTING ARITHMETIC
MARKOVIC, Z
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 492 - 492
[39] Homomorphisms and chains of Kripke models
Moniri, Morteza
Zaare, Mostafa
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (3-4): : 431 - 443
[40] GENERALIZED KRIPKE-MODELS
DAHN, B
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (12): : 1073 - 1077

← 1 2 3 4 5 →