Implicational classes of De Morgan lattices
From MaRDI portal
Publication:1301839
DOI10.1016/S0012-365X(99)00007-2zbMath0938.06009MaRDI QIDQ1301839
Publication date: 12 September 1999
Published in: Discrete Mathematics (Search for Journal in Brave)
quasivarieties; axiomatization; De Morgan lattices; generating algebras; lattice of implicational classes
03G10: Logical aspects of lattices and related structures
08C15: Quasivarieties
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
Related Items
An infinity of super-Belnap logics, THE LATTICE OF SUPER-BELNAP LOGICS, Reductio ad contradictionem: an algebraic perspective, Endomorphisms of finite regular Kleene lattices, On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions, An algebraic view of super-Belnap logics, The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\), A non-finitely based quasi-variety of De Morgan algebras, Four-valued logics of truth, nonfalsity, exact truth, and material equivalence, Representation of De Morgan and (semi-)Kleene lattices, Compatibly involutive residuated lattices and the Nelson identity, Admissibility via natural dualities, Admissibility in De Morgan algebras, The B4-valued propositional Belnap-Dunn logic1, Subquasivarieties of implicative locally-finite quasivarieties
Cites Work