- On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’.Peter Milne - forthcoming - History and Philosophy of Logic:1-14.details
|
|
Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2021 - Mind 131 (523):865-893.details
|
|
On the relationships between some meta-mathematical properties of arithmetical theories.Yong Cheng - 2024 - Logic Journal of the IGPL 32 (5):880-908.details
|
|
Carnap and Beth on the Limits of Tolerance.Benjamin Marschall - 2021 - Canadian Journal of Philosophy 51 (4):282–300.details
|
|
Finding the limit of incompleteness I.Yong Cheng - 2020 - Bulletin of Symbolic Logic 26 (3-4):268-286.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.details
|
|
Remarks on the Gödelian Anti-Mechanist Arguments.Panu Raatikainen - 2020 - Studia Semiotyczne 34 (1):267–278.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Relative Interpretations and Substitutional Definitions of Logical Truth and Consequence.Mirko Engler - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 33 - 47.details
|
|
Bases for Structures and Theories I.Jeffrey Ketland - 2020 - Logica Universalis 14 (3):357-381.details
|
|
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
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Recursive functions and existentially closed structures.Emil Jeřábek - 2019 - Journal of Mathematical Logic 20 (1):2050002.details
|
|
Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Gödel's Second incompleteness theorem for Q.A. Bezboruah & J. C. Shepherdson - 1976 - Journal of Symbolic Logic 41 (2):503-512.details
|
|
Theories of Properties and Ontological Theory-Choice: An Essay in Metaontology.Christopher Gibilisco - 2016 - Dissertation, University of Nebraska-Lincolndetails
|
|
(1 other version)Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.details
|
|
Restricted Decision Problems in Some Classes of Algebraic Systems.Michałl Muzalewski - 1978 - Mathematical Logic Quarterly 24 (17-18):279-287.details
|
|
Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Quantifier Variance and the Collapse Argument.Jared Warren - 2015 - Philosophical Quarterly 65 (259):241-253.details
|
|
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.details
|
|
(1 other version)The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
(1 other version)Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.details
|
|
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.details
|
|
The interpretability logic of all reasonable arithmetical theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.details
|
|
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.details
|
|
The concept of truth in a finite universe.Panu Raatikainen - 2000 - Journal of Philosophical Logic 29 (6):617-633.details
|
|
(1 other version)Solution of a problem of Tarski.John Myhill - 1956 - Journal of Symbolic Logic 21 (1):49-51.details
|
|
Where have all the theories gone?Margaret Morrison - 2007 - Philosophy of Science 74 (2):195-228.details
|
|
Logic and limits of knowledge and truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.details
|
|
Replacing one theory by another under preservation of a given feature.Rolf A. Eberle - 1971 - Philosophy of Science 38 (4):486-501.details
|
|
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.details
|
|
A Step Towards Absolute Versions of Metamathematical Results.Balthasar Grabmayr - 2024 - Journal of Philosophical Logic 53 (1):247-291.details
|
|
Non-Tightness in Class Theory and Second-Order Arithmetic.Alfredo Roque Freire & Kameryn J. Williams - forthcoming - Journal of Symbolic Logic:1-28.details
|
|
Quine’s Underdetermination Thesis.Eric Johannesson - 2024 - Erkenntnis 89 (5):1903-1920.details
|
|
On the effective universality of mereological theories.Nikolay Bazhenov & Hsing-Chien Tsai - 2022 - Mathematical Logic Quarterly 68 (1):48-66.details
|
|
Self-Reference Upfront: A Study of Self-Referential Gödel Numberings.Balthasar Grabmayr & Albert Visser - 2023 - Review of Symbolic Logic 16 (2):385-424.details
|
|
How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - 2022 - Review of Symbolic Logic 15 (2):487 - 504.details
|
|
A Logical Approach to Philosophy: Essays in Memory of Graham Solomon.David DeVidi & Tim Kenyon (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Incompleteness and truth definitions.G. Germano - 1971 - Theoria 37 (1):86-90.details
|
|
(1 other version)Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.details
|
|
In memoriam: Per Lindström.Jouko Väänänen & Dag Westerståhl - 2010 - Theoria 76 (2):100-107.details
|
|
(1 other version)Sentences true in all constructive models.R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (1):39-53.details
|
|
On Ackermann's set theory.Azriel Lévy - 1959 - Journal of Symbolic Logic 24 (2):154-166.details
|
|