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 条

[41] Including the excluded middle
Livingstone, David N.
PROGRESS IN HUMAN GEOGRAPHY, 2006, 30 (05) : 585 - 587
[42] Excluded Middle and Graduation
Radojevic, Dragan G.
SOFT COMPUTING APPLICATIONS, 2013, 195 : 83 - 91
[43] DELIBERATION AND EXCLUDED MIDDLE
HARTSHORNE, C
JOURNAL OF PHILOSOPHY, 1964, 61 (16): : 476 - 477
[44] GENERALIZATIONS OF FICKS LAW
KOSTIN, MD
NUCLEAR SCIENCE AND ENGINEERING, 1964, 19 (02) : 252 - &
[45] Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle
Conidis, Chris
Greenberg, Noam
Turetsky, Daniel
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2013, 54 (02) : 233 - 252
[46] HOW MUCH CLASSICAL MODEL THEORY DEPENDS ON LAW OF EXCLUDED MIDDLE - PRELIMINARY REPORT
POWELL, WC
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (03): : A403 - A403
[47] VAGUENESS AND PRINCIPLE OF EXCLUDED MIDDLE
VERMA, RR
MIND, 1970, 79 (313) : 67 - 77
[48] LOGICAL FATALISM AND THE EXCLUDED MIDDLE
BERTMAN, MA
NEW SCHOLASTICISM, 1976, 50 (04): : 481 - 489
[49] Agreeable Disagreement and the Excluded Middle
Crawford, Walt
ONLINE, 2009, 33 (06): : 58 - 60
[50] Epicurus on Bivalence and the Excluded Middle
Bown, Alexander
ARCHIV FUR GESCHICHTE DER PHILOSOPHIE, 2016, 98 (03): : 239 - 271

← 1 2 3 4 5 →