Paraconsistent logic: consistency, contradiction and negation
From MaRDI portal
Publication:2373949
DOI10.1007/978-3-319-33205-5zbMath1355.03001OpenAlexW2493240959WikidataQ56341527 ScholiaQ56341527MaRDI QIDQ2373949
Marcelo E. Coniglio, Walter Alexandre Carnielli
Publication date: 13 December 2016
Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-33205-5
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Paraconsistent logics (03B53)
Related Items (42)
Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ A lattice of the paracomplete calculi ⋮ A methodological shift in favor of (some) paraconsistency in the sciences ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Society semantics and the logic way to collective intelligence ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ The evidence approach to paraconsistency versus the paraconsistent approach to evidence ⋮ God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ From Inconsistency to Incompatibility ⋮ Conservative translations revisited ⋮ Weakly Free Multialgebras ⋮ Measuring inconsistency in generalized propositional logic ⋮ A Category of Ordered Algebras Equivalent to the Category of Multialgebras ⋮ The consistency of arithmetic ⋮ What is a Paraconsistent Logic? ⋮ Provided You’re not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Pavel Florensky's theory of religious antinomies ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Paraconsistency and the need for infinite semantics ⋮ Swap structures semantics for Ivlev-like modal logics ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ A family of genuine and non-algebraisable C-systems ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ On the system CB1 and a lattice of the paraconsistent calculi ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ On Axioms and Rexpansions ⋮ Credal Calculi, Evidence, and Consistency ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency ⋮ Relevance Domains and the Philosophy of Science
This page was built for publication: Paraconsistent logic: consistency, contradiction and negation
