- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Another intuitionistic completeness proof
Journal of Symbolic Logic 41 (3):644-662 (1976)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
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.
Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
A free IPC is a natural logic: Strong completeness for some intuitionistic free logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
Another Intuitionistic Completeness Proof.H. De Swart - 1976 - Journal of Symbolic Logic 41 (3):644 - 662.
Analytics
Added to PP
2009-01-28
Downloads
45 (#355,034)
6 months
16 (#160,013)
2009-01-28
Downloads
45 (#355,034)
6 months
16 (#160,013)
Historical graph of downloads
Author's Profile
Citations of this work
The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.
Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.
References found in this work
Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rv6xt uwo