Bohrification of operator algebras and quantum logic (Q383005): Difference between revisions

@@ Property / OpenAlex ID @@
+W3105332920
@@ Property / OpenAlex ID: W3105332920 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2275
@@ Property / arXiv ID: 0905.2275 / rank @@
+Normal rank
@@ Property / cites work @@
+A globalisation of the Gelfand duality theorem
@@ Property / cites work: A globalisation of the Gelfand duality theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3069694
@@ Property / cites work: Q3069694 / rank @@
+Normal rank
@@ Property / cites work @@
+Injective Hulls of Semilattices
@@ Property / cites work: Injective Hulls of Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
+Normal rank
@@ Property / cites work @@
+Intuitionistic quantum logic of an \(n\)-level system
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+Quantum logic in intuitionistic perspective
@@ Property / cites work: Quantum logic in intuitionistic perspective / rank @@
+Normal rank
@@ Property / cites work @@
+About Stone's notion of spectrum
@@ Property / cites work: About Stone's notion of spectrum / rank @@
+Normal rank
@@ Property / cites work @@
+Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
+Normal rank
@@ Property / cites work @@
+Constructive Gelfand duality for C*-algebras
@@ Property / cites work: Constructive Gelfand duality for C*-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Integrals and valuations
@@ Property / cites work: Integrals and valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Abelian strict approximation in $AW^*$-algebras and Weyl-von Neumann type theorems
+Normal rank
@@ Property / cites work @@
+Kochen-Specker theorem for von Neumann algebras
@@ Property / cites work: Kochen-Specker theorem for von Neumann algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of quantum logic
@@ Property / cites work: On the structure of quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic. Rev. ed
@@ Property / cites work: Topoi. The categorial analysis of logic. Rev. ed / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Stone representation for orthomodular lattices
+Normal rank
@@ Property / cites work @@
+Q4891080
@@ Property / cites work: Q4891080 / rank @@
+Normal rank
@@ Property / cites work @@
+A topos for algebraic quantum theory
@@ Property / cites work: A topos for algebraic quantum theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / 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 @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5562323
@@ Property / cites work: Q5562323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536167
@@ Property / cites work: Q5536167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+On state spaces and property lattices
@@ Property / cites work: On state spaces and property lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic in algebraic approach
@@ Property / cites work: Quantum logic in algebraic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Banach algebras with an adjoint operation
@@ Property / cites work: Banach algebras with an adjoint operation / rank @@
+Normal rank
@@ Property / cites work @@
+\(C^*\)-algebras which are Grothendieck spaces
@@ Property / cites work: \(C^*\)-algebras which are Grothendieck spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624220
@@ Property / cites work: Q5624220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310892
@@ Property / cites work: Q5310892 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Logic, Realism, and Value Definiteness
@@ Property / cites work: Quantum Logic, Realism, and Value Definiteness / rank @@
+Normal rank
@@ Property / cites work @@
+The canonical topology on a meet-semilattice
@@ Property / cites work: The canonical topology on a meet-semilattice / rank @@
+Normal rank
@@ Property / cites work @@
+Q5427872
@@ Property / cites work: Q5427872 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of operator algebras. II
@@ Property / cites work: Theory of operator algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of operator algebras. III
@@ Property / cites work: Theory of operator algebras. III / rank @@
+Normal rank