- Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.details
|
|
(1 other version)Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).details
|
|
Preservation of choice principles under realizability.Eman Dihoum & Michael Rathjen - 2019 - Logic Journal of the IGPL 27 (5):746-765.details
|
|
C. S. Peirce and Intersemiotic Translation.Joao Queiroz & Daniella Aguiar - 2015 - In Peter Pericles Trifonas (ed.), International Handbook of Semiotics. Dordrecht: Springer. pp. 201-215.details
|
|
Logical pluralism and normativity.Teresa Kouri Kissel & Stewart Shapiro - 2017 - Inquiry: An Interdisciplinary Journal of Philosophy:1-22.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Weak-operator Continuity and the Existence of Adjoints.Douglas Bridges & Luminita Dediu - 1999 - Mathematical Logic Quarterly 45 (2):203-206.details
|
|
(1 other version)A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Mathematical Logic Quarterly 35 (5):433-435.details
|
|
Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.Solomon Feferman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455.details
|
|
The applicability of mathematics as a scientific and a logical problem.Feng Ye - 2010 - Philosophia Mathematica 18 (2):144-165.details
|
|
(1 other version)Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Intuitionism As A Kuhnian Revolution In Mathematics.Bruce Pourciau - 2000 - Studies in History and Philosophy of Science Part A 31 (2):297-329.details
|
|
(1 other version)Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.details
|
|
Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.details
|
|
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Logical pluralism and normativity.Stewart Shapiro & Teresa Kouri Kissel - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):389-410.details
|
|
(1 other version)Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Philosophy of Mathematical Practice — Motivations, Themes and Prospects†.Jessica Carter - 2019 - Philosophia Mathematica 27 (1):1-32.details
|
|
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
More on brouwer's refutations.Philip Scowcroft - 1989 - Annals of Pure and Applied Logic 41 (1):83-91.details
|
|
Constructive algebraic integration theory.Bas Spitters - 2006 - Annals of Pure and Applied Logic 137 (1-3):380-390.details
|
|
The intermediate value theorem in constructive mathematics without choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.details
|
|
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Continuum, name and paradox.Vojtěch Kolman - 2010 - Synthese 175 (3):351 - 367.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
Intuitionistic fixed point logic.Ulrich Berger & Hideki Tsuiki - 2021 - Annals of Pure and Applied Logic 172 (3):102903.details
|
|
(1 other version)Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):97-103.details
|
|
Toward a Clarity of the Extreme Value Theorem.Karin U. Katz, Mikhail G. Katz & Taras Kudryk - 2014 - Logica Universalis 8 (2):193-214.details
|
|
Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space.Qing Zhou - 1996 - Mathematical Logic Quarterly 42 (1):379-409.details
|
|
Open subspaces of locally compact metric spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.details
|
|
A Real Number Structure that is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.details
|
|
Proof-relevance of families of setoids and identity in type theory.Erik Palmgren - 2012 - Archive for Mathematical Logic 51 (1-2):35-47.details
|
|
About and Around Computing Over the Reals.Solomon Feferman - unknowndetails
|
|
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Too simple solutions of hard problems.Peter M. Schuster - 2010 - Nordic Journal of Philosophical Logic 6 (2):138-146.details
|
|
Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.details
|
|
A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography.Karin Usadi Katz & Mikhail G. Katz - 2012 - Foundations of Science 17 (1):51-89.details
|
|
Affine logic for constructive mathematics.Michael Shulman - 2022 - Bulletin of Symbolic Logic 28 (3):327-386.details
|
|
Strict Finitism and the Logic of Mathematical Applications.Feng Ye - 2011 - Dordrecht, Netherland: Springer.details
|
|
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.details
|
|
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.details
|
|
(1 other version)Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Mathematical Logic Quarterly 34 (2):97-103.details
|
|
Why Topology in the Minimalist Foundation Must be Pointfree.Maria Emilia Maietti & Giovanni Sambin - 2013 - Logic and Logical Philosophy 22 (2):167-199.details
|
|
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.details
|
|