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 条

[1] KRIPKE MODELS FOR LINEAR LOGIC
ALLWEIN, G
DUNN, JM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) : 514 - 545
[2] CONSTANTS IN KRIPKE MODELS FOR INTUITIONISTIC LOGIC
DZIERZGOWSKI, D
[J]. MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (04) : 431 - 441
[3] Kripke semantics and proof systems for combining intuitionistic logic and classical logic
Liang, Chuck
Miller, Dale
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (02) : 86 - 111
[4] Minimal Revision and Classical Kripke Models First Results
De Vuyst, Jonas
[J]. LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 300 - 313
[5] Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox
Proietti, Carlo
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (05) : 877 - 900
[6] Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox
Carlo Proietti
[J]. Journal of Philosophical Logic, 2012, 41 : 877 - 900
[7] From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Abiri, Maryam
Moniri, Morteza
Zaare, Mostafa
[J]. LOGIC JOURNAL OF THE IGPL, 2018, 26 (05) : 464 - 474
[8] KRIPKE AND THE LOGIC OF TRUTH
KREMER, M
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1988, 17 (03) : 225 - 278
[9] Modal Logic before Kripke
Cresswell, Max
[J]. ORGANON F, 2019, 26 (03) : 323 - 339
[10] Kripke models and the (in)equational logic of the second-order lambda-calculus
Gallier, J
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 84 (03) : 257 - 316

← 1 2 3 4 5 →