Axiomatizing logics closely related to varieties (Q1189901): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. I
+Normal rank
@@ Property / cites work @@
+Joins and Direct Products of Equational Classes
@@ Property / cites work: Joins and Direct Products of Equational Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of the De Morgan type rules
@@ Property / cites work: Axiomatization of the De Morgan type rules / rank @@
+Normal rank
@@ Property / cites work @@
+On a fragment of the implicative propositional calculus
+Normal rank
@@ Property / cites work @@
+Q3760525
@@ Property / cites work: Q3760525 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of semigroup consequences
@@ Property / cites work: Axiomatization of semigroup consequences / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly finitely based equational theories
@@ Property / cites work: Strongly finitely based equational theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5508275
@@ Property / cites work: Q5508275 / rank @@
+Normal rank