Orthomodular lattices and quantales (Q2505962): Difference between revisions

@@ Property / cites work @@
+Q4739908
@@ Property / cites work: Q4739908 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and their sheaves
@@ Property / cites work: Quantales and their sheaves / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic as an implication algebra
@@ Property / cites work: Quantum logic as an implication algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5602132
@@ Property / cites work: Q5602132 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of nuclei in orthomodular and quantic lattices
+Normal rank
@@ Property / cites work @@
+Q5717964
@@ Property / cites work: Q5717964 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank