- Axiomatizations of arithmetic and the first-order/second-order divide.Catarina Dutilh Novaes - 2019 - Synthese 196 (7):2583-2597.details
|
|
Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 191--205.details
|
|
Completeness: From Husserl to Carnap.Víctor Aranda - 2022 - Logica Universalis 16 (1):57-83.details
|
|
Logic, Logicism, and Intuitions in Mathematics.Besim Karakadılar - 2001 - Dissertation, Middle East Technical Universitydetails
|
|
On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu - 2022 - Journal of Philosophical Logic 51 (2):283-296.details
|
|
Logical discrimination (2nd edition).Lloyd Humberstone - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 225–246.details
|
|
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.details
|
|
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl.Víctor Aranda - 2020 - Bulletin of the Section of Logic 49 (2):109-125.details
|
|
Husserl on completeness, definitely.Mirja Hartimo - 2018 - Synthese 195 (4):1509-1527.details
|
|
Core Gödel.Neil Tennant - 2023 - Notre Dame Journal of Formal Logic 64 (1):15-59.details
|
|
An ‘i’ for an i, a Truth for a Truth†.Mary Leng - 2020 - Philosophia Mathematica 28 (3):347-359.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
|
|