Delta^0_1 variants of the law of excluded middle and related principles
Delta^0_1 variants of the law of excluded middle and related principles
复制标题
排中律的Delta^0_1变体及相关原理
DOI：
10.1007/s00153-022-00827-5
复制
发表时间：
2022
影响因子：
0.3
通讯作者：
Makoto Fujiwara
中科院分区：
文献类型：
--
作者：
M.Kano;S. Maezawa;K. Ota;M. Tsugaki and T. Yamashita;Makoto Fujiwara
本文在直觉算术和分析的背景下，系统地研究了排中律及其相关原理的所有可能的变体之间的相互关系。
We systematically study the interrelations between all possible variations ofvariants of the law of excluded middle and related principles in the context of intuitionistic arithmetic and analysis.