Quantum logic in dagger kernel categories (Q981683): Difference between revisions

@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ 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 @@
+The theory of symmetry actions in quantum mechanics. With an application to the Galilei group
+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 @@
+Q4159507
@@ Property / cites work: Q4159507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / 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 @@
+Sums and products of interval algebras
@@ Property / cites work: Sums and products of interval algebras / rank @@
+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 @@
+Orthomodularity of decompositions in a categorical setting
+Normal rank
@@ Property / cites work @@
+Compactly accessible categories and quantum key distribution
+Normal rank
@@ Property / cites work @@
+An embedding theorem for Hilbert categories
@@ Property / cites work: An embedding theorem for Hilbert categories / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic in dagger kernel categories
@@ Property / cites work: Quantum logic in dagger kernel categories / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers and orthomodular lattices
@@ Property / cites work: Quantifiers and orthomodular lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803173
@@ Property / cites work: Q3803173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / 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 @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+Korrespondenzen in abelschen Kategorien
@@ Property / cites work: Korrespondenzen in abelschen Kategorien / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411944
@@ Property / cites work: Q3411944 / 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