- Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures.Marcelo E. Coniglio - forthcoming - Studia Logica:1-70.details
|
|
Categoricity Problem for LP and K3.Selcuk Kaan Tabakci - forthcoming - Studia Logica:1-35.details
|
|
Paraconsistency.Rafael R. Testa - 2022 - In James M. Mattingly (ed.), The SAGE Encyclopedia of Theory in Science, Technology, Engineering, and Mathematics. SAGE Publications. pp. 629-632.details
|
|
Analytic Philosophy in Latin America (2nd edition).Diana I. Pérez & Santiago Echeverri - 2023 - Stanford Encyclopedia of Philosophy.details
|
|
On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth.Abilio Rodrigues & Walter Carnielli - forthcoming - Logic and Logical Philosophy:1-26.details
|
|
Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives.Walter A. Carnielli & Rafael Testa - 2020 - 18th International Workshop on Nonmonotonic Reasoning.details
|
|
Purism: Logic as the Basis of Morality.* Primus - 2021 - Essays in the Philosophy of Humanism 29:1-36.details
|
|
Purism: The Inconceivability of Inconsistency within Space as the Basis of Logic.* Primus - 2019 - Dialogue 62 (1):1-24.details
|
|
Problems for the Argument from Logic: a Response to the Lord of Non-Contradiction.Alex Malpass - 2020 - Sophia 60 (2):239-253.details
|
|
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B.Alejandro Hernández-Tello, Verónica Borja-Macı́as & Marcelo E. Coniglio - 2020 - LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.details
|
|
First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.details
|
|
Truth diagrams for some non-classical and modal logics.Can Başkent - forthcoming - Journal of Applied Non-Classical Logics:1-34.details
|
|
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator.Victoria Arce Pistone & Martín Figallo - forthcoming - Studia Logica:1-38.details
|
|
Weakly Free Multialgebras.Marcelo Esteban Coniglio & Guilherme Vicentin de Toledo - 2022 - Bulletin of the Section of Logic 51 (1):109-141.details
|
|
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
|
|
The evidence approach to paraconsistency versus the paraconsistent approach to evidence.Jonas Rafael Becker Arenhart - 2020 - Synthese 198 (12):11537-11559.details
|
|
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$.Marcelo E. Coniglio - forthcoming - Studia Logica:1-52.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 recent applications of paraconsistent logic: an exploratory literature review.A. Zamansky - 2019 - Journal of Applied Non-Classical Logics 29 (4):382-391.details
|
|
Negation and infinity.Kazimierz Trzęsicki - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):131-148.details
|
|
Tableau method of proof for Peirce’s three-valued propositional logic.José Renato Salatiel - forthcoming - Filosofia Unisinos:1-10.details
|
|
Against a Metaphysical Understanding of Rejection.Mariela Rubin & Ariel Roffé - 2018 - Principia: An International Journal of Epistemology 22 (1):189-202.details
|
|
First-order Logics of Evidence and Truth with Constant and Variable Domains.Abilio Rodrigues & Henrique Antunes - 2022 - Logica Universalis 16 (3):419-449.details
|
|
Two Decision Procedures for da Costa’s $$C_n$$ C n Logics Based on Restricted Nmatrix Semantics.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Studia Logica 110 (3):601-642.details
|
|
Conservative Translations Revisited.J. Ramos, J. Rasga & C. Sernadas - 2023 - Journal of Philosophical Logic 52 (3):889-913.details
|
|
Paraconsistencia pura.Bruno Da Ré - 2019 - Revista de Humanidades de Valparaíso 13:90-101.details
|
|
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.details
|
|
A postulate-driven study of logical argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2023 - Artificial Intelligence 322 (C):103966.details
|
|
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.details
|
|
Metainferential Paraconsistency.Bruno Da Ré, Mariela Rubin & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1-26.details
|
|
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness.Marcelo E. Coniglio, G. T. Gomez–Pereira & Martín Figallo - forthcoming - Studia Logica:1-42.details
|
|
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.Marcelo E. Coniglio & Abilio Rodrigues - 2024 - Studia Logica 112 (3):561-606.details
|
|
A Category of Ordered Algebras Equivalent to the Category of Multialgebras.Marcelo Esteban Coniglio & Guilherme V. Toledo - 2023 - Bulletin of the Section of Logic 52 (4):517-550.details
|
|
God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology.Safaruk Zaman Chowdhury - 2020 - History and Philosophy of Logic 42 (1):17-43.details
|
|
On Existence, Inconsistency, and Indispensability.Henrique Antunes - 2018 - Principia: An International Journal of Epistemology 22 (1):07-34.details
|
|