- Too simple solutions of hard problems.Peter M. Schuster - 2010 - Nordic Journal of Philosophical Logic 6 (2):138-146.details
|
|
Reverse-engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.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
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).details
|
|
Explanation in Physics: Explanation in Physical Theory.Peter Clark - 1990 - Royal Institute of Philosophy Supplement 27:155-175.details
|
|
Philosophy of Mathematical Practice — Motivations, Themes and Prospects†.Jessica Carter - 2019 - Philosophia Mathematica 27 (1):1-32.details
|
|
Approximating beppo levi’s principio di approssimazione.Riccardo Bruni & Peter Schuster - 2014 - Bulletin of Symbolic Logic 20 (2):141-169.details
|
|
Weak-operator Continuity and the Existence of Adjoints.Douglas Bridges & Luminita Dediu - 1999 - Mathematical Logic Quarterly 45 (2):203-206.details
|
|
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.details
|
|
Constructive notions of strict convexity.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):295-300.details
|
|
Complements of Intersections in Constructive Mathematics.Douglas S. Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (1):35-43.details
|
|
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.details
|
|
Characterising dominated weak-operator continuous functionals on subspaces of B.Douglas S. Bridges - 2013 - Annals of Pure and Applied Logic 164 (4):416-420.details
|
|
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.details
|
|
Apartness spaces and uniform neighbourhood structures.Douglas S. Bridges - 2016 - Annals of Pure and Applied Logic 167 (9):850-864.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
|
|
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.details
|
|
A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Mathematical Logic Quarterly 35 (5):433-435.details
|
|
A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):433-435.details
|
|
A Constructive Treatment of Open and Unopen Mapping Theorems.Douglas Bridges, William Julian & Ray Mines - 1989 - Mathematical Logic Quarterly 35 (1):29-43.details
|
|
A Constructive Treatment of Open and Unopen Mapping Theorems.Douglas Bridges, William Julian & Ray Mines - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):29-43.details
|
|
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.details
|
|
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.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
|
|
Intuitionistic fixed point logic.Ulrich Berger & Hideki Tsuiki - 2021 - Annals of Pure and Applied Logic 172 (3):102903.details
|
|
Convexity and unique minimum points.Josef Berger & Gregor Svindland - 2019 - Archive for Mathematical Logic 58 (1-2):27-34.details
|
|
Constructive aspects of Riemann’s permutation theorem for series.J. Berger, Douglas Bridges, Hannes Diener & Helmet Schwichtenberg - forthcoming - Logic Journal of the IGPL.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.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
|
|
Strict Finitism and the Logic of Mathematical Applications.Feng Ye - 2011 - Dordrecht, Netherland: Springer.details
|
|
Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
Gödel's Functional Interpretation and its Use in Current Mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223-267.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
|
|
Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space.Qing Zhou - 1996 - Mathematical Logic Quarterly 42 (1):379-409.details
|
|
The applicability of mathematics as a scientific and a logical problem.Feng Ye - 2010 - Philosophia Mathematica 18 (2):144-165.details
|
|
Nonstandard analysis and constructivism?Frank Wattenberg - 1988 - Studia Logica 47 (3):303 - 309.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
|
|
The fine structure of the intuitionistic borel hierarchy.Wim Veldman - 2009 - Review of Symbolic Logic 2 (1):30-101.details
|
|
Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.details
|
|
Constructive algebraic integration theory.Bas Spitters - 2006 - Annals of Pure and Applied Logic 137 (1-3):380-390.details
|
|
Affine logic for constructive mathematics.Michael Shulman - 2022 - Bulletin of Symbolic Logic 28 (3):327-386.details
|
|
Logical pluralism and normativity.Stewart Shapiro & Teresa Kouri Kissel - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):389-410.details
|
|
More on brouwer's refutations.Philip Scowcroft - 1989 - Annals of Pure and Applied Logic 41 (1):83-91.details
|
|
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.details
|
|