- A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.details
|
|
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
|
|
Predicative Classes and Strict Potentialism.Øystein Linnebo & Stewart Shapiro - forthcoming - Philosophia Mathematica:nkae020.details
|
|
Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.details
|
|
Logical Foundations and Kant's Principles of Formal Logic.Srećko Kovač - 2020 - History and Philosophy of Logic 41 (1):48-70.details
|
|
The Development of Categorical Logic.John L. Bell - unknowndetails
|
|
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.details
|
|
(1 other version)Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
Independence, randomness and the axiom of choice.Michiel van Lambalgen - 1992 - Journal of Symbolic Logic 57 (4):1274-1304.details
|
|
Infinite Populations, Choice and Determinacy.Tadeusz Litak - 2018 - Studia Logica 106 (5):969-999.details
|
|
Functional interpretation of Aczel's constructive set theory.Wolfgang Burr - 2000 - Annals of Pure and Applied Logic 104 (1-3):31-73.details
|
|
An indeterminate universe of sets.Chris Scambler - 2020 - Synthese 197 (2):545-573.details
|
|
Reflections on function spaces.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (2):101-110.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
|
|
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.details
|
|
Extending constructive operational set theory by impredicative principles.Andrea Cantini - 2011 - Mathematical Logic Quarterly 57 (3):299-322.details
|
|
Formal Zariski topology: positivity and points.Peter Schuster - 2006 - Annals of Pure and Applied Logic 137 (1-3):317-359.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
|
|
Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.details
|
|
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.details
|
|
The first-order logic of CZF is intuitionistic first-order logic.Robert Passmann - 2024 - Journal of Symbolic Logic 89 (1):308-330.details
|
|
Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.details
|
|
EM + Ext− + ACint is equivalent to ACext.Jesper Carlström - 2004 - Mathematical Logic Quarterly 50 (3):236-240.details
|
|
Excluded Middle versus Choice in a topos.Bernhard Banaschewski - 2005 - Mathematical Logic Quarterly 51 (3):282.details
|
|
Bishop's Lemma.Hannes Diener & Matthew Hendtlass - 2018 - Mathematical Logic Quarterly 64 (1-2):49-54.details
|
|
Some forms of excluded middle for linear orders.Peter Schuster & Daniel Wessel - 2019 - Mathematical Logic Quarterly 65 (1):105-107.details
|
|
Extending strongly continuous functions between apartness spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.details
|
|
All the mathematics in the world: logical validity and classical set theory.David Charles McCarty - 2017 - Philosophical Problems in Science 63:5-29.details
|
|