Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
type: Item
instance of: scholarly article
title: Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
author: Juan Manuel Ramírez-Contreras
author: Aldo Figallo Orellano
author: Miguel Pérez-Gaspar
published in: Studia Logica
publication date: 2022-10-04T00:00:00Z
review text: This paper introduces \(\mathcal{C}_{k}\)-algebras and two families of logics associated with the class of \(\mathcal{C}_{k}\)-algebras. \(\mathcal{C}_{k}\)-algebras are the class of modal pseudocomplemented De Morgan algebras enriched by a \(k\)-periodic automorphism, which is denoted by \(\lnot_{k}\), where \(k\) is a positive integer. The two families of logics are denoted by \(\mathbb{L}^{\leq}_{k}\) and \(\mathbb{L}_{k}\). The latter consists of 1-assertional logics, while the former is formed by degree-preserving logics. As it is to be expected, \(\mathbb{L}^{\leq}_{k}\) and \(\mathbb{L}_{k}\) share the same set of theorems, but they are distinguished by different properties related to their respective consequence relations. Thus, \(\mathbb{L}^{\leq}_{k}\) is paraconsistent w.r.t. the De Morgan negation \(\sim\) (Lemma 5.3), protoalgebraic and finitely equivalent but not algebraizable (Theorem 5.13). \(\mathbb{L}_{k}\), on its part, is paracomplete (but not paraconsistent) w.r.t. \(\sim\) (Lemma 6.3) and algebraizable (Theorem 6.6). On the other hand, both logics are paraconsistent and paracomplete w.r.t. \(\lnot_{k}\) (Lemmas 5.7, 6.5) and decidable (Theorems 5.15, 6.8). In the conclusions to the paper (Section 7), the authors propose to give syntactic axiomatizations of both \(\mathbb{L}^{\leq}_{k}\) and \(\mathbb{L}_{k}\), as future work.
reviewed by: Gemma Robles
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 06D30
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7595960
zbMATH Keywords: tetravelent modal algebras
zbMATH Keywords: pseudocomplemented De Morgan algebras
zbMATH Keywords: degree-preserving logic
zbMATH Keywords: paraconsistent logic
MaRDI profile type: Publication
full work available at URL: s11225-022-10004-7
OpenAlex ID: W4281652529
cites work: An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
cites work: Q4083730
cites work: Two Genuine 3-Valued Paraconsistent Logics
cites work: Algebraizable logics
cites work: Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
cites work: Q3934450
cites work: On the logic that preserves degrees of truth associated to involutive Stone algebras
cites work: Q4440555
cites work: Paraconsistent logic: consistency, contradiction and negation
cites work: An epistemic approach to paraconsistency: a logic of evidence and truth
cites work: Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
cites work: Q3674731
cites work: Hilbert-style presentations of two logics associated to tetravalent modal algebras
cites work: Weakly algebraizable logics
cites work: Resolution of algebraic systems of equations in the variety of cyclic Post algebras
cites work: Paraconsistency properties in degree-preserving fuzzy logics
cites work: Logics of formal inconsistency based on distributive involutive residuated lattices
cites work: Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
cites work: Symmetric operators on modal pseudocomplemented De Morgan algebras
cites work: On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
cites work: Q4835627
cites work: Q5179121
cites work: Free Modal Pseudocomplemented De Morgan Algebras
cites work: Cn algebras with Moisil possibility operators
cites work: Cut-free sequent calculus and natural deduction for the tetravalent modal logic
cites work: Q3185647
cites work: Q4715441
cites work: An abstract algebraic logic approach to tetravalent modal logics
cites work: Q5411411
cites work: Taking degrees of truth seriously
cites work: On the infinite-valued Łukasiewicz logic that preserves degrees of truth
cites work: Selfextensional logics with a conjunction
cites work: Q3367515
cites work: Q3705494
cites work: A family of genuine and non-algebraisable C-systems
cites work: An algebraic approach to non-classical logics
cites work: Pseudocomplemented Okham and Demorgan Algebras
cites work: Defining LFIs and LFUs in extensions of infectious logics
DOI: 10.1007/S11225-022-10004-7
description: scientific article; zbMATH DE number 7595960