- A family of genuine and non-algebraisable C-systems.Mauricio Osorio, Aldo Figallo-Orellano & Miguel Pérez-Gaspar - 2021 - Journal of Applied Non-Classical Logics 31 (1):56-84.details
|
|
Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.details
|
|
A Syntactic Approach to Meillassoux’s Concept of Hyper-Chaos.Martin Orensanz - 2020 - Open Philosophy 3 (1):119-131.details
|
|
From logics of formal inconsistency to logics of formal classicality.Hitoshi Omori - 2020 - Logic Journal of the IGPL 28 (5):684-711.details
|
|
On Extensions of a System of Paraconsistent Logic PCL1.Hitoshi Omori & Toshiharu Waragai - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):51-68.details
|
|
Remarks on naive set theory based on lp.Hitoshi Omori - 2015 - Review of Symbolic Logic 8 (2):279-295.details
|
|
A Note on Majkić's Systems.Hitoshi Omori & Toshiharu Waragai - 2010 - Notre Dame Journal of Formal Logic 51 (4):503-506.details
|
|
Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2020 - Journal of Philosophical Logic 50 (1):33-56.details
|
|
The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
Is there a zande logic?Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - History and Philosophy of Logic 19 (1):41-54.details
|
|
Anything is possible.Ch Mortensen - 1989 - Erkenntnis 30 (3):319 - 337.details
|
|
Sign, mind, time, space: Contradictory complementary coalescence.Floyd Merrell - 2009 - Semiotica 2009 (177):29-116.details
|
|
Real Analysis in Paraconsistent Logic.Maarten McKubre-Jordens & Zach Weber - 2012 - Journal of Philosophical Logic 41 (5):901-922.details
|
|
The Unexpected Applicability of Paraconsistent Logic: A Chomskyan Route to Dialetheism. [REVIEW]Nicholas D. McGinnis - 2013 - Foundations of Science 18 (4):625-640.details
|
|
Sobre un sistema paraconsistente.Oscar Masaveu - 1997 - Areté. Revista de Filosofía 9 (2):253-269.details
|
|
What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.details
|
|
Searching for Deep Disagreement in Logic: The Case of Dialetheism.Ben Martin - 2019 - Topoi 40 (5):1127-1138.details
|
|
Identifying logical evidence.Ben Martin - 2020 - Synthese 198 (10):9069-9095.details
|
|
Dialetheism and the Impossibility of the World.Ben Martin - 2015 - Australasian Journal of Philosophy 93 (1):61-75.details
|
|
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.details
|
|
Autoreferential semantics for many-valued modal logics.Zoran Majkic - 2008 - Journal of Applied Non-Classical Logics 18 (1):79-125.details
|
|
An adaptive logic for relevant classical deduction.Hans Lycke - 2007 - Journal of Applied Logic 5 (4):602-612.details
|
|
On Theorem Proving in Annotated Logics.Mi Lu & Jinzhao Wu - 2000 - Journal of Applied Non-Classical Logics 10 (2):121-143.details
|
|
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.details
|
|
P1 algebras.Renato A. Lewin, Irene F. Mikenberg & Maria G. Schwarze - 1994 - Studia Logica 53 (1):21 - 28.details
|
|
A formal framework for quantum non-individuality.Décio Krause & Steven French - 1995 - Synthese 102 (1):195 - 214.details
|
|
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.details
|
|
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.details
|
|
Probabilities with Gaps and Gluts.Dominik Klein, Ondrej Majer & Soroush Rafiee Rad - 2021 - Journal of Philosophical Logic 50 (5):1107-1141.details
|
|
Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study. [REVIEW]András Kertész & Csilla Rákosi - 2013 - Journal of Logic, Language and Information 22 (2):195-230.details
|
|
A Quasi-Discursive System $ND_2^+$.Janusz Ciuciura - 2006 - Notre Dame Journal of Formal Logic 47 (3):371-384.details
|
|
Paraconsistent Logical Consequence.Dale Jacquette - 1998 - Journal of Applied Non-Classical Logics 8 (4):337-351.details
|
|
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.details
|
|
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $$mathbf {L3AG}$$ L 3 A G and $$mathbf {L3BG}$$ L 3 B G.Alejandro Hernández-Tello, Miguel Pérez-Gaspar & Verónica Borja Macías - 2021 - Logica Universalis 15 (1):87-121.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
|
|
On Logic in the Law: "Something, but not All".Susan Haack - 2007 - Ratio Juris 20 (1):1-31.details
|
|
Analysing inconsistent first-order knowledgebases.John Grant & Anthony Hunter - 2008 - Artificial Intelligence 172 (8-9):1064-1093.details
|
|
Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.details
|
|
Proof theory and mathematical meaning of paraconsistent C-systems.Paolo Gentilini - 2011 - Journal of Applied Logic 9 (3):171-202.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
|
|
When hyperpropositions meet .André Fuhrmann - 1999 - Journal of Philosophical Logic 28 (6):559 - 574.details
|
|
Solid belief.André Fuhrmann - 1997 - Theoria 63 (1-2):90-104.details
|
|
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework.Paola Forcheri & Paolo Gentilini - 2005 - Journal of Applied Non-Classical Logics 15 (3):285-319.details
|
|
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.details
|
|
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3.Aldo Figallo Orellano, Miguel Pérez-Gaspar & Everardo Bárcenas - forthcoming - Logic and Logical Philosophy:1-18.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
|
|
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.details
|
|
There is More to Negation than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.details
|
|
Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2021 - Logica Universalis 15 (3):271-289.details
|
|