- Dissatisfaction Theory.Matthew Mandelkern - forthcoming - Semantics and Linguistic Theory 26:391-416.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
|
|
(1 other version)On n-quantifier induction.Charles Parsons - 1972 - Journal of Symbolic Logic 37 (3):466-482.details
|
|
Herbrand’s theorem and non-euclidean geometry.Michael Beeson, Pierre Boutry & Julien Narboux - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.details
|
|
What is morphological computation? On how the body contributes to cognition and control.Vincent C. Müller & Matej Hoffmann - 2017 - Artificial Life 23 (1):1-24.details
|
|
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.details
|
|
A Note on the Architecture of Presupposition.Matthew Mandelkern - 2016 - Semantics and Pragmatics 9 (13).details
|
|
(2 other versions)Predictably computable functionals and definition by recursion.D. L. Kreider & R. W. Ritchie - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (5):65-80.details
|
|
Supervaluationism and Its Logics.Achille C. Varzi - 2007 - Mind 116 (463):633-676.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Classical Logic I: First‐Order Logic.Wilfrid Hodges - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 9–32.details
|
|
(1 other version)Book Reviews. [REVIEW]Victor Rodych - 1995 - Philosophia Mathematica 3 (3):271-288.details
|
|
(1 other version)Existência e Contradição.Edelcio Gonçalves de Souza - 2003 - Cognitio 4 (1):80-86.details
|
|
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.details
|
|
(1 other version)Flagg and Friedman's translation is not faithful.Takao Inoué & T. Inoué - 1992 - Mathematical Logic Quarterly 38 (1):551-554.details
|
|
(1 other version)Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.details
|
|
(1 other version)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
|
|
(2 other versions)Zu den strukturen der klassischen prädikatenlogik.Ladislav Rieger - 1964 - Mathematical Logic Quarterly 10 (9‐12):121-138.details
|
|
(1 other version)Multiple Recursion.A. H. Lachlan - 1962 - Mathematical Logic Quarterly 8 (2):81-107.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
|
|
A simple approach towards recapturing consistent theories in paraconsistent settings.Jc Beall - 2013 - Review of Symbolic Logic 6 (4):755-764.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|
Lógica e Completude.Arno A. Viero - 2001 - Princípios 8 (10):07-24.details
|
|
(1 other version)An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.details
|
|
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.details
|
|
Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing.William J. Rapaport - 2012 - International Journal of Signs and Semiotic Systems 2 (1):32-71.details
|
|
Alan Turing and the foundations of computable analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
Complexity, Hypersets, and the Ecological Perspective on Perception-Action.Anthony Chemero & M. T. Turvey - 2007 - Biological Theory 2 (1):23-36.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
|
|
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Definability in the monadic second-order theory of successor.J. Richard Buchi & Lawrence H. Landweber - 1969 - Journal of Symbolic Logic 34 (2):166 - 170.details
|
|
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.details
|
|
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.details
|
|
The consistency of number theory via herbrand's theorem.T. M. Scanlon - 1973 - Journal of Symbolic Logic 38 (1):29-58.details
|
|
(1 other version)Die nichtaxiomatisierbarkeit Des unendlichwertigen prädikatenkalküls Von łukasiewicz.Bruno Scarpellini - 1962 - Journal of Symbolic Logic 27 (2):159-170.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
|
|
Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.details
|
|
The formal language of recursion.Yiannis N. Moschovakis - 1989 - Journal of Symbolic Logic 54 (4):1216-1252.details
|
|
On representing ‘true-in-L’ in L.Robert L. Martin - 1975 - Philosophia 5 (3):213-217.details
|
|
On the interpolation theorem for the logic of constant domains.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (1):87-88.details
|
|
(1 other version)A note on many·one reducibility.Shih-Chao Liu - 1963 - Journal of Symbolic Logic 28 (2):143-153.details
|
|
On the proof theory of the modal logic for arithmetic provability.Daniel Leivant - 1981 - Journal of Symbolic Logic 46 (3):531-538.details
|
|
Syntactic translations and provably recursive functions.Daniel Leivant - 1985 - Journal of Symbolic Logic 50 (3):682-688.details
|
|
Recursive real numbers.A. H. Lachlan - 1963 - Journal of Symbolic Logic 28 (1):1-16.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
(2 other versions)An editor recalls some hopeless papers.Wilfrid Hodges - 1998 - Bulletin of Symbolic Logic 4 (1):1-16.details
|
|