Incompleteness in intuitionistic metamathematics
Notre Dame Journal of Formal Logic 32 (3):323-358 (1991)
| 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,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRaymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Charles McCarty (2008). Completeness and Incompleteness for Intuitionistic Logic. Journal of Symbolic Logic 73 (4):1315-1327.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
A. I. Malʹt͡sev (1971). The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967. Amsterdam,North-Holland Pub. Co..
Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Helena Rasiowa (1963). The Mathematics of Metamathematics. Warszawa, Państwowe Wydawn. Naukowe.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Donald V. Poochigian (2008). Mathematical Identity. Proceedings of the Xxii World Congress of Philosophy 41:27-36.
Charles McCarty (2006). The Coherence of Antirealism. Mind 115 (460):947-956.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #201,930 of 549,088 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
