- 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
Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis
Notre Dame Journal of Formal Logic 55 (1):25-39 (2014)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
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
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic.Tomoaki Kawano, Naosuke Matsuda & Kento Takagi - 2022 - Notre Dame Journal of Formal Logic 63 (2).
Epistemic semantics for classical and intuitionistic logic.John N. Martin - 1984 - Notre Dame Journal of Formal Logic 25 (2):105-116.
A theorem for deriving consequences of the axiom of choice.Francis J. Tytus - 1967 - Notre Dame Journal of Formal Logic 8 (4):291-296.
Some preservation results for classical and intuitionistic satisfiability in Kripke models.Zoran Marković - 1983 - Notre Dame Journal of Formal Logic 24 (3):395-398.
On strengthening intuitionistic logic.Richard E. Vesley - 1963 - Notre Dame Journal of Formal Logic 4 (1):80-80.
Probabilistic semantics for intuitionistic logic.Charles Morgan & Hugues Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (2):161-180.
Infinitary propositional intuitionistic logic.Craig Kalicki - 1980 - Notre Dame Journal of Formal Logic 21 (2):216-228.
Intuitionistic negation.W. Russell Belding - 1971 - Notre Dame Journal of Formal Logic 12 (2):183-187.
Incompleteness in intuitionistic metamathematics.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (3):323-358.
Nonstandard connectives of intuitionistic propositional logic.Michael Kaminski - 1988 - Notre Dame Journal of Formal Logic 29 (3):309-331.
Analytics
Added to PP
2014-01-23
Downloads
38 (#622,493)
6 months
9 (#328,796)
2014-01-23
Downloads
38 (#622,493)
6 months
9 (#328,796)
Historical graph of downloads
Citations of this work
Pincherle's theorem in reverse mathematics and computability theory.Dag Normann & Sam Sanders - 2020 - Annals of Pure and Applied Logic 171 (5):102788.
Interrelation between weak fragments of double negation shift and related principles.Makoto Fujiwara & Ulrich Kohlenbach - 2018 - Journal of Symbolic Logic 83 (3):991-1012.
On Robust Theorems Due to Bolzano, Weierstrass, Jordan, and Cantor.Dag Normann & Sam Sanders - 2024 - Journal of Symbolic Logic 89 (3):1077-1127.
Using Ramsey’s theorem once.Jeffry L. Hirst & Carl Mummert - 2019 - Archive for Mathematical Logic 58 (7-8):857-866.
The characterization of Weihrauch reducibility in systems containing.Patrick Uftring - 2021 - Journal of Symbolic Logic 86 (1):224-261.
References found in this work
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2011 - Notre Dame Journal of Formal Logic 52 (2):149-162.
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-8567d8d854-kjfxj dc2