Implicational classes of De Morgan lattices

DOI10.1016/S0012-365X(99)00007-2zbMath0938.06009MaRDI QIDQ1301839

Alexej P. Pynko

Publication date: 12 September 1999

Published in: Discrete Mathematics (Search for Journal in Brave)

zbMATH Keywords

quasivarietiesaxiomatizationDe Morgan latticesgenerating algebraslattice of implicational classes

Mathematics Subject Classification ID

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

• Unnamed Item
• Definitional equivalence and algebraizability of generalized logical systems
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Characterizing Belnap's Logic via De Morgan's Laws
• On Priest's logic of paradox
• Lattices With Involution

This page was built for publication: Implicational classes of De Morgan lattices