- The theory of modules of separably closed fields. I.Pilar Dellunde, Françoise Delon & Françoise Point - 2002 - Journal of Symbolic Logic 67 (3):997-1015.details
|
|
What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Structural-Abstraction Principles.Graham Leach-Krouse - 2015 - Philosophia Mathematica:nkv033.details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†.John T. Baldwin - 2018 - Philosophia Mathematica 26 (3):346-374.details
|
|
Domain Extension and Ideal Elements in Mathematics†.Anna Bellomo - 2021 - Philosophia Mathematica 29 (3):366-391.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Russell's Unknown Logicism: A Study in the History and Philosophy of Mathematics.Sébastien Gandon - 2012 - Houndmills, England and New York: Palgrave-Macmillan.details
|
|
Twin Paradox and the Logical Foundation of Relativity Theory.Judit X. Madarász, István Németi & Gergely Székely - 2006 - Foundations of Physics 36 (5):681-714.details
|
|
Mental Models, Model-theoretic Semantics, and the Psychosemantic Conception of Truth.Shira Elqayam - 2005 - Philosophia Scientiae 9 (2):259-278.details
|
|
Machine mentality and the nature of the ground relation.Darren Whobrey - 2001 - Minds and Machines 11 (3):307-346.details
|
|
Are Newtonian Gravitation and Geometrized Newtonian Gravitation Theoretically Equivalent?James Owen Weatherall - 2016 - Erkenntnis 81 (5):1073-1091.details
|
|
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.details
|
|
General Extensional Mereology is Finitely Axiomatizable.Hsing-Chien Tsai - 2018 - Studia Logica 106 (4):809-826.details
|
|
Decidability of General Extensional Mereology.Hsing-Chien Tsai - 2013 - Studia Logica 101 (3):619-636.details
|
|
A Comprehensive Picture of the Decidability of Mereological Theories.Hsing-Chien Tsai - 2013 - Studia Logica 101 (5):987-1012.details
|
|
Reducts of random hypergraphs.Simon Thomas - 1996 - Annals of Pure and Applied Logic 80 (2):165-193.details
|
|
Complete groups are complete co-analytic.Simon Thomas - 2018 - Archive for Mathematical Logic 57 (5-6):601-606.details
|
|
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.details
|
|
Deflationism and the Invisible Power of Truth.Andrea Strollo - 2013 - Dialectica 67 (4):521-543.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.details
|
|
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.details
|
|
Erratum to “Elimination of unbounded quantifiers for some poly-regular groups of infinite rank” [Ann. Pure Appl. Logic 149 (1–3) (2007) 40–80]. [REVIEW]Philip Scowcroft - 2013 - Annals of Pure and Applied Logic 164 (1):65.details
|
|
Regarding ‘Leibniz Equivalence’.Bryan W. Roberts - 2020 - Foundations of Physics 50 (4):250-269.details
|
|
Interpreting modules in modules.Mike Prest - 1997 - Annals of Pure and Applied Logic 88 (2-3):193-215.details
|
|
Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.details
|
|
Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiae 19:221-243.details
|
|
Laplace’s demon tries on Aristotle’s cloak: on two approaches to determinism.Tomasz Placek - 2019 - Synthese 196 (1):11-30.details
|
|
Analytic Zariski structures and the Hrushovski construction.Nick Peatfield & Boris Zilber - 2005 - Annals of Pure and Applied Logic 132 (2):127-180.details
|
|
Beth definability, interpolation and language splitting.Rohit Parikh - 2011 - Synthese 179 (2):211 - 221.details
|
|
Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics.Markus Pantsar - 2020 - Minds and Machines 31 (1):75-98.details
|
|
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.details
|
|
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.details
|
|
Parameter definability in the recursively enumerable degrees.André Nies - 2003 - Journal of Mathematical Logic 3 (01):37-65.details
|
|
Questioning and Experimentation.Arto Mutanen - 2014 - Science & Education 23 (8):1567-1582.details
|
|
About a logic of measurability.Arto Mutanen - 2010 - E-Logos 17 (1):1-19.details
|
|
Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.details
|
|
The implicit definition of the set-concept.F. A. Muller - 2004 - Synthese 138 (3):417 - 451.details
|
|
Deflating skolem.F. A. Muller - 2005 - Synthese 143 (3):223-253.details
|
|
The descriptive set-theoretical complexity of the embeddability relation on models of large size.Luca Motto Ros - 2013 - Annals of Pure and Applied Logic 164 (12):1454-1492.details
|
|
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.details
|
|
Haecceities and Mathematical Structuralism.Christopher Menzel - 2018 - Philosophia Mathematica 26 (1):84-111.details
|
|
Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups.Maciej Malicki - 2022 - Archive for Mathematical Logic 61 (5):685-704.details
|
|
Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.details
|
|
Model theory of finite and pseudofinite groups.Dugald Macpherson - 2018 - Archive for Mathematical Logic 57 (1-2):159-184.details
|
|
What’s Right with a Syntactic Approach to Theories and Models?Sebastian Lutz - 2010 - Erkenntnis (S8):1-18.details
|
|
Generalizing empirical adequacy I: multiplicity and approximation.Sebastian Lutz - 2014 - Synthese 191 (14):3195-3225.details
|
|
Generalizing Empirical Adequacy II: Partial Structures.Sebastian Lutz - 2021 - Synthese 198 (2):1351-1380.details
|
|
Carnap on Empirical Significance.Sebastian Lutz - 2017 - Synthese 194 (1):217-252.details
|
|