Weak implicative filters in quasi-ordered residuated systems (Q5027754): Difference between revisions

@@ Property / cites work @@
+Residuated relational systems
@@ Property / cites work: Residuated relational systems / rank @@
+Normal rank
@@ Property / cites work @@
+The origin of relation algebras in the development and axiomatization of the calculus of relations
+Normal rank
@@ Property / cites work @@
+Q4998568
@@ Property / cites work: Q4998568 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative filters in quasi-ordered residuated systems
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank