Expansions of dually pseudocomplemented Heyting algebras (Q1680519): Difference between revisions

@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. II
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. I
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. IV
+Normal rank
@@ Property / cites work @@
+The Conrad program: from \(l\)-groups to algebras of logic.
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic polymodal logic: a survey
@@ Property / cites work: Algebraic polymodal logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Heyting Algebras with Operators
@@ Property / cites work: Heyting Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273435
@@ Property / cites work: Q4273435 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+Semisimplicity, EDPC and discriminator varieties of residuated lattices
+Normal rank
@@ Property / cites work @@
+Heyting algebras with dual pseudocomplementation
@@ Property / cites work: Heyting algebras with dual pseudocomplementation / rank @@
+Normal rank
@@ Property / cites work @@
+Semisimple varieties of modal algebras
@@ Property / cites work: Semisimple varieties of modal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
+Normal rank
@@ Property / cites work @@
+Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
+Normal rank
@@ Property / cites work @@
+Discriminator varieties of double-Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank