Paper Info
Title
Natural factors of the Medvedev lattice capturing IPC
Abstract
Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic (IPC). However, her factor is unnatural in the sense that it is constructed in an ad hoc manner. We present a more natural example of such a factor. We also show that the theory of every non-trivial factor of the Medvedev lattice is contained in Jankov's logic, the deductive closure of IPC plus the weak law of the excluded middle $${\neg p \vee \neg \neg p}$$ p p . This answers a question by Sorbi and Terwijn.
Year
DOI
Venue
2013
10.1007/s00153-014-0393-8
Archive for Mathematical Logic
Keywords
DocType
Volume
jankov's logic,03b20,medvedev degrees,03d30,03g10,intuitionistic logic
Journal
53
Issue
ISSN
Citations 
7-8
1432-0665
4
PageRank 
References 
Authors
0.61
10
1
Name
Order
Citations
PageRank
Rutger Kuyper163.72