- (1 other version)Local Homogeneity.Bektur Baizhanov & John T. Baldwin - 2004 - Journal of Symbolic Logic 69 (4):1243 - 1260.details
|
|
(1 other version)Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|
What’s Right with a Syntactic Approach to Theories and Models?Sebastian Lutz - 2010 - Erkenntnis (S8):1-18.details
|
|
Category mistakes are meaningful.Ofra Magidor - 2009 - Linguistics and Philosophy 32 (6):553-581.details
|
|
A computably stable structure with no Scott family of finitary formulas.Peter Cholak, Richard A. Shore & Reed Solomon - 2006 - Archive for Mathematical Logic 45 (5):519-538.details
|
|
Truth Diagrams Versus Extant Notations for Propositional Logic.Peter C.-H. Cheng - 2020 - Journal of Logic, Language and Information 29 (2):121-161.details
|
|
Symmetric relations, symmetric theories, and Pythagrapheanism.Tim Button - 2022 - Philosophy and Phenomenological Research (3):583-612.details
|
|
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.details
|
|
What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.details
|
|
Mutual translatability, equivalence, and the structure of theories.Thomas William Barrett & Hans Halvorson - 2022 - Synthese 200 (3):1-36.details
|
|
Quine’s conjecture on many-sorted logic.Thomas William Barrett & Hans Halvorson - 2017 - Synthese 194 (9):3563-3582.details
|
|
Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.details
|
|
From Geometry to Conceptual Relativity.Thomas William Barrett & Hans Halvorson - 2017 - Erkenntnis 82 (5):1043-1063.details
|
|
Notes on quasiminimality and excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.details
|
|
Hanf numbers for extendibility and related phenomena.John T. Baldwin & Saharon Shelah - 2022 - Archive for Mathematical Logic 61 (3):437-464.details
|
|
Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.details
|
|
Saturated models of first-order many-valued logics.Guillermo Badia & Carles Noguera - 2022 - Logic Journal of the IGPL 30 (1):1-20.details
|
|
Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.details
|
|
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.Guillermo Badia - 2017 - Australasian Journal of Logic 14 (1).details
|
|
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.details
|
|
Axiomatization of local-global principles for pp-formulas in spaces of orderings.Vincent Astier & Marcus Tressl - 2005 - Archive for Mathematical Logic 44 (1):77-95.details
|
|
Editorial: Alan Turing and artificial intelligence.Varol Akman & Patrick Blackburn - 2000 - Journal of Logic, Language and Information 9 (4):391-395.details
|
|
Simple structures axiomatized by almost sure theories.Ove Ahlman - 2016 - Annals of Pure and Applied Logic 167 (5):435-456.details
|
|
Homogenizable structures and model completeness.Ove Ahlman - 2016 - Archive for Mathematical Logic 55 (7-8):977-995.details
|
|
Generalised stability of ultraproducts of finite residue rings.Ricardo Isaac Bello Aguirre - 2021 - Archive for Mathematical Logic 60 (7):815-829.details
|
|
The New Hysteria: Borderline Personality Disorder and Epistemic Injustice.Natalie Dorfman & Joel Michael Reynolds - 2023 - International Journal of Feminist Approaches to Bioethics 16 (2):162-181.details
|
|
On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures.Koen Lefever & Gergely Székely - unknowndetails
|
|
Model theory of finite and pseudofinite groups.Dugald Macpherson - 2018 - Archive for Mathematical Logic 57 (1-2):159-184.details
|
|
(1 other version)Chains of Life: Turing, Lebensform, and the Emergence of Wittgenstein’s Later Style.Juliet Floyd - 2016 - Nordic Wittgenstein Review 5 (2):7-89.details
|
|
Advances in the theory of μŁΠ algebras.Enrico Marchioni & Luca Spada - 2011 - Logic Journal of the IGPL 19 (3):476-489.details
|
|
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.details
|
|
Interactive Logic in the Middle Ages.Sara L. Uckelman - 2012 - Logic and Logical Philosophy 21 (4):439-471.details
|
|
Some Remarks on Generic Structures.David M. Evans & Mark Wing Ho Wong - 2009 - Journal of Symbolic Logic 74 (4):1143-1154.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
(1 other version)Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscriptdetails
|
|
Homogeneous 1‐based structures and interpretability in random structures.Vera Koponen - 2017 - Mathematical Logic Quarterly 63 (1-2):6-18.details
|
|
Interpolation property and homogeneous structures.Z. Gyenis - 2014 - Logic Journal of the IGPL 22 (4):597-607.details
|
|
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.details
|
|
Asymptotic probabilities of extension properties and random l -colourable structures.Vera Koponen - 2012 - Annals of Pure and Applied Logic 163 (4):391-438.details
|
|
Epistemology Mathematicized.John Woods - 2013 - Informal Logic 33 (2):292-331.details
|
|
(1 other version)Ambiguous discourse in a compositional context. An operational perspective.Tim Fernando - 2001 - Journal of Logic, Language and Information 10 (1):63-86.details
|
|
Definable combinatorics with dense linear orders.Himanshu Shukla, Arihant Jain & Amit Kuber - 2020 - Archive for Mathematical Logic 59 (5-6):679-701.details
|
|
Syntactic characterizations of first-order structures in mathematical fuzzy logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.details
|
|
An introduction to theories without the independence property.Hans Adler - unknowndetails
|
|
Completeness for flat modal fixpoint logics.Luigi Santocanale & Yde Venema - 2010 - Annals of Pure and Applied Logic 162 (1):55-82.details
|
|
Aspects of compositionality.Gabriel Sandu & Jaakko Hintikka - 2001 - Journal of Logic, Language and Information 10 (1):49-61.details
|
|
Compositionality is not the problem.Wilfrid Hodges - 1998 - Logic and Logical Philosophy 6:7.details
|
|
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.details
|
|
Parameter definability in the recursively enumerable degrees.André Nies - 2003 - Journal of Mathematical Logic 3 (01):37-65.details
|
|
First-order and counting theories of ω-automatic structures.Dietrich Kuske & Markus Lohrey - 2008 - Journal of Symbolic Logic 73 (1):129-150.details
|
|