Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)

DOI10.1007/S11225-022-10000-XOpenAlexW4280560510MaRDI QIDQ2082256

Krzysztof Krawczyk

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-10000-x

zbMATH Keywords

paraconsistencyquasivarietiesstructural completenesspremaximalityR-minglesugihara

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Positive Sugihara monoids
• Deduction theorems for RM and its extensions
• Varieties of De Morgan monoids: minimality and irreducible algebras
• On the lattice of quasivarieties of Sugihara algebras
• A category equivalence for odd Sugihara monoids and its applications
• Sugihara algebras: admissibility algebras via the test spaces method
• Categories of models of \(\mathbf{R}\)-mingle
• Representable idempotent commutative residuated lattices
• Algebraizable logics
• Deduction theorems within RM and its extensions
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
• Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)