Notre Dame Journal of Formal Logic 32 (3):323-358 (1991)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1305/ndjfl/1093635833 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,979
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Intermediate Logics and the de Jongh Property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
View all 11 citations / Add more citations
Similar books and articles
Recursion Theory for Metamathematics.Raymond Merrill Smullyan - 1993 - Oxford, England: Oxford University Press.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967.A. I. Malʹt͡sev - 1971 - Amsterdam: North-Holland Pub. Co..
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Intuitionistic Mathematics Does Not Needex Falso Quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
“Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.Jeremy Avigad - manuscript
Intuitionistic Autoepistemic Logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Mathematical Identity: The Algebraic Unknown Number and Casuistry.Donald V. Poochigian - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:27-36.
Analytics
Added to PP index
2010-08-24
Total views
44 ( #256,919 of 2,505,153 )
Recent downloads (6 months)
4 ( #170,004 of 2,505,153 )
2010-08-24
Total views
44 ( #256,919 of 2,505,153 )
Recent downloads (6 months)
4 ( #170,004 of 2,505,153 )
How can I increase my downloads?
Downloads
