Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
From MaRDI portal
Publication:2082260
DOI10.1007/s11225-022-10004-7OpenAlexW4281652529MaRDI QIDQ2082260
Juan Manuel Ramírez-Contreras, Aldo Figallo Orellano, Miguel Pérez-Gaspar
Publication date: 4 October 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-10004-7
paraconsistent logicpseudocomplemented De Morgan algebrasdegree-preserving logictetravelent modal algebras
Modal logic (including the logic of norms) (03B45) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Paraconsistent logics (03B53)
Related Items
Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
Cites Work
- 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
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
- Selfextensional logics with a conjunction
- Taking degrees of truth seriously
- An algebraic approach to non-classical logics
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
- Paraconsistent logic: consistency, contradiction and negation
- Logics of formal inconsistency based on distributive involutive residuated lattices
- On the logic that preserves degrees of truth associated to involutive Stone algebras
- Cn algebras with Moisil possibility operators
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Pseudocomplemented Okham and Demorgan Algebras
- Algebraizable logics
- An abstract algebraic logic approach to tetravalent modal logics
- Weakly algebraizable logics
- Free Modal Pseudocomplemented De Morgan Algebras
- Defining LFIs and LFUs in extensions of infectious logics
- Symmetric operators on modal pseudocomplemented De Morgan algebras
- A family of genuine and non-algebraisable C-systems
- Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
- Two Genuine 3-Valued Paraconsistent Logics
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
