- On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.details
|
|
Interpolation Methods for Dunn Logics and Their Extensions.Stefan Wintein & Reinhard Muskens - 2017 - Studia Logica 105 (6):1319-1347.details
|
|
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.details
|
|
Axioms for finite collapse models of arithmetic.Andrew Tedder - 2015 - Review of Symbolic Logic 8 (3):529-539.details
|
|
Categoricity Problem for LP and K3.Selcuk Kaan Tabakci - forthcoming - Studia Logica:1-35.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
|
|
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.details
|
|
A system for proper multiple-conclusion entailment.Tomasz Skura & Andrzej Wiśniewski - 2015 - Logic and Logical Philosophy 24 (2).details
|
|
The very idea of a substructural approach to paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.details
|
|
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.details
|
|
Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix.Gemma Robles - forthcoming - Logic Journal of the IGPL.details
|
|
Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value.Gemma Robles & José M. Méndez - 2019 - Logic Journal of the IGPL 27 (6):910-932.details
|
|
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.details
|
|
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz’s 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2014 - Journal of Philosophical Logic 43 (2-3):303-332.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.details
|
|
Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.details
|
|
On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz M. Radzki - 2017 - Axiomathes 27 (4):403-415.details
|
|
Bounded contraction and Gentzen-style formulation of łukasiewicz logics.Andreja Prijatelj - 1996 - Studia Logica 57 (2-3):437 - 456.details
|
|
Truth in a Logic of Formal Inconsistency: How classical can it get?Lavinia Picollo - 2020 - Logic Journal of the IGPL 28 (5):771-806.details
|
|
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.details
|
|
Correspondence Analysis for Some Fragments of Classical Propositional Logic.Yaroslav Petrukhin & Vasilyi Shangin - 2021 - Logica Universalis 15 (1):67-85.details
|
|
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - forthcoming - Logic and Logical Philosophy:1.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
|
|
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.details
|
|
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.details
|
|
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts.Meha Mishra & A. V. Ravishankar Sarma - 2022 - Bulletin of the Section of Logic 51 (2):177-195.details
|
|
On deductive bases for paraconsistent answer set semantics.N. V. Mayatskiy & S. P. Odintsov - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):131-146.details
|
|
ZF and the axiom of choice in some paraconsistent set theories.Thierry Libert - 2003 - Logic and Logical Philosophy 11:91-114.details
|
|
Literal‐paraconsistent and literal‐paracomplete matrices.Renato A. Lewin & Irene F. Mikenberg - 2006 - Mathematical Logic Quarterly 52 (5):478-493.details
|
|
First order theory for literal‐paraconsistent and literal‐paracomplete matrices.Renato A. Lewin & Irene F. Mikenberg - 2010 - Mathematical Logic Quarterly 56 (4):425-433.details
|
|
Trivalent logics arising from L-models for the Lambek calculus with constants.S. L. Kuznetsov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):132-137.details
|
|
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.details
|
|
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.details
|
|
Paraconsistent and Paracomplete Zermelo–Fraenkel Set Theory.Yurii Khomskii & Hrafn Valtýr Oddsson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence.Alexander Karpenko & Natalya Tomova - 2017 - Logic and Logical Philosophy 26 (2):207-235.details
|
|
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics.Norihiro Kamide - forthcoming - Journal of Logic, Language and Information:1-36.details
|
|
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.details
|
|
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond.George Gargov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):195-283.details
|
|
Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Logical Nihilism and the Logic of ‘prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.details
|
|
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.details
|
|
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.details
|
|
Inconsistency, Paraconsistency and ω-Inconsistency.Bruno Da Ré - 2018 - Principia: An International Journal of Epistemology 22 (1):171-188.details
|
|
The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.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
|
|
From many-valued consequence to many-valued connectives.Emmanuel Chemla & Paul Egré - 2018 - Synthese 198 (S22):5315-5352.details
|
|
Equivalence for the G 3 ′ -stable models semantics.José Luis Carballido, Mauricio Osorio & José Ramón Arrazola - 2010 - Journal of Applied Logic 8 (1):82-96.details
|
|