- Interpreting First-Order Theories into a Logic of Records.Marcel van De Vel - 2002 - Studia Logica 72 (3):411 - 432.details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscriptdetails
|
|
A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.details
|
|
Mathematics and Its Applications, A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).details
|
|
Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.details
|
|
The hilbert type axiomatization of some three‐valued propositional logic.Andrzej Zbrzezny - 1990 - Mathematical Logic Quarterly 36 (5):415-421.details
|
|
The hilbert type axiomatization of some three-valued propositional logic.Andrzej Zbrzezny - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):415-421.details
|
|
Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.details
|
|
The two modes of identifying objects: descriptive and holistic for concrete objects; recursive and ostensive for abstract objects.Miriam L. Yevick - 1978 - Behavioral and Brain Sciences 1 (2):253-254.details
|
|
Wittgensteinian Tableaux, Identity, and Co-Denotation.Kai F. Wehmeier - 2008 - Erkenntnis 69 (3):363-376.details
|
|
A Note on the Compactness Theorem in First Order Logic.George Weaver - 1980 - Mathematical Logic Quarterly 26 (7-9):111-113.details
|
|
Searching for pragmatism in the philosophy of mathematics: Critical Studies / Book Reviews.Steven J. Wagner - 2001 - Philosophia Mathematica 9 (3):355-376.details
|
|
A remark on equivalent Rosser sentences.Christopher von Bülow - 2008 - Annals of Pure and Applied Logic 151 (1):62-67.details
|
|
Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah.Andrés Villaveces - 2021 - Theoria 87 (4):1001-1012.details
|
|
Reply to Touretzky and Pomerleau: Reconstructing Physical Symbol Systems.Alonso H. Vera & Herbert A. Simon - 1994 - Cognitive Science 18 (2):355-360.details
|
|
On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.details
|
|
On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.details
|
|
Ramsey eliminability.J. F. A. K. van Benthem - 1978 - Studia Logica 37 (4):321-336.details
|
|
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Mathematical Logic Quarterly 28 (4‐7):75-81.details
|
|
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (4-7):75-81.details
|
|
A Comprehensive Picture of the Decidability of Mereological Theories.Hsing-Chien Tsai - 2013 - Studia Logica 101 (5):987-1012.details
|
|
Abduction in economics: a conceptual framework and its model.Fernando Tohmé & Ricardo Crespo - 2013 - Synthese 190 (18):4215-4237.details
|
|
Inductive Reasoning in Social Choice Theory.Fernando Tohmé, Federico Fioravanti & Marcelo Auday - 2019 - Journal of Logic, Language and Information 28 (4):551-575.details
|
|
The logical consequence relation of propositional tense logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):29-40.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
A semantical investigation into leśniewski's axiom of his ontology.Mitio Takano - 1985 - Studia Logica 44 (1):71 - 77.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.details
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.details
|
|
Intrinsically II 11 Relations.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):109-126.details
|
|
Ramsey eliminability and the testability of scientific theories.Herbert A. Simon & Guy J. Groen - 1973 - British Journal for the Philosophy of Science 24 (4):367-380.details
|
|
Human and machine interpretation of expressions in formal systems.Herbert A. Simon & Stuart A. Eisenstadt - 1998 - Synthese 116 (3):439-461.details
|
|
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.details
|
|
Why Popper's basic statements are not falsifiable. some paradoxes in Popper's “logic of scientific discovery”.Gerhard Schurz & Georg J. W. Dorn - 1988 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 19 (1):124-143.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
Semantic Completeness of Free-Variable Theories.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (5):441-452.details
|
|
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.details
|
|