Δ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 条

[41] DELIBERATION AND EXCLUDED MIDDLE
HARTSHORNE, C
JOURNAL OF PHILOSOPHY, 1964, 61 (16): : 476 - 477
[42] Δ10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta ^0_1$$\end{document} variants of the law of excluded middle and related principles
Makoto Fujiwara
Archive for Mathematical Logic, 2022, 61 (7-8) : 1113 - 1127
[43] 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
[44] 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
[45] VAGUENESS AND PRINCIPLE OF EXCLUDED MIDDLE
VERMA, RR
MIND, 1970, 79 (313) : 67 - 77
[46] LOGICAL FATALISM AND THE EXCLUDED MIDDLE
BERTMAN, MA
NEW SCHOLASTICISM, 1976, 50 (04): : 481 - 489
[47] Agreeable Disagreement and the Excluded Middle
Crawford, Walt
ONLINE, 2009, 33 (06): : 58 - 60
[48] The General Principles of Islamic Law as the Law Governing Investment Disputes in the Middle East
Badawy, Tarek
JOURNAL OF INTERNATIONAL ARBITRATION, 2012, 29 (03): : 255 - 267
[49] Epicurus on Bivalence and the Excluded Middle
Bown, Alexander
ARCHIV FUR GESCHICHTE DER PHILOSOPHIE, 2016, 98 (03): : 239 - 271
[50] EXCLUDED MIDDLE, BIVALENCE AND FATALISM
MCCALL, S
INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 1966, 9 (04): : 384 - 386

← 1 2 3 4 5 →