- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.details
|
|
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
|
|
Constructibility of the Universal Wave Function.Arkady Bolotin - 2016 - Foundations of Physics 46 (10):1253-1268.details
|
|
Anticipation and the artificial: aesthetics, ethics, and synthetic life. [REVIEW]Mihai Nadin - 2010 - AI and Society 25 (1):103-118.details
|
|
Recursively Enumerable Sets and Retracing Functions.C. E. M. Yates - 1962 - Mathematical Logic Quarterly 8 (3‐4):331-345.details
|
|
Structure Theory for Projective Sets in the Plane With Countable Sections.Yutaka Yasuda - 1986 - Mathematical Logic Quarterly 32 (31-34):481-501.details
|
|
Computability of Minimizers and Separating Hyperplanes.Kam-Chau Wong - 1996 - Mathematical Logic Quarterly 42 (1):564-568.details
|
|
Esquisse d'un modèle des activités cognitives.H. Wermus - 1978 - Dialectica 32 (3‐4):317-338.details
|
|
Token relativism and the Liar.A. Weir - 2000 - Analysis 60 (2):156-170.details
|
|
Some new results on PCL1 and its related systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.details
|
|
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.details
|
|
Supervaluationism and Its Logics.Achille C. Varzi - 2007 - Mind 116 (463):633-676.details
|
|
Nonstandard theories of quantification and identity.A. Trew - 1970 - Journal of Symbolic Logic 35 (2):267-294.details
|
|
Not a Knot.Paula Teijeiro - 2020 - Thought: A Journal of Philosophy 9 (1):14-24.details
|
|
On analytic well-orderings.Hisao Tanaka - 1970 - Journal of Symbolic Logic 35 (2):198-204.details
|
|
Theories of truth based on four-valued infectious logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.details
|
|
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.details
|
|
Kalmár's Argument Against the Plausibility of Church's Thesis.Máté Szabó - 2018 - History and Philosophy of Logic 39 (2):140-157.details
|
|
Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task.Keith Stenning & Michiel Lambalgen - 2005 - Cognitive Science 29 (6):919-960.details
|
|
Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task.Keith Stenning & Michiel van Lambalgen - 2005 - Cognitive Science 29 (6):919-960.details
|
|
Theories with Effectively Inseparable Nuclei.Raymond M. Smullyan - 1960 - Mathematical Logic Quarterly 6 (15-22):219-224.details
|
|
Analytic cut.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):560-564.details
|
|
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.details
|
|
Mass problems and measure-theoretic regularity.Stephen G. Simpson - 2009 - Bulletin of Symbolic Logic 15 (4):385-409.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.details
|
|
Arithmetical Reducibilities I.Alan L. Selman - 1971 - Mathematical Logic Quarterly 17 (1):335-350.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
Nachwuchs für den Lügner.Rudolf Schüßler - 1986 - Erkenntnis 24 (2):219-234.details
|
|
A Free‐Variable Theory of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):147-157.details
|
|
The consistency of number theory via herbrand's theorem.T. M. Scanlon - 1973 - Journal of Symbolic Logic 38 (1):29-58.details
|
|
Die nichtaxiomatisierbarkeit Des unendlichwertigen prädikatenkalküls Von łukasiewicz.Bruno Scarpellini - 1962 - Journal of Symbolic Logic 27 (2):159-170.details
|
|
A Formally Constructive Model for Barrecursion of Higher Types.Bruno Scarpellini - 1972 - Mathematical Logic Quarterly 18 (21-24):321-383.details
|
|
The Prototype Resemblance Theory of Disease.K. Sadegh-Zadeh - 2008 - Journal of Medicine and Philosophy 33 (2):106-139.details
|
|
The cognitive architecture for chaining of two mental operations.Jérôme Sackur & Stanislas Dehaene - 2009 - Cognition 111 (2):187-211.details
|
|
Two recursion theoretic characterizations of proof speed-ups.James S. Royer - 1989 - Journal of Symbolic Logic 54 (2):522-526.details
|
|
Book Reviews. [REVIEW]Victor Rodych - 1995 - Philosophia Mathematica 3 (3):271-288.details
|
|
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.details
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Zu den strukturen der klassischen prädikatenlogik.Ladislav Rieger - 1964 - Mathematical Logic Quarterly 10 (9‐12):121-138.details
|
|
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.details
|
|
Non-ontological Structuralism†.Michael Resnik - 2019 - Philosophia Mathematica 27 (3):303-315.details
|
|
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
|
|
Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner & Alice Ping Ping Tse - 2017 - Minds and Machines 27 (1):79-117.details
|
|
Finite axiomatizability for equational theories of computable groupoids.Peter Perkins - 1989 - Journal of Symbolic Logic 54 (3):1018-1022.details
|
|
Proof-theoretic analysis of the quantified argument calculus.Edi Pavlović & Norbert Gratzl - 2019 - Review of Symbolic Logic 12 (4):607-636.details
|
|
On n-quantifier induction.Charles Parsons - 1972 - Journal of Symbolic Logic 37 (3):466-482.details
|
|
Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.details
|
|