On derivations of quantales (Q317877): Difference between revisions

@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial quantales
@@ Property / cites work: Spatial quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings of quantales into simple quantales
@@ Property / cites work: Embeddings of quantales into simple quantales / rank @@
+Normal rank
@@ Property / cites work @@
+The quantale of Galois connections
@@ Property / cites work: The quantale of Galois connections / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2935694
@@ Property / cites work: Q2935694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3755607
@@ Property / cites work: Q3755607 / rank @@
+Normal rank
@@ Property / cites work @@
+On derivations of BCI-algebras.
@@ Property / cites work: On derivations of BCI-algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+On derivations of lattices
@@ Property / cites work: On derivations of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q2869486
@@ Property / cites work: Q2869486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4926910
@@ Property / cites work: Q4926910 / rank @@
+Normal rank
@@ Property / cites work @@
+Nuclei and conuclei on residuated lattices
@@ Property / cites work: Nuclei and conuclei on residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The quantic conuclei on quantales
@@ Property / cites work: The quantic conuclei on quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819682
@@ Property / cites work: Q3819682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4311227
@@ Property / cites work: Q4311227 / rank @@
+Normal rank