Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065): Difference between revisions

@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on the Implicational Class Generated by a Class of Structures
+Normal rank
@@ Property / cites work @@
+Q5509710
@@ Property / cites work: Q5509710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+-element matrices
@@ Property / cites work: 2-element matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518356
@@ Property / cites work: Q5518356 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix approach in methodology of sentential calculi
+Normal rank