LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
DOI10.1017/S1755020321000277MaRDI QIDQ5099785FDOQ5099785
Authors: Marcelo E. Coniglio, David Fuenmayor, Walter Carnielli 
Publication date: 26 August 2022
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.09522
algebraizable logicslogics of formal inconsistencyparaconsistent logicsneighborhood semanticsnon-normal modal logicBoolean algebras with additional operatorsreplacement propertyfirst-order paraconsistent logics
Modal logic (including the logic of norms) (03B45) Combined logics (03B62) Abstract algebraic logic (03G27)
Cites Work
- Nitpick: a counterexample generator for higher-order logic based on a relational model finder
- Isabelle/HOL. A proof assistant for higher-order logic
- Paraconsistent logic: consistency, contradiction and negation
- Algebraic methods in philosophical logic
- Title not available (Why is that?)
- The Theory of Representation for Boolean Algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nearly every normal modal logic is paranormal
- Introduction to Boolean Algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics of Formal Inconsistency
- Title not available (Why is that?)
- Negation in the context of gaggle theory
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Algebraizable logics
- Title not available (Why is that?)
- Logics preserving degrees of truth from varieties of residuated lattices
- Paraconsistent logic from a modal viewpoint
- Partially Ordered Sets
- Paraconsistency properties in degree-preserving fuzzy logics
- Logics of formal inconsistency arising from systems of fuzzy logic
- Title not available (Why is that?)
- Fibring: Completeness preservation
- Neighborhood semantics for modal logic
- Universal grammar
- Title not available (Why is that?)
- Title not available (Why is that?)
- Splitting logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
- Every quotient algebra for \(C_1\) is trivial
- Self-extensional three-valued paraconsistent logics
- Philosophical problems in logic. Some recent developments
- Paraconsistent algebras
- \(C_ 1\) is not algebraizable
- Paraconsistency and the C-systems of da Costa
- Fragments of the propositional calculus
- A normal logic that is complete for neighborhood frames but not for Kripke frames
- Title not available (Why is that?)
- Title not available (Why is that?)
- Self-extensional three-valued paraconsistent logics have no implication
- Idempotent full paraconsistent negations are not algebraizable
- Title not available (Why is that?)
- Title not available (Why is that?)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Sur Le Schéma de la Séparation
- Paraconsistent set theory by predicating on consistency
- Title not available (Why is that?)
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory
- First-order swap structures semantics for some logics of formal inconsistency
- Title not available (Why is that?)
Cited In (1)
This page was built for publication: LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5099785)
