Generalizations of the Weak Law of the Excluded Middle

被引：1

作者：

Sorbi, Andrea ^{[1
]}

Terwijn, Sebastiaan A. ^{[2
]}

机构：

[1] Univ Siena, Dipartimento Ingn Informaz & Sci Matemat, I-53100 Siena, Italy

[2] Radboud Univ Nijmegen, Dept Math, NL-6500 GL Nijmegen, Netherlands

来源：

NOTRE DAME JOURNAL OF FORMAL LOGIC | 2015年 / 56卷 / 02期

关键词：

weak law of the excluded middle; Brouwer algebras; Medvedev degrees;

D O I：

10.1215/00294527-2864325

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We study a class of formulas generalizing the weak law of the excluded middle and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We use these formulas to separate logics corresponding to factors of the Medvedev lattice.

引用

页码：321 / 331

页数：11

共 50 条

[1] Finite problems and the logic of the weak law of excluded middle
A. V. Chernov
Mathematical Notes, 2005, 77 : 263 - 272
[2] Finite problems and the logic of the weak law of excluded middle
Chernov, AV
MATHEMATICAL NOTES, 2005, 77 (1-2) : 263 - 272
[3] The axiom of choice and the law of excluded middle in weak set theories
Bell, John L.
MATHEMATICAL LOGIC QUARTERLY, 2008, 54 (02) : 194 - 201
[4] Variants of realizability for propositional formulas and the logic of the weak law of excluded middle
Chernov, AV
Skvortsov, DP
Skvortsova, EZ
Vereshchagin, NK
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 74 - 88
[5] LAW OF EXCLUDED MIDDLE
COOPER, N
MIND, 1978, 87 (346) : 161 - 180
[6] ON THE CUT-FREE SEQUENT CALCULUS FOR THE LOGIC OF THE WEAK LAW OF EXCLUDED MIDDLE
BORICIC, BR
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 309 - 309
[7] SUPERVALUATIONISM AND THE LAW OF EXCLUDED MIDDLE
TYE, M
ANALYSIS, 1989, 49 (03) : 141 - 143
[8] THE LOGICAL PARADOXES AND THE LAW OF EXCLUDED MIDDLE
PRIEST, G
PHILOSOPHICAL QUARTERLY, 1983, 33 (131): : 160 - 165
[9] The algebraic significance of weak excluded middle laws
Lavicka, Tomas
Moraschini, Tommaso
Raftery, James G.
MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (01) : 79 - 94
[10] Basic propositional logic and the weak excluded middle
Alizadeh, Majid
Ardeshir, Mohammad
LOGIC JOURNAL OF THE IGPL, 2019, 27 (03) : 371 - 383

← 1 2 3 4 5 →