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

@@ Property / DOI @@
-.1007/s11225-017-9712-5
@@ Property / DOI: 10.1007/s11225-017-9712-5 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-017-9712-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2588857390
@@ Property / OpenAlex ID: W2588857390 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11225-017-9712-5
@@ Property / DOI: 10.1007/S11225-017-9712-5 / rank @@
+Normal rank