LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
From MaRDI portal
Publication:5099785
Recommendations
- First-order swap structures semantics for some logics of formal inconsistency
- Logics of formal inconsistency based on distributive involutive residuated lattices
- Paraconsistent algebras
- On the propagation of consistency in some systems of paraconsistent logic
- Paraconsistency, self-extensionality, modality
Cites work
- \(C_ 1\) is not algebraizable
- A normal logic that is complete for neighborhood frames but not for Kripke frames
- Algebraic methods in philosophical logic
- Algebraizable logics
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Every quotient algebra for \(C_1\) is trivial
- Fibring: Completeness preservation
- First-order swap structures semantics for some logics of formal inconsistency
- Fragments of the propositional calculus
- scientific article; zbMATH DE number 2184445 (Why is no real title available?)
- scientific article; zbMATH DE number 4016857 (Why is no real title available?)
- scientific article; zbMATH DE number 4132131 (Why is no real title available?)
- scientific article; zbMATH DE number 4132132 (Why is no real title available?)
- scientific article; zbMATH DE number 432737 (Why is no real title available?)
- scientific article; zbMATH DE number 3884136 (Why is no real title available?)
- scientific article; zbMATH DE number 4033699 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3771571 (Why is no real title available?)
- scientific article; zbMATH DE number 150213 (Why is no real title available?)
- scientific article; zbMATH DE number 551010 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 2020147 (Why is no real title available?)
- scientific article; zbMATH DE number 6863636 (Why is no real title available?)
- scientific article; zbMATH DE number 1361518 (Why is no real title available?)
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- scientific article; zbMATH DE number 3217015 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- scientific article; zbMATH DE number 3045411 (Why is no real title available?)
- Idempotent full paraconsistent negations are not algebraizable
- Introduction to Boolean Algebras
- Isabelle/HOL. A proof assistant for higher-order logic
- Logics of formal inconsistency
- Logics of formal inconsistency arising from systems of fuzzy logic
- Logics preserving degrees of truth from varieties of residuated lattices
- Modal logic S4 as a paraconsistent logic with a topological semantics
- Nearly every normal modal logic is paranormal
- Negation in the context of gaggle theory
- Neighborhood semantics for modal logic
- Nitpick: a counterexample generator for higher-order logic based on a relational model finder
- On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
- Paraconsistency and the C-systems of da Costa
- Paraconsistency properties in degree-preserving fuzzy logics
- Paraconsistent algebras
- Paraconsistent logic from a modal viewpoint
- Paraconsistent logic: consistency, contradiction and negation
- Paraconsistent set theory by predicating on consistency
- Partially Ordered Sets
- Philosophical problems in logic. Some recent developments
- Self-extensional three-valued paraconsistent logics
- Self-extensional three-valued paraconsistent logics have no implication
- Splitting logics
- Sur Le Schéma de la Séparation
- The Theory of Representation for Boolean Algebras
- Twist-valued models for three-valued paraconsistent set theory
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Universal grammar
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
Cited in
(7)- Logics of formal inconsistency based on distributive involutive residuated lattices
- First-order swap structures semantics for some logics of formal inconsistency
- Logical multilateralism
- Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
- New paraconsistent modal logics based on rough modus ponens rules and their interrelations
- Semantical investigations on non-classical logics with recovery operators: negation
- Where the truth lies: a paraconsistent approach to Bayesian epistemology
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)
