- Partially ordered sets representable by recursively enumerable classes.J. B. Florence - 1969 - Journal of Symbolic Logic 34 (1):8-12.details
|
|
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.details
|
|
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.details
|
|
Partial degrees and the density problem.S. B. Cooper - 1982 - Journal of Symbolic Logic 47 (4):854-859.details
|
|
On primitive recursive permutations and their inverses.Frank B. Cannonito & Mark Finkelstein - 1969 - Journal of Symbolic Logic 34 (4):634-638.details
|
|
La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.details
|
|
Normality operators and classical recapture in many-valued logic.Roberto Ciuni & Massimiliano Carrara - 2020 - Logic Journal of the IGPL 28 (5):657-683.details
|
|
Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
On characterizability in L ω1ω0.Per Lindström - 1966 - Theoria 32 (3):165-171.details
|
|
On Beall’s New Interpretation of $$WK_{3}$$ W K 3.Nissim Francez - 2019 - Journal of Logic, Language and Information 28 (1):1-7.details
|
|
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.details
|
|
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.details
|
|
Axiom (cc0) and Verifiability in Two Extracanonical Logics of Formal Inconsistency.Thomas Macaulay Ferguson - 2018 - Principia: An International Journal of Epistemology 22 (1):113-138.details
|
|
Pecularities of Some Three- and Four-Valued Second Order Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Logica Universalis 12 (3-4):493-509.details
|
|
First‐order logical validity and the hilbert‐bernays theorem.Gary Ebbs & Warren Goldfarb - 2018 - Philosophical Issues 28 (1):159-175.details
|
|
Obligations, Sophisms and Insolubles.Stephen Read - 2013 - National Research University “Higher School of Economics” - (Series WP6 “Humanities”).details
|
|
Independence Day?Matthew Mandelkern & Daniel Rothschild - 2019 - Journal of Semantics 36 (2):193-210.details
|
|
A Duality for Involutive Bisemilattices.Stefano Bonzio, Andrea Loi & Luisa Peruzzi - 2019 - Studia Logica 107 (2):423-444.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
|
|
Deriving the contrastiveness of contrastive -nun in Korean.Jieun Kim - 2018 - Linguistics and Philosophy 41 (4):457-482.details
|
|
Chreods, homeorhesis and biofields: Finding the right path for science.Arran Gare - 2017 - Progress in Biophysics and Molecular Biology 131:61-91.details
|
|
Diversification of Object-Languages for Propositional Logics.Nissim Francez - 2018 - Journal of Logic, Language and Information 27 (3):193-203.details
|
|
Non-ontological Structuralism†.Michael Resnik - 2019 - Philosophia Mathematica 27 (3):303-315.details
|
|
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
|
|
Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.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
|
|
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
|
|
Building A General Theory of Meta‐Argumentation.Hasmik Hovhannisyan & Robert Djidjian - 2017 - Metaphilosophy 48 (3):345-354.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
|
|
Vagueness and Aggregation in Multiple Sender Channels.Jonathan Lawry & Oliver James - 2017 - Erkenntnis 82 (5):1123-1160.details
|
|
Classicality Lost: K3 and LP after the Fall.Matthias Jenny - 2016 - Thought: A Journal of Philosophy 6 (1):43-53.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
|
|
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.details
|
|
Structure Theory for Projective Sets in the Plane With Countable Sections.Yutaka Yasuda - 1986 - Mathematical Logic Quarterly 32 (31-34):481-501.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 Verities May Be.Igor Douven & Lieven Decock - 2017 - Mind 126 (502):386-428.details
|
|
On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes.W. A. MacCaull - 1988 - Journal of Symbolic Logic 53 (4):1177-1187.details
|
|
Noninitial segments of the α-degrees.John M. MacIntyre - 1973 - Journal of Symbolic Logic 38 (3):368-388.details
|
|
What is the Nature of Mathematical–Logical Objects?Stathis Livadas - 2017 - Axiomathes 27 (1):79-112.details
|
|
Mind the Croc! Rationality Gaps vis-à-vis the Crocodile Paradox.Stamatios Gerogiorgakis - 2016 - History and Philosophy of Logic 37 (2):101-113.details
|
|
Constructibility of the Universal Wave Function.Arkady Bolotin - 2016 - Foundations of Physics 46 (10):1253-1268.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
Field’s logic of truth.Vann McGee - 2010 - Philosophical Studies 147 (3):421-432.details
|
|
(1 other version)The U‐Quantifier.A. H. Lachlan - 1961 - Mathematical Logic Quarterly 7 (11-14):171-174.details
|
|
(1 other version)Quasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol.J. P. Cleave - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):481-500.details
|
|
(1 other version)A Formally Constructive Model for Barrecursion of Higher Types.Bruno Scarpellini - 1972 - Mathematical Logic Quarterly 18 (21-24):321-383.details
|
|
(2 other versions)Arithmetical Reducibilities I.Alan L. Selman - 1971 - Mathematical Logic Quarterly 17 (1):335-350.details
|
|
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.details
|
|