The continuum and first-order intuitionistic logic
Journal of Symbolic Logic 57 (4):1417-1424 (1992)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDimiter Vakarelov (1985). An Application of Rieger-Nishimura Formulas to the Intuitionistic Modal Logics. Studia Logica 44 (1):79 - 85.
Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Dirk Van Dalen (1997). How Connected is the Intuitionistic Continuum? Journal of Symbolic Logic 62 (4):1147 - 1150.
Dirk van Dalen (1997). How Connected is the Intuitionistic Continuum? Journal of Symbolic Logic 62 (4):1147-1150.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
D. Van Dalen (1992). The Continuum and First-Order Intuitionistic Logic. Journal of Symbolic Logic 57 (4):1417 - 1424.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads3 ( #203,804 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
