Kripke models, distributive lattices, and Medvedev degrees

被引：0

作者：

Terwijn, SA ^{[1
]}

机构：

[1] Vienna Tech Univ, Inst Discrete Math & Geometry, A-1040 Vienna, Austria

来源：

NEW COMPUTATIONAL PARADIGMS | 2005年 / 3526卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We define a simple variation of the standard Kripke semantics 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.

引用

页码：486 / 494

页数：9

共 50 条

[1] Kripke models, distributive lattices, and Medvedev degrees
Terwijn S.A.
[J]. Studia Logica, 2007, 85 (3) : 319 - 332
[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] On the Embedding of Distributive Lattices into Recursive Polynomial Degrees
韩小锋
[J]. ActaMathematicaSinica., 1987, (02) - 102
[5] Embedding distributive lattices in the Σ02 enumeration degrees
Ganchev, Hristo
Soskova, Mariya
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (04) : 779 - 792
[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 →