A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0 (Q2931349): Difference between revisions

@@ Property / cites work @@
+Categories of semigroups in quantum computational structures
+Normal rank
@@ Property / cites work @@
+LOGICS FROM QUANTUM COMPUTATION
@@ Property / cites work: LOGICS FROM QUANTUM COMPUTATION / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum computational logic
@@ Property / cites work: Quantum computational logic / rank @@
+Normal rank
@@ Property / cites work @@
+DUALITY OF NORMALLY PRESENTED VARIETIES
@@ Property / cites work: DUALITY OF NORMALLY PRESENTED VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Priestley quasi-orders
@@ Property / cites work: Generalized Priestley quasi-orders / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Priestley duality for distributive lattices
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
+Normal rank
@@ Property / cites work @@
+Normally presented varieties
@@ Property / cites work: Normally presented varieties / rank @@
+Normal rank