- Paraconsistent reasoning as an analytic tool.P. Wong & P. Besnard - 2001 - Logic Journal of the IGPL 9 (2):217-230.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
|
|
Nelson algebras, residuated lattices and rough sets: A survey.Jouni Järvinen, Sándor Radeleczki & Umberto Rivieccio - 2024 - Journal of Applied Non-Classical Logics 34 (2-3):368-428.details
|
|
Formes, objets et négation selon Granger.Fabien Schang - 2020 - Philosophiques 47 (1):3-33.details
|
|
Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In T. Arazim P. And Lavicka (ed.), The Logica Yearbook 2017. Londra, Regno Unito: pp. 2-20.details
|
|
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative.Paul Weingartner - 2011 - Manuscrito 34 (1):365-388.details
|
|
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.details
|
|
Paraconsistencia pura.Bruno Da Ré - 2019 - Revista de Humanidades de Valparaíso 13:90-101.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Da Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
On paraconsistent deontic logic.Newton C. A. Da Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.details
|
|
On paraconsistent deontic logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.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
|
|
Nothingness, Meinongianism and inconsistent mereology.Filippo Casati & Naoya Fujikawa - 2019 - Synthese 196 (9):3739-3772.details
|
|
DLEAC: A Dialetheic Logic with Exclusive Assumptions and Conclusions.Massimiliano Carrara & Enrico Martino - 2019 - Topoi 38 (2):379-388.details
|
|
Recovery operators, paraconsistency and duality.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2020 - Logic Journal of the IGPL 28 (5):624-656.details
|
|
Razão e irracionalidade na representação do conhecimento.Walter A. Carnielli & Mamede Lima Marques - 1991 - Trans/Form/Ação 14:165-177.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
|
|
Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093 - 1103.details
|
|
Hybridized Paracomplete and Paraconsistent Logics.Colin Caret - 2017 - Australasian Journal of Logic 14 (1):281-325.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
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
Behavioral algebraization of da Costa's C-systems.Carlos Caleiro & Ricardo Gonçalves - 2009 - Journal of Applied Non-Classical Logics 19 (2):127-148.details
|
|
Behavioral Algebraization of Logics.Carlos Caleiro, Ricardo Gonçalves & Manuel Martins - 2009 - Studia Logica 91 (1):63-111.details
|
|
Some definitions of negation leading to paraconsistent logics.M. W. Bunder - 1984 - Studia Logica 43 (1-2):75 - 78.details
|
|
Troubles with trivialism.Otávio Bueno - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):655 – 667.details
|
|
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.details
|
|
A reasoning method for a paraconsistent logic.Arthur Buchsbaum & Tarcisio Pequeno - 1993 - Studia Logica 52 (2):281 - 289.details
|
|
Anti-intuitionism and paraconsistency.Andreas B. M. Brunner & Walter A. Carnielli - 2005 - Journal of Applied Logic 3 (1):161-184.details
|
|
Reasoning with belief functions over Belnap–Dunn logic.Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Sajad Nazari - forthcoming - Annals of Pure and Applied Logic.details
|
|
Die logik der unbestimmtheiten und paradoxien.Ulrich Blau - 1985 - Erkenntnis 22 (1-3):369 - 459.details
|
|
Society semantics for four-valued Łukasiewicz logic.Edson Vinícius Bezerra - 2020 - Logic Journal of the IGPL 28 (5):892-911.details
|
|
A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.details
|
|
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases.Sihem Belabbes & Salem Benferhat - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):561-581.details
|
|
Volume I: Recovery operators in logics of formal inconsistency.Eduardo Alejandro Barrio & Walter Carnielli - 2020 - Logic Journal of the IGPL 28 (5):615-623.details
|
|
Introducing consistency in a dialogical framework for paraconsistent logic.Eduardo Alejandro Barrio, Nicolas Clerbout & Shahid Rahman - 2020 - Logic Journal of the IGPL 28 (5):953-972.details
|
|
A recovery operator for nontransitive approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.details
|
|
A paraconsistent route to semantic closure.Eduardo Alejandro Barrio, Federico Matias Pailos & Damian Enrique Szmuc - 2017 - Logic Journal of the IGPL 25 (4):387-407.details
|
|
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.details
|
|
Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.details
|
|
The Normal and Self-extensional Extension of Dunn–Belnap Logic.Arnon Avron - 2020 - Logica Universalis 14 (3):281-296.details
|
|
Self-extensional three-valued paraconsistent logics have no implications.Arnon Avron & Jean-Yves Beziau - 2016 - Logic Journal of the IGPL 25 (2):183-194.details
|
|
Self-Extensional Three-Valued Paraconsistent Logics.Arnon Avron - 2017 - Logica Universalis 11 (3):297-315.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
|
|
Paraconsistency, self-extensionality, modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.details
|
|
Relevance and paraconsistency—a new approach.Arnon Avron - 1990 - Journal of Symbolic Logic 55 (2):707-732.details
|
|
Rough Sets and 3-Valued Logics.A. Avron & B. Konikowska - 2008 - Studia Logica 90 (1):69-92.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
Multi-valued Semantics: Why and How.Arnon Avron - 2009 - Studia Logica 92 (2):163-182.details
|
|
A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.details
|
|
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|