- Model-theoretic semantics and revenge paradoxes.Lorenzo Rossi - 2019 - Philosophical Studies 176 (4):1035-1054.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
|
|
(1 other version)Classes of Recursively Enumerable Sets and Degrees of Unsolvability.Donald A. Martin - 1966 - Mathematical Logic Quarterly 12 (1):295-310.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications.details
|
|
What is morphological computation? On how the body contributes to cognition and control.Vincent Müller & Matej Hoffmann - 2017 - Artificial Life 23 (1):1-24.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
(1 other version)Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.details
|
|
(2 other versions)Some Notions of Reducibility and Productiveness.A. H. Lachlan - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):17-44.details
|
|
Supervaluationism and Its Logics.Achille C. Varzi - 2007 - Mind 116 (463):633-676.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Translations of Logical Formulas and the Equiconsistency Problem.Andrei A. Kuzichev - 1994 - Mathematical Logic Quarterly 40 (1):44-50.details
|
|
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.details
|
|
On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.details
|
|
The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.details
|
|
(1 other version)Non-Alethic Meinongian Logic.Nicola Grana - 2010 - Principia: An International Journal of Epistemology 14 (1):99-110.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
A survey of Mučnik and Medvedev degrees.Peter G. Hinman - 2012 - Bulletin of Symbolic Logic 18 (2):161-229.details
|
|
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.details
|
|
Formalizations après la lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden Universitydetails
|
|
Proceedings of Sinn und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.details
|
|
On understanding understanding.Roger Penrose - 1997 - International Studies in the Philosophy of Science 11 (1):7 – 20.details
|
|
(1 other version)Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-133.details
|
|
Descriptions in Mathematical Logic.Gerard R. Renardel - 1984 - Studia Logica 43 (3):281-294.details
|
|
Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
(1 other version)On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.details
|
|
On logics intermediate between intuitionistic and classical predicate logic.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (2):141-153.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
A note on finite axiomatization of partial propositional calculi.W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (3):352-354.details
|
|
(2 other versions)Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Constructively accessible ordinal numbers.Wayne Richter - 1968 - Journal of Symbolic Logic 33 (1):43-55.details
|
|
Trial and error predicates and the solution to a problem of Mostowski.Hilary Putnam - 1965 - Journal of Symbolic Logic 30 (1):49-57.details
|
|
Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.details
|
|
Classical and constructive hierarchies in extended intuitionistic analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.details
|
|
Proof theory in the USSR 1925–1969.Grigori Mints - 1991 - Journal of Symbolic Logic 56 (2):385-424.details
|
|
Universally free logic and standard quantification theory.Robert K. Meyer & Karel Lambert - 1968 - Journal of Symbolic Logic 33 (1):8-26.details
|
|
Programs, grammars and arguments: A personal view of some connections between computation, language and logic.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3):312-328.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
(1 other version)Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.details
|
|
(1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
(1 other version)Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (3):317-330.details
|
|
Effective Bounds from ineffective proofs in analysis: An application of functional interpretation and majorization.Ulrich Kohlenbach - 1992 - Journal of Symbolic Logic 57 (4):1239-1273.details
|
|
(1 other version)Gödel numberings of partial recursive functions.Hartley Rogers - 1958 - Journal of Symbolic Logic 23 (3):331-341.details
|
|
(1 other version)A reduction of the recursion scheme.M. D. Gladstone - 1967 - Journal of Symbolic Logic 32 (4):505-508.details
|
|
Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.details
|
|
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.details
|
|
String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.details
|
|
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.details
|
|
Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts.Ariel Jonathan Roffé - 2020 - Journal of Applied Non-Classical Logics 30 (1):68-91.details
|
|