- Constructing local optima on a compact interval.Douglas S. Bridges - 2007 - Archive for Mathematical Logic 46 (2):149-154.details
|
|
Structures and Logics: A Case for (a) Relativism.Stewart Shapiro - 2014 - Erkenntnis 79 (S2):309-329.details
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
Empiricism in arithmetic and analysis.E. B. Davies - 2003 - Philosophia Mathematica 11 (1):53-66.details
|
|
Building infinite machines.E. B. Davies - 2001 - British Journal for the Philosophy of Science 52 (4):671-682.details
|
|
The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).details
|
|
Philosophical reflections on the foundations of mathematics.Jocelyne Couture & Joachim Lambek - 1991 - Erkenntnis 34 (2):187 - 209.details
|
|
Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.details
|
|
Why logical pluralism?Colin R. Caret - 2019 - Synthese 198 (Suppl 20):4947-4968.details
|
|
Uniformly convex Banach spaces are reflexive—constructively.Douglas S. Bridges, Hajime Ishihara & Maarten McKubre-Jordens - 2013 - Mathematical Logic Quarterly 59 (4-5):352-356.details
|
|
Two direct proofs that LLPO implies the detachable fan theorem.D. S. Bridges, J. E. Dent & M. N. McKubre-Jordens - 2013 - Logic Journal of the IGPL 21 (5):830-835.details
|
|
Glueing continuous functions constructively.Douglas S. Bridges & Iris Loeb - 2010 - Archive for Mathematical Logic 49 (5):603-616.details
|
|
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.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
|
|
A first constructive look at the comparison of projections.D. S. Bridges & L. S. Vita - 2013 - Logic Journal of the IGPL 21 (1):14-27.details
|
|
Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences.Ethan Brauer, Øystein Linnebo & Stewart Shapiro - 2022 - Philosophia Mathematica 30 (2):143-172.details
|
|
Discussion. Applied constructive mathematics: on Hellman's 'mathematical constructivism in spacetime'.H. Billinge - 2000 - British Journal for the Philosophy of Science 51 (2):299-318.details
|
|
The binary expansion and the intermediate value theorem in constructive reverse mathematics.Josef Berger, Hajime Ishihara, Takayuki Kihara & Takako Nemoto - 2019 - Archive for Mathematical Logic 58 (1-2):203-217.details
|
|
Towards a Coherent Theory of Physics and Mathematics: The Theory–Experiment Connection.Paul Benioff - 2005 - Foundations of Physics 35 (11):1825-1856.details
|
|
On Different Ways of Being Equal.Bruno Bentzen - 2020 - Erkenntnis 87 (4):1809-1830.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability.Andrej Bauer & Alex Simpson - 2004 - Mathematical Logic Quarterly 50 (4‐5):351-369.details
|
|
A Constructive View on Ergodic Theorems.Bas Spitters - 2006 - Journal of Symbolic Logic 71 (2):611 - 623.details
|
|
Proofs and Retributions, Or: Why Sarah Can’t Take Limits.Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz & Mary Schaps - 2015 - Foundations of Science 20 (1):1-25.details
|
|
Feng Ye. Strict Finitism and the Logic of Mathematical Applications.Nigel Vinckier & Jean Paul Van Bendegem - 2016 - Philosophia Mathematica 24 (2):247-256.details
|
|
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†.Neil Tennant - 2021 - Philosophia Mathematica 29 (1):28-63.details
|
|
Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†.Neil Tennant - 2020 - Philosophia Mathematica 28 (2):139-171.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
|
|
Exploring Predicativity.Laura Crosilla - 1995 - In Klaus Mainzer, Peter Schuster & Helmut Schwichtenberg (eds.), Proof and Computation. World Scientific. pp. 83-108.details
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.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
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Supertasks and Arithmetical Truth.Jared Warren & Daniel Waxman - 2020 - Philosophical Studies 177 (5):1275-1282.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
|
|
Brouwer’s Fan Theorem as an axiom and as a contrast to Kleene’s alternative.Wim Veldman - 2014 - Archive for Mathematical Logic 53 (5-6):621-693.details
|
|
Foundations of Mathematics or Mathematical Practice: Is One Forced to Choose?Jean Paul van Bendegem - 1989 - Philosophica 43.details
|
|
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.details
|
|
Why anti-realists and classical mathematicians cannot get along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
The Objectivity of Mathematics.Stewart Shapiro - 2007 - Synthese 156 (2):337-381.details
|
|
Possibilities, models, and intuitionistic logic: Ian Rumfitt’s The boundary stones of thought.Stewart Shapiro - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):812-825.details
|
|
Logical pluralism and normativity.Stewart Shapiro & Teresa Kouri Kissel - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):389-410.details
|
|
Does Logical Pluralism Imply, or Suggest, Truth Pluralism, or Vice Versa?Stewart Shapiro & Michael Lynch - 2019 - Synthese 198 (Suppl 20):4925-4936.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.details
|
|
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.details
|
|