Kripke models, distributive lattices, and Medvedev degrees

被引：0

作者：

Terwijn S.A. ^{[1
]}

机构：

[1] Institute for Discrete Mathematics and Geometry, Technical University of Vienna, A-1040 Vienna

来源：

Studia Logica | 2007年 / 85卷 / 3期

基金：

奥地利科学基金会;

关键词：

Intuitionistic propositional logic; Kripke semantics; Medvedev degrees;

D O I：

10.1007/s11225-007-9054-9

中图分类号：

学科分类号：

摘要：

We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while the new semantics is still complete, it gives a simple and direct correspondence between Kripke models and algebraic structures such as factors of the Medvedev lattice. © 2007 Springer Science+Business Media B.V.

引用

页码：319 / 332

页数：13

共 50 条

[1] Kripke models, distributive lattices, and Medvedev degrees
Terwijn, SA
[J]. NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 486 - 494
[2] Monadic Distributive Lattices and Monadic Augmented Kripke Frames
Figallo, A. V.
Pascual, I.
Ziliani, A.
[J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2014, 22 (1-2) : 189 - 216
[3] On the Embedding of Distributive Lattices into Recursive Polynomial Degrees
韩小锋
[J]. Acta Mathematica Sinica,English Series, 1987, (02) : 97 - 102
[4] Embedding distributive lattices in the Σ02 enumeration degrees
Ganchev, Hristo
Soskova, Mariya
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (04) : 779 - 792
[5] On the Embedding of Distributive Lattices into Recursive Polynomial Degrees
韩小锋
[J]. Acta Mathematica Sinica, 1987, (02) : 97 - 102
[6] DISTRIBUTIVE LATTICES
HAMMER, FD
[J]. AMERICAN MATHEMATICAL MONTHLY, 1977, 84 (03): : 222 - 224
[7] Comparing the degrees of enumerability and the closed Medvedev degrees
Paul Shafer
Andrea Sorbi
[J]. Archive for Mathematical Logic, 2019, 58 : 527 - 542
[8] Comparing the degrees of enumerability and the closed Medvedev degrees
Shafer, Paul
Sorbi, Andrea
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (5-6) : 527 - 542
[9] CHARACTERIZATIONS OF DISTRIBUTIVE LATTICES AND SEMICONTINUOUS LATTICES
Jiang Guanghao
Shi Weixue
[J]. BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY, 2010, 47 (03) : 633 - 643
[10] Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models
Belardinelli, Gaia
Rendsvig, Rasmus K.
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (06) : 1186 - 1215

← 1 2 3 4 5 →