On the structure of varieties with equationally definable principal congruences. I (Q1839272): Difference between revisions

@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for classes of Heyting algebras
@@ Property / cites work: Equational axioms for classes of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+Normal rank
@@ Property / cites work @@
+Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
+Normal rank
@@ Property / cites work @@
+Distributive lattices with an additional unary operation
+Normal rank
@@ Property / cites work @@
+On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
+Normal rank
@@ Property / cites work @@
+The lattice of modal logics: an algebraic investigation
+Normal rank
@@ Property / cites work @@
+Q4137166
@@ Property / cites work: Q4137166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational compactness in quasi-primal varieties
@@ Property / cites work: Equational compactness in quasi-primal varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf Constructions and Their Elementary Properties
+Normal rank
@@ Property / cites work @@
+Q5519895
@@ Property / cites work: Q5519895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156826
@@ Property / cites work: Q4156826 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform congruence schemes
@@ Property / cites work: Uniform congruence schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between congruence-lattices and polynomial properties
+Normal rank
@@ Property / cites work @@
+Q4177625
@@ Property / cites work: Q4177625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal Congruences of p-Algebras and Double p-Algebras
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of distributive double p-algebras. Regularity and congruences
+Normal rank
@@ Property / cites work @@
+Endomorphism semigroups of Brouwerian semilattices
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+Principal Congruences of Pseudocomplemented Distributive Lattices
+Normal rank
@@ Property / cites work @@
+The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
+Normal rank
@@ Property / cites work @@
+Equational Classes of Distributive Pseudo-Complemented Lattices
+Normal rank
@@ Property / cites work @@
+Q3230356
@@ Property / cites work: Q3230356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5659618
@@ Property / cites work: Q5659618 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
+Normal rank
@@ Property / cites work @@
+Equational Bases and Nonmodular Lattice Varieties
@@ Property / cites work: Equational Bases and Nonmodular Lattice Varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean lattices
@@ Property / cites work: Semi-Boolean lattices / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Der Verband der normalen verzweigten Modallogiken
@@ Property / cites work: Der Verband der normalen verzweigten Modallogiken / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3861449
@@ Property / cites work: Q3861449 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic diagonalizable algebras
@@ Property / cites work: Intuitionistic diagonalizable algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank