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 条
  • [21] Submodels of Kripke models
    Visser, A
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40 (04) : 277 - 295
  • [22] Kripke semantics for modal bilattice logic
    Jung, Achim
    Rivieccio, Umberto
    [J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 438 - 447
  • [23] A note on Kripke semantics for residuated logic
    MacCaull, W
    [J]. FUZZY SETS AND SYSTEMS, 1996, 77 (02) : 229 - 234
  • [24] KRIPKE TOPOLOGICAL MODELS
    ESAKIA, LL
    [J]. DOKLADY AKADEMII NAUK SSSR, 1974, 214 (02): : 298 - 301
  • [25] Kripke Semantics for Intuitionistic Lukasiewicz Logic
    Lewis-Smith, A.
    Oliva, P.
    Robinson, E.
    [J]. STUDIA LOGICA, 2021, 109 (02) : 313 - 339
  • [26] Submodels of Kripke models
    Albert Visser
    [J]. Archive for Mathematical Logic, 2001, 40 : 277 - 295
  • [27] On categorical models of classical logic and the Geometry of Interaction
    Fuehrmann, Carsten
    Pym, David
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2007, 17 (05) : 957 - 1027
  • [28] CLASSICAL LOGIC AND NON-CLASSICAL LOGICS IN INFORMATION RETRIEVAL MODELS
    Matos, Jose Claudio Morelli
    [J]. PERSPECTIVAS EM CIENCIA DA INFORMACAO, 2024, 29
  • [29] GENERALIZED KRIPKE SEMANTICS FOR NELSON'S LOGIC
    Latkin, E. I.
    [J]. ALGEBRA AND LOGIC, 2010, 49 (05) : 426 - 443
  • [30] A note on linear Kripke models
    Iemhoff, R
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (04) : 489 - 506
12345