Quantum Logic in Dagger Kernel Categories (Q2825365): Difference between revisions

@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of symmetry actions in quantum mechanics. With an application to the Galilei group
+Normal rank
@@ Property / cites work @@
+Q5448360
@@ Property / cites work: Q5448360 / rank @@
+Normal rank
@@ Property / cites work @@
+The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
+Normal rank
@@ Property / cites work @@
+Q5731806
@@ Property / cites work: Q5731806 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical model for the geometry of interaction
+Normal rank
@@ Property / cites work @@
+Compactly accessible categories and quantum key distribution
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+A Presentation of Quantum Logic Based on an and then Connective
+Normal rank
@@ Property / cites work @@
+AN ALGEBRA OF ADDITIVE RELATIONS
@@ Property / cites work: AN ALGEBRA OF ADDITIVE RELATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+Korrespondenzen in abelschen Kategorien
@@ Property / cites work: Korrespondenzen in abelschen Kategorien / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of nuclei in orthomodular and quantic lattices
+Normal rank
@@ Property / cites work @@
+Q4342443
@@ Property / cites work: Q4342443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank