- About and Around Computing Over the Reals.Solomon Feferman - unknowndetails
|
|
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.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
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
On predicates in algebraically closed fields.Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
(1 other version)On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353 - 369.details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
Nominalism and Immutability.Daniel Berntson - manuscriptdetails
|
|
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
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†.John T. Baldwin - 2018 - Philosophia Mathematica 26 (3):346-374.details
|
|
Tarski.Benedict Eastaugh - 2017 - In Alex Malpass & Marianna Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski. New York: Bloomsbury Publishing. pp. 293-313.details
|
|
Carnap’s conventionalism in geometry.Stefan Lukits - 2013 - Grazer Philosophische Studien 88 (1):123-138.details
|
|
(1 other version)Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1‐6):35-39.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
|
|
Lógica e Completude.Arno A. Viero - 2001 - Princípios 8 (10):07-24.details
|
|
Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: Springer.details
|
|
(1 other version)Finitude simple et structures o-minimales (finiteness property implies o-minimality).Jean-Marie Lion - 2002 - Journal of Symbolic Logic 67 (4):1616-1622.details
|
|
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.details
|
|
Case for the Irreducibility of Geometry to Algebra†.Victor Pambuccian & Celia Schacht - 2022 - Philosophia Mathematica 30 (1):1-31.details
|
|
Von Neumann, Gödel and complexity theory.Alasdair Urquhart - 2010 - Bulletin of Symbolic Logic 16 (4):516-530.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
|
|
(1 other version)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-119.details
|
|
Continuum, name and paradox.Vojtěch Kolman - 2010 - Synthese 175 (3):351 - 367.details
|
|
(1 other version)The Henkin Quantifier and Real Closed Fields.John R. Cowles - 1981 - Mathematical Logic Quarterly 27 (31-35):549-555.details
|
|
Behavioural approximations for restricted linear differential hybrid automata.Manindra Agrawal, Frank Stephan, P. S. Thiagarajan & Shaofa Yang - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 4-18.details
|
|
(1 other version)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
|
|
Probability logic in the twentieth century.Theodore Hailperin - 1991 - History and Philosophy of Logic 12 (1):71-110.details
|
|
First order common knowledge logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.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
|
|
(1 other version)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
|
|
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
|
|
(1 other version)Jak pojmenovat reálné číslo?Vojtěch Kolman - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3):283-301.details
|
|
(1 other version)The Elementary Theory of Interval Real Numbers.Stephen D. Comer - 1985 - Mathematical Logic Quarterly 31 (1‐6):89-95.details
|
|
(1 other version)Ordered fields with several exponential functions.B. I. Dahn & H. Wolter - 1984 - Mathematical Logic Quarterly 30 (19‐24):341-348.details
|
|
Probabilization of Logics: Completeness and Decidability. [REVIEW]Pedro Baltazar - 2013 - Logica Universalis 7 (4):403-440.details
|
|
Model theory of analytic functions: some historical comments.Deirdre Haskell - 2012 - Bulletin of Symbolic Logic 18 (3):368-381.details
|
|
Mathematical Generality, Letter-Labels, and All That.F. Acerbi - 2020 - Phronesis 65 (1):27-75.details
|
|
Decidable algebraic fields.Moshe Jarden & Alexandra Shlapentokh - 2017 - Journal of Symbolic Logic 82 (2):474-488.details
|
|
Jacques Herbrand: life, logic, and automated deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254.details
|
|
On the concept of categoricity.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):39 - 66.details
|
|
A decision procedure for probability calculus with applications.Branden Fitelson - 2008 - Review of Symbolic Logic 1 (1):111-125.details
|
|
Existence of faster than light signals implies hypercomputation already in special relativity.Péter Németi & Gergely Székely - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 528--538.details
|
|
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.details
|
|
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.details
|
|
The ordered field of real numbers and logics with Malitz quantifiers.Andreas Rapp - 1985 - Journal of Symbolic Logic 50 (2):380-389.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
|
|
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
|
|
(1 other version)Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1-6):35-39.details
|
|