LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
DOI10.1017/S1755020321000277MaRDI QIDQ5099785
Marcelo E. Coniglio, David Fuenmayor, Walter Alexandre 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 logicsneighborhood semanticslogics of formal inconsistencyparaconsistent logicsnon-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)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Paraconsistency properties in degree-preserving fuzzy logics
- Every quotient algebra for \(C_1\) is trivial
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
- Negation in the context of gaggle theory
- Paraconsistent algebras
- \(C_ 1\) is not algebraizable
- Paraconsistency and the C-systems of da Costa
- Isabelle/HOL. A proof assistant for higher-order logic
- Self-extensional three-valued paraconsistent logics
- Paraconsistent logic from a modal viewpoint
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Paraconsistent logic: consistency, contradiction and negation
- Neighborhood semantics for modal logic
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Philosophical problems in logic. Some recent developments
- Fibring: completeness preservation
- Paraconsistent set theory by predicating on consistency
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
- Introduction to Boolean Algebras
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Algebraizable logics
- A normal logic that is complete for neighborhood frames but not for Kripke frames
- Self-extensional three-valued paraconsistent logics have no implication
- Logics of formal inconsistency arising from systems of fuzzy logic
- Logics of Formal Inconsistency
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory
- First-order swap structures semantics for some logics of formal inconsistency
- Sur Le Schéma de la Séparation
- Universal grammar
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
- The Theory of Representation for Boolean Algebras
- Partially Ordered Sets
- Fragments of the propositional calculus
- Idempotent full paraconsistent negations are not algebraizable
This page was built for publication: LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
