- Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33-35):547-559.details
|
|
(1 other version)Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.details
|
|
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.details
|
|
(2 other versions)Logic TK: Algebraic Notions from Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.details
|
|
Induction and inference to the best explanation.Ruth Weintraub - 2013 - Philosophical Studies 166 (1):203-216.details
|
|
(1 other version)Drawing dichotomies via formal languages.Charles G. Morgan - 1973 - Southern Journal of Philosophy 11 (3):216-227.details
|
|
Gödel, Tarski, Church, and the Liar.György Serény - 2003 - Bulletin of Symbolic Logic 9 (1):3-25.details
|
|
Formalized Token Models and Duality in Semantics: An Algebraic Approach.Lars Hansen - 2004 - Journal of Symbolic Logic 69 (2):443 - 477.details
|
|
Naturalness, intrinsicality, and duplication.Theodore R. Sider - 1993 - Dissertation, University of Massachusettsdetails
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
Boolos on the justification of set theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.details
|
|
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.details
|
|
In defense of the simplest quantified modal logic.Bernard Linsky & Edward N. Zalta - 1994 - Philosophical Perspectives 8:431-458.details
|
|
(1 other version)Redundancies in the Hilbert-Bernays derivability conditions for gödel's second incompleteness theorem.R. G. Jeroslow - 1973 - Journal of Symbolic Logic 38 (3):359-367.details
|
|
Simplifications of the recursion scheme.M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (4):653-665.details
|
|
On Vidal's trivalent explanations for defective conditional in mathematics.Yaroslav Petrukhin & Vasily Shangin - 2019 - Journal of Applied Non-Classical Logics 29 (1):64-77.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.details
|
|
The Methodological Roles of Tolerance and Conventionalism in the Philosophy of Mathematics: Reconsidering Carnap's Logic of Science.Emerson P. Doyle - 2014 - Dissertation, University of Western Ontariodetails
|
|
On Berry's paradox and nondiagonal constructions.Dev K. Roy - 1999 - Complexity 4 (3):35-38.details
|
|
(1 other version)Godel's theorem and mechanism.David Coder - 1969 - Philosophy 44 (September):234-7.details
|
|
Collective Choice and Social Welfare: Economics Imperialism in Action and Inaction.Ben Fine - 2018 - Ethics and Social Welfare 12 (4):393-399.details
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, details
|
|
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.details
|
|
Mathematical Knowledge and Pattern Cognition.Michael D. Resnik - 1975 - Canadian Journal of Philosophy 5 (1):25 - 39.details
|
|
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscriptdetails
|
|
Issues in the philosophy of logic: an unorthodox approach.Guillermo E. Rosado Haddock - 2007 - Principia: An International Journal of Epistemology 11 (1):25-44.details
|
|
(1 other version)Algebraic Semantics for Modal Predicate Logic.James B. Freeman - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):523-552.details
|
|
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.details
|
|
On a problem of MacDowell and Specker.Mark Nadel - 1980 - Journal of Symbolic Logic 45 (3):612-622.details
|
|
Epistemic optimism.Mihai Ganea - 2008 - Philosophia Mathematica 16 (3):333-353.details
|
|
A universal approach to self-referential paradoxes, incompleteness and fixed points.Noson S. Yanofsky - 2003 - Bulletin of Symbolic Logic 9 (3):362-386.details
|
|
(1 other version)Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.details
|
|
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning.Ariel Cohen, Michael Kaminski & Johann A. Makowsky - 2008 - Journal of Logic, Language and Information 17 (3):285-306.details
|
|
(1 other version)A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Mathematical Logic Quarterly 35 (6):495-514.details
|
|
Boolean sentence algebras: Isomorphism constructions.William P. Hanf & Dale Myers - 1983 - Journal of Symbolic Logic 48 (2):329-338.details
|
|
(2 other versions)Objetos matemáticos sensibles y objetos Matemáticos inteligibles.Víctor Hugo Chica Pérez, Luis F. Echeverri & Edwin Zarrazola - 2016 - Estudios de Filosofía (Universidad de Antioquia) 54:187-205.details
|
|
Truth via Satisfaction?Nicholas J. J. Smith - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 273-287.details
|
|
(1 other version)About Nothing.Dale Jacquette - 2013 - Humana Mente 6 (25).details
|
|
Meaning and inference.Jaroslav Peregrin - 2003 - In Timothy Childers & Ondrej Majer (eds.), Logica Yearbook 2002. Filosofia.details
|
|