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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00403339
+Normal rank
@@ Property / OpenAlex ID @@
+W161795538
@@ Property / OpenAlex ID: W161795538 / rank @@
+Normal rank