The determination of subvarieties of certain congruence-distributive varieties

DOI10.1007/BF01190816zbMATH Open0816.08008OpenAlexW2093425591MaRDI QIDQ1337159FDOQ1337159

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)

Cites Work

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

Cited In (3)

• Equational bases for varieties of Ockham algebras
• Natural dualities for varieties of \(n\)-valued Łukasiewicz algebras
• An approach to tame congruence theory via subtraces

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView 👍 👎
• Applying relation algebra and RelView to solve problems on orders and lattices 👍 👎
• On congruence n-distributivity of ordered algebras 👍 👎
• Definable principal congruences in congruence distributive varieties 👍 👎
• Nondefinability of projectivity in lattice varieties 👍 👎
• Ockham Algebras with Additional Operators 👍 👎
• Ockham Algebras—An Urquhart Legacy 👍 👎
• Equational bases for varieties of Ockham algebras 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337159)