- An expansion of first-order Belnap-Dunn logic.K. Sano & H. Omori - 2014 - Logic Journal of the IGPL 22 (3):458-481.details
|
|
On the way to a Wider model theory: Completeness theorems for first-order logics of formal inconsistency.Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues - 2014 - Review of Symbolic Logic 7 (3):548-578.details
|
|
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.details
|
|
On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - 2024 - Review of Symbolic Logic 17 (3):682-704.details
|
|
On a New Approach to Peirce’s Three-Value Propositional Logic.José Renato Salatiel - 2022 - Manuscrito 45 (4):79-106.details
|
|
Tableau method of proof for Peirce’s three-valued propositional logic.José Renato Salatiel - 2022 - Filosofia Unisinos 23 (1):1-10.details
|
|
(1 other version)Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter A. Carnielli & Marcelo E. Coniglio - forthcoming - Logic and Logical Philosophy:1.details
|
|
From logics of formal inconsistency to logics of formal classicality.Hitoshi Omori - 2020 - Logic Journal of the IGPL 28 (5):684-711.details
|
|
Two-valued weak Kleene logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.details
|
|
Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2017. College Publications. pp. 2-20.details
|
|
Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.details
|
|
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.details
|
|
A recovery operator for nontransitive approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.details
|
|
Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.details
|
|
There is More to Negation than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.details
|
|
An alternative approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.details
|
|
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator.Victoria Arce Pistone & Martín Figallo - forthcoming - Studia Logica:1-38.details
|
|
(1 other version)Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.details
|
|
Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.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
|
|
What If? The Exploration of an Idea.Graham Priest - 2017 - Australasian Journal of Logic 14 (1).details
|
|
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.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
|
|
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.details
|
|
Valuation Semantics for First-Order Logics of Evidence and Truth.H. Antunes, A. Rodrigues, W. Carnielli & M. E. Coniglio - 2022 - Journal of Philosophical Logic 51 (5):1141-1173.details
|
|
On Existence, Inconsistency, and Indispensability.Henrique Antunes - 2018 - Principia: An International Journal of Epistemology 22 (1):07-34.details
|
|
Enthymematic classical recapture1.Henrique Antunes - forthcoming - Logic Journal of the IGPL.details
|
|
Enthymematic classical recapture 1.Henrique Antunes - 2020 - Logic Journal of the IGPL 28 (5):817-831.details
|
|
On polynomial semantics for propositional logics.Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero - 2016 - Journal of Applied Non-Classical Logics 26 (2):103-125.details
|
|
Against a Metaphysical Understanding of Rejection.Mariela Rubin & Ariel Roffé - 2018 - Principia: An International Journal of Epistemology 22 (1):189-202.details
|
|
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.Gemma Robles & José M. Méndez - 2021 - Journal of Applied Non-Classical Logics 31 (2):130-153.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
|
|
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.Gemma Robles & José M. Méndez - 2023 - Journal of Philosophical Logic 52 (3):915-938.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
|
|
Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.details
|
|
Weakening and Extending {mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos - 2015 - Logica Universalis 9 (3):383-409.details
|
|
Revisiting $\mathbb{Z}$.Mauricio Osorio, José Luis Carballido & Claudia Zepeda - 2014 - Notre Dame Journal of Formal Logic 55 (1):129-155.details
|
|
Remarks on naive set theory based on lp.Hitoshi Omori - 2015 - Review of Symbolic Logic 8 (2):279-295.details
|
|
Possible-translations semantics for some weak classically-based paraconsistent logics.João Marcos - 2008 - Journal of Applied Non-Classical Logics 18 (1):7-28.details
|
|
Logical foundations and complexity of 4QL, a query language with unrestricted negation.Jan Maluszyński & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (2):211-232.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
|
|
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices.Marcin Jukiewicz, Marek Nasieniewski, Yaroslav Petrukhin & Vasily Shangin - forthcoming - Logic Journal of the IGPL.details
|
|
The Dissolution of Bar-Hillel-Carnap Paradox by Semantic Information Theory Based on a Paraconsistent Logic.Samir Gorsky - 2018 - Principia: An International Journal of Epistemology 22 (1):139-151.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
|
|
Modality across different logics.Alfredo Roque Freire & Manuel A. Martins - forthcoming - Logic Journal of the IGPL.details
|
|
Secrecy, Content, and Quantification.Thomas Macaulay Ferguson - 2021 - Análisis Filosófico 41 (2):285-302.details
|
|
Monstrous Content and the Bounds of Discourse.Thomas Macaulay Ferguson - 2022 - Journal of Philosophical Logic 52 (1):111-143.details
|
|
(1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.details
|
|