Δ10 variants of the law of excluded middle and related principles

被引：0

作者：

Fujiwara, Makoto ^{[1
]}

机构：

[1] Meiji Univ, Sch Sci & Technol, Tama Ku, 1-1-1 Higashi Mita, Kawasaki, Kanagawa 2148571, Japan

来源：

ARCHIVE FOR MATHEMATICAL LOGIC | 2022年 / 61卷 / 7-8期

关键词：

Delta(0)(1); Weak logical principle; Intuitionistic arithmetic and analysis; Extended frame;

D O I：

10.1007/s00153-022-00827-5

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We systematically study the interrelations between all possible variations of Delta(0 )(1)variants of the law of excluded middle and related principles in the context of intuitionistic arithmetic and analysis.

引用

页码：1113 / 1127

页数：15

共 50 条

[1] An arithmetical hierarchy of the law of excluded middle and related principles
Akama, Y
Berardi, S
Hayashi, S
Kohlenbach, U
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 192 - 201
[2] LAW OF EXCLUDED MIDDLE
COOPER, N
MIND, 1978, 87 (346) : 161 - 180
[3] 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
[4] SUPERVALUATIONISM AND THE LAW OF EXCLUDED MIDDLE
TYE, M
ANALYSIS, 1989, 49 (03) : 141 - 143
[5] THE LOGICAL PARADOXES AND THE LAW OF EXCLUDED MIDDLE
PRIEST, G
PHILOSOPHICAL QUARTERLY, 1983, 33 (131): : 160 - 165
[6] Generalizations of the Weak Law of the Excluded Middle
Sorbi, Andrea
Terwijn, Sebastiaan A.
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (02) : 321 - 331
[7] VIOLATIONS OF THE LAW OF THE EXCLUDED MIDDLE IN MEDIA DISCOURSE
Gazizov, Ramis R.
Vol'f, Olesya A.
REVISTA GENERO & DIREITO, 2019, 8 (06): : 427 - 438
[8] THE LOGICAL PARADOXES AND THE LAW OF EXCLUDED MIDDLE - REPLY
BRADY, RT
PHILOSOPHICAL QUARTERLY, 1984, 34 (135): : 157 - 163
[9] LOGICAL TRUTH AND THE LAW OF EXCLUDED MIDDLE - DISCUSSION
JACK, HH
MIND, 1959, 68 (269) : 93 - 97
[10] Peirce's ''entanglement'' with the principles of excluded middle and contradiction
Lane, R
TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY, 1997, 33 (03): : 680 - 703

← 1 2 3 4 5 →