The determination of subvarieties of certain congruence-distributive varieties

DOI10.1007/BF01190816zbMath0816.08008OpenAlexW2093425591MaRDI QIDQ1337159

Hilary A. Priestley

Publication date: 20 July 1995

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01190816

zbMATH Keywords

algorithmdualitylattice of subvarietiescongruence distributivityOckham algebrasde Morgan skeletonequational bases for varieties of distributive-lattice-ordered algebras

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Software, source code, etc. for problems pertaining to ordered structures (06-04) Software, source code, etc. for problems pertaining to general algebraic systems (08-04)

Related Items (2)

Natural dualities for varieties of \(n\)-valued Łukasiewicz algebras ⋮ Equational bases for varieties of Ockham algebras

Cites Work

• Ockham algebras with De Morgan skeletons
• Distributive lattices with a dual homomorphic operation
• Equational axioms for classes of Heyting algebras
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Distributive lattices with an additional unary operation
• On the structure of varieties with equationally definable principal congruences. I
• Subvarieties of the class of MS-algebras
• Distributive Lattices with a Dual Endomorphism
• Principal congruences in de Morgan algebras
• Equational bases for subvarieties of double MS-algebras
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Algebras Whose Congruence Lattices are Distributive.
• Equational axioms for classes of lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The determination of subvarieties of certain congruence-distributive varieties