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