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)
Logical aspects of lattices and related structures (03G10) Quasivarieties (08C15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (15)
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Reductio ad contradictionem: an algebraic perspective ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions ⋮ Admissibility in De Morgan algebras ⋮ An infinity of super-Belnap logics ⋮ An algebraic view of super-Belnap logics ⋮ The B4-valued propositional Belnap-Dunn logic1 ⋮ Endomorphisms of finite regular Kleene lattices ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ Four-valued logics of truth, nonfalsity, exact truth, and material equivalence ⋮ A non-finitely based quasi-variety of De Morgan algebras ⋮ Subquasivarieties of implicative locally-finite quasivarieties ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Admissibility via natural dualities
Cites Work
This page was built for publication: Implicational classes of De Morgan lattices