- Exact Truthmaker Semantics for Modal Logics.Dongwoo Kim - 2024 - Journal of Philosophical Logic 53 (3):789-829.details
|
|
Neutral Free Logic: Motivation, Proof Theory and Models.Edi Pavlović & Norbert Gratzl - 2023 - Journal of Philosophical Logic 52 (2):519-554.details
|
|
The early history of formal diagonalization.C. Smoryński - 2023 - Logic Journal of the IGPL 31 (6):1203-1224.details
|
|
Structuralism, indiscernibility, and physical computation.F. T. Doherty & J. Dewhurst - 2022 - Synthese 200 (3):1-26.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Grounded fixpoints and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2015 - Artificial Intelligence 224 (C):51-71.details
|
|
The Method of Socratic Proofs Meets Correspondence Analysis.Dorota Leszczyńska-Jasion, Yaroslav Petrukhin & Vasilyi Shangin - 2019 - Bulletin of the Section of Logic 48 (2):99-116.details
|
|
Fixed point theorems for precomplete numberings.Henk Barendregt & Sebastiaan A. Terwijn - 2019 - Annals of Pure and Applied Logic 170 (10):1151-1161.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
La historia y la gramática de la recursión: una precisión desde la obra de Wittgenstein.Sergio Mota - 2014 - Pensamiento y Cultura 17 (1):20-48.details
|
|
Rexpansions of nondeterministic matrices and their applications in nonclassical logics.Arnon Avron & Yoni Zohar - 2019 - Review of Symbolic Logic 12 (1):173-200.details
|
|
Automated correspondence analysis for the binary extensions of the logic of paradox.Yaroslav Petrukhin & Vasily Shangin - 2017 - Review of Symbolic Logic 10 (4):756-781.details
|
|
Trivial Dialetheism and the Logic of Paradox.Jean-Yves Beziau - 2016 - Logic and Logical Philosophy 25 (1):51-56.details
|
|
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.details
|
|
LogAB: A first-order, non-paradoxical, algebraic logic of belief.H. O. Ismail - 2012 - Logic Journal of the IGPL 20 (5):774-795.details
|
|
Infinite time extensions of Kleene’s $${\mathcal{O}}$$.Ansten Mørch Klev - 2009 - Archive for Mathematical Logic 48 (7):691-703.details
|
|
(2 other versions)Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14‐24):216-239.details
|
|
Semantic games with chance moves revisited: from IF logic to partial logic.Xuefeng Wen & Shier Ju - 2013 - Synthese 190 (9):1605-1620.details
|
|
(1 other version)Presupposition, implication, and necessitation.James L. Stiver - 1975 - Southern Journal of Philosophy 13 (1):99-108.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
The Final Cut.Elia Zardini - 2022 - Journal of Philosophical Logic 51 (6):1583-1611.details
|
|
Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.details
|
|
Physics is Organized Around Transformations Connecting Contextures in a Polycontextural World.Johannes Falk, Edwin Eichler, Katja Windt & Marc-Thorsten Hütt - 2022 - Foundations of Science 27 (3):1229-1251.details
|
|
Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.details
|
|
The noneffectivity of Arslanov’s completeness criterion and related theorems.Sebastiaan A. Terwijn - 2020 - Archive for Mathematical Logic 59 (5-6):703-713.details
|
|
Is there a neutral metalanguage?Rea Golan - 2019 - Synthese 198 (Suppl 20):4831-4858.details
|
|
Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.details
|
|
The Psychology of Uncertainty and Three-Valued Truth Tables.Jean Baratgin, Guy Politzer, David E. Over & Tatsuji Takahashi - 2018 - Frontiers in Psychology 9:394374.details
|
|
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.details
|
|
Inversive meadows and divisive meadows.J. A. Bergstra & C. A. Middelburg - 2011 - Journal of Applied Logic 9 (3):203-220.details
|
|
A 4-valued framework encompassing intuitionistic and classical logic.Tin Perkov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):138-143.details
|
|
Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.details
|
|
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.details
|
|
Recognition-primed group decisions via judgement aggregation.Marija Slavkovik & Guido Boella - 2012 - Synthese 189 (S1):51-65.details
|
|
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.details
|
|
(1 other version)Non truth-functional many-valuedness.Jean-Yves Beziau - manuscriptdetails
|
|
Propositional Type Theory of Indeterminacy.Víctor Aranda, Manuel Martins & María Manzano - forthcoming - Studia Logica:1-30.details
|
|
Embedding justification theory in approximation fixpoint theory.Simon Marynissen, Bart Bogaerts & Marc Denecker - 2024 - Artificial Intelligence 331 (C):104112.details
|
|
Ordinal analysis of partial combinatory algebras.Paul Shafer & Sebastiaan A. Terwijn - 2021 - Journal of Symbolic Logic 86 (3):1154-1188.details
|
|
Correspondence Analysis for Some Fragments of Classical Propositional Logic.Yaroslav Petrukhin & Vasilyi Shangin - 2021 - Logica Universalis 15 (1):67-85.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
|
|
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.details
|
|
(1 other version)Presupposition, Implication, and Necessitation.James L. Stiver - 1975 - Southern Journal of Philosophy 13 (1):99-108.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Reasoning Processes as Epistemic Dynamics.Olga Pombo - 2015 - Axiomathes 25 (1):41-60.details
|
|
An N -player semantic game for an N + 1-valued logic.Shier Ju & Xuefeng Wen - 2008 - Studia Logica 90 (1):17-23.details
|
|
Foreword: Three-valued logics and their applications.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):1-11.details
|
|
Construction theory, self-replication, and the halting problem.Hiroki Sayama - 2008 - Complexity 13 (5):16-22.details
|
|
Positive and negative Properties. A Logical Interpretation.Janusz Kaczmarek - 2003 - Bulletin of the Section of Logic 32 (4):179-189.details
|
|
Russell and his sources for non-classical logics.Irving H. Anellis - 2009 - Logica Universalis 3 (2):153-218.details
|
|