Girard couples of quantales (Q969691): Difference between revisions

@@ Property / DOI @@
-.1007/s10485-008-9138-3
@@ Property / DOI: 10.1007/s10485-008-9138-3 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.0853
@@ Property / arXiv ID: 0803.0853 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342439
@@ Property / cites work: Q4342439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3519055
@@ Property / cites work: Q3519055 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / rank @@
+Normal rank
@@ Property / cites work @@
+Q4359479
@@ Property / cites work: Q4359479 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and Categorical Aspects of Quantales
@@ Property / cites work: Algebraic and Categorical Aspects of Quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137162
@@ Property / cites work: Q3137162 / rank @@
+Normal rank
@@ Property / cites work @@
+On the quantisation of points
@@ Property / cites work: On the quantisation of points / rank @@
+Normal rank
@@ Property / cites work @@
+A common abstraction of MV-algebras and abelian \(l\)-groups
+Normal rank
@@ Property / cites work @@
+Q4229134
@@ Property / cites work: Q4229134 / rank @@
+Normal rank
@@ Property / cites work @@
+Von Neumann algebras and Hilbert quantales
@@ Property / cites work: Von Neumann algebras and Hilbert quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Simple involutive quantales
@@ Property / cites work: Simple involutive quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Tight Galois Connections and Complete Distributivity
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10485-008-9138-3
@@ Property / DOI: 10.1007/S10485-008-9138-3 / rank @@
+Normal rank