On strengthening intuitionistic logic
Notre Dame Journal of Formal Logic 4 (1):80-80 (1963)
| 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,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesFan Yang (2013). Expressing Second-Order Sentences in Intuitionistic Dependence Logic. Studia Logica 101 (2):323-342.
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Bernd I. Dahn (1981). Partial Isomorphisms and Intuitionistic Logic. Studia Logica 40 (4):405 - 413.
Lloyd Humberstone (2000). Contra-Classical Logics. Australasian Journal of Philosophy 78 (4):438 – 474.
Juan Manuel Cornejo (2011). Semi-Intuitionistic Logic. Studia Logica 98 (1-2):9-25.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Torben Braüner (2006). Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information 15 (3).
Paul C. Gilmore (1953). The Effect of Griss's Criticism of the Intuitionistic Logic on Deducative Theories Formalized Within the Intuitionistic Logic. Amsterdam, Drukkerij Holland.
Yaroslav Shramko (2005). Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. Studia Logica 80 (2-3):347 - 367.
Greg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Mitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,652 of 549,062 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
