- Weak essentially undecidable theories of concatenation, part II.Juvenal Murwanashyaka - 2024 - Archive for Mathematical Logic 63 (3):353-390.details
|
|
Quine's Naturalism.Alan Weir - 2013 - In Ernie Lepore & Gilbert Harman (eds.), A Companion to W. V. O. Quine. Wiley-Blackwell. pp. 114–147.details
|
|
Quine’s Underdetermination Thesis.Eric Johannesson - forthcoming - Erkenntnis:1-18.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
|
|
Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2022 - Mind 131 (523):865-893.details
|
|
Essential hereditary undecidability.Albert Visser - forthcoming - Archive for Mathematical Logic:1-34.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Neo-logicism? An ontological reduction of mathematics to metaphysics.Edward N. Zalta - 2000 - Erkenntnis 53 (1-2):219-265.details
|
|
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.details
|
|
Quantifier Variance and the Collapse Argument.Jared Warren - 2015 - Philosophical Quarterly 65 (259):241-253.details
|
|
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.details
|
|
In memoriam: Per Lindström.Jouko Väänänen & Dag Westerståhl - 2010 - Theoria 76 (2):100-107.details
|
|
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.details
|
|
Another look at the second incompleteness theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.details
|
|
Sentences true in all constructive models.R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (1):39-53.details
|
|
Finite Undecidability in Nip Fields.Brian Tyrrell - forthcoming - Journal of Symbolic Logic:1-24.details
|
|
A Comprehensive Picture of the Decidability of Mereological Theories.Hsing-Chien Tsai - 2013 - Studia Logica 101 (5):987-1012.details
|
|
On the Adequacy of a Substructural Logic for Mathematics and Science.Neil Tennant - 2022 - Philosophical Quarterly 72 (4):1002-1018.details
|
|
Logic, Mathematics, and the A Priori, Part I: A Problem for Realism.Neil Tennant - 2014 - Philosophia Mathematica 22 (3):308-320.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.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
|
|
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
|
|
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
|
|
Theories with Effectively Inseparable Nuclei.Raymond M. Smullyan - 1960 - Mathematical Logic Quarterly 6 (15-22):219-224.details
|
|
Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2021 - Mind 131 (523):863-891.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
Reduction, representation and commensurability of theories.Peter Schroeder-Heister & Frank Schaefer - 1989 - Philosophy of Science 56 (1):130-157.details
|
|
Gödel’s second incompleteness theorem: How it is derived and what it delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.details
|
|
The concept of truth in a finite universe.Panu Raatikainen - 2000 - Journal of Philosophical Logic 29 (6):617-633.details
|
|
Remarks on the Gödelian Anti-Mechanist Arguments.Panu Raatikainen - 2020 - Studia Semiotyczne 34 (1):267–278.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Effectively extensible theories.Marian Boykan Pour-El - 1968 - Journal of Symbolic Logic 33 (1):56-68.details
|
|
A note on uniform density in weak arithmetical theories.Duccio Pianigiani & Andrea Sorbi - 2020 - Archive for Mathematical Logic 60 (1):211-225.details
|
|
Translation, reduction and commensurability: A note on Schroeder-heister and Schaefer.David Pearce - 1989 - Philosophy of Science 56 (1):158-164.details
|
|
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.details
|
|
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.details
|
|
Solution of a problem of Tarski.John Myhill - 1956 - Journal of Symbolic Logic 21 (1):49-51.details
|
|
Restricted Decision Problems in Some Classes of Algebraic Systems.Michałl Muzalewski - 1978 - Mathematical Logic Quarterly 24 (17-18):279-287.details
|
|
Weak essentially undecidable theories of concatenation.Juvenal Murwanashyaka - 2022 - Archive for Mathematical Logic 61 (7):939-976.details
|
|
We Turing Machines Can’t Even Be Locally Ideal Bayesians.Beau Madison Mount - 2016 - Thought: A Journal of Philosophy 5 (4):285-290.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
Where have all the theories gone?Margaret Morrison - 2007 - Philosophy of Science 74 (2):195-228.details
|
|
Critical notice.Alexander Miller - 2007 - International Journal of Philosophical Studies 15 (1):125 – 140.details
|
|
Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?Witold Marciszewski - 2018 - Studia Semiotyczne 32 (2):153-185.details
|
|
Carnap and Beth on the Limits of Tolerance.Benjamin Marschall - 2021 - Canadian Journal of Philosophy 51 (4):282–300.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
|
|
On Ackermann's set theory.Azriel Lévy - 1959 - Journal of Symbolic Logic 24 (2):154-166.details
|
|
Peano arithmetic may not be interpretable in the monadic theory of linear orders.Shmuel Lifsches & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (3):848-872.details
|
|
Intertheoretic Reduction, Confirmation, and Montague’s Syntax-Semantics Relation.Kristina Liefke & Stephan Hartmann - 2018 - Journal of Logic, Language and Information 27 (4):313-341.details
|
|