Principal congruences of double demi-p-lattices (Q914710)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Principal congruences of double demi-p-lattices |
scientific article |
Statements
Principal congruences of double demi-p-lattices (English)
0 references
1990
0 references
A double demi-p-lattice is a bounded distributive lattice L with unary operations *: \(L\to L\), \(+: L\to L\) where * is a demi-pseudocomplement and \(+\) satisfies the dual rules of *. It is shown that double demi-p- lattices satisfy, as a variety, the congruence extension property.
0 references
double demi-p-lattice
0 references
bounded distributive lattice
0 references
demi- pseudocomplement
0 references
congruence extension property
0 references
0 references
