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

quasivarieties; axiomatization; De Morgan lattices; generating algebras; lattice of implicational classes

Mathematics Subject Classification ID

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

• 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