- 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
|
|
Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: Springer.details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†.John T. Baldwin - 2018 - Philosophia Mathematica 26 (3):346-374.details
|
|
Weak essentially undecidable theories of concatenation, part II.Juvenal Murwanashyaka - 2024 - Archive for Mathematical Logic 63 (3):353-390.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
|
|
First order common knowledge logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
Von Neumann, Gödel and complexity theory.Alasdair Urquhart - 2010 - Bulletin of Symbolic Logic 16 (4):516-530.details
|
|
Probability logic in the twentieth century.Theodore Hailperin - 1991 - History and Philosophy of Logic 12 (1):71-110.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski. [REVIEW]Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
Growing methods for constructing recursive deterministic perceptron neural networks and knowledge extraction.M. Tajine & D. Elizondo - 1998 - Artificial Intelligence 102 (2):295-322.details
|
|
Some recent essays in the history of the philosophy of mathematics: A critical review. [REVIEW]William W. Tait - 1993 - Synthese 96 (2):293 - 331.details
|
|
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1‐6):35-39.details
|
|
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1-6):35-39.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.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
|
|
A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.details
|
|
Probabilistic logic of quantum observations.A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer & A. B. Henriques - 2019 - Logic Journal of the IGPL 27 (3):328-370.details
|
|
On predicates in algebraically closed fields.Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114.details
|
|
Metamathematical problems.Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (3):500-516.details
|
|
Decision and optimization problems in the unreliable-circuit logic.J. Rasga, C. Sernadas, P. Mateus & A. Sernadas - 2017 - Logic Journal of the IGPL 25 (3):283-308.details
|
|
The ordered field of real numbers and logics with Malitz quantifiers.Andreas Rapp - 1985 - Journal of Symbolic Logic 50 (2):380-389.details
|
|
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.details
|
|
Against the Judgment-Dependence of Mathematics and Logic.Alexander Paseau - 2012 - Erkenntnis 76 (1):23-40.details
|
|
Case for the Irreducibility of Geometry to Algebra†.Victor Pambuccian & Celia Schacht - 2022 - Philosophia Mathematica 30 (1):1-31.details
|
|
Elementary categorial logic, predicates of variable degree, and theory of quantity.Brent Mundy - 1989 - Journal of Philosophical Logic 18 (2):115 - 140.details
|
|
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.details
|
|
In the shadow of giants: the work of Mario Pieri in the foundations of mathematics.Elena Anne Marchisotto - 1995 - History and Philosophy of Logic 16 (1):107.details
|
|
Carnap’s conventionalism in geometry.Stefan Lukits - 2013 - Grazer Philosophische Studien 88 (1):123-138.details
|
|
Finitude simple et structures o-minimales (finiteness property implies o-minimality).Jean-Marie Lion - 2002 - Journal of Symbolic Logic 67 (4):1616-1622.details
|
|
Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.details
|
|
Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.details
|
|
Continuum, name and paradox.Vojtěch Kolman - 2010 - Synthese 175 (3):351 - 367.details
|
|
On the elimination of Malitz quantifiers over Archimedian real closed fields.Peter Koepke - 1989 - Archive for Mathematical Logic 28 (3):167-171.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Decidable algebraic fields.Moshe Jarden & Alexandra Shlapentokh - 2017 - Journal of Symbolic Logic 82 (2):474-488.details
|
|
Computing strength of structures related to the field of real numbers.Gregory Igusa, Julia F. Knight & Noah David Schweber - 2017 - Journal of Symbolic Logic 82 (1):137-150.details
|
|
On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353 - 369.details
|
|
On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353-369.details
|
|
On the equational theory of projection lattices of finite von Neumann factors.Christian Herrmann - 2010 - Journal of Symbolic Logic 75 (3):1102-1110.details
|
|
Computability of String Functions Over Algebraic Structures Armin Hemmerling.Armin Hemmerling - 1998 - Mathematical Logic Quarterly 44 (1):1-44.details
|
|
Model theory of analytic functions: some historical comments.Deirdre Haskell - 2012 - Bulletin of Symbolic Logic 18 (3):368-381.details
|
|
On the concept of categoricity.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):39 - 66.details
|
|
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.details
|
|
Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space.Floris Geerts & Bart Kuijpers - 2018 - Mathematical Logic Quarterly 64 (6):435-463.details
|
|
De la logique à l’arithmétique. Pourquoi des logiques et des mathématiques constructivistes?Yvon Gauthier - 2018 - Dialogue 57 (1):1-28.details
|
|
A decision procedure for probability calculus with applications.Branden Fitelson - 2008 - Review of Symbolic Logic 1 (1):111-125.details
|
|
Interpretability in Robinson's Q.Fernando Ferreira & Gilda Ferreira - 2013 - Bulletin of Symbolic Logic 19 (3):289-317.details
|
|
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.details
|
|
On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3):535-552.details
|
|