Effect algebras, presheaves, non-locality and contextuality

DOI10.1016/j.ic.2018.02.012zbMath1396.81013OpenAlexW2795932065MaRDI QIDQ1641007

Sander Uijlen, Sam Staton

Publication date: 14 June 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/193535

zbMATH Keywords

effect algebrasnon-localitypresheavescontextuality

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Quantum coherence, entanglement, quantum correlations (81P40) Contextuality in quantum theory (81P13)

Cites Work

• Monoidal indeterminates and categories of possible worlds
• Effect algebras and unsharp quantum logics.
• Probabilities, distribution monads, and convex categories
• Semantical analysis of specification logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Tensor products of orthoalgebras
• Effect test spaces
• Syntactic control of interference revisited
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• (Almost) \({C}^\ast\)-algebras as sheaves with self-action
• Relational databases and Bell's theorem
• Coreflections in algebraic quantum logic
• Obstructing extensions of the functor Spec to noncommutative rings
• A combinatorial approach to nonlocality and contextuality
• Virtual modeling of residual stress in drawn wire due to the skin pass effect
• Effect Algebras, Presheaves, Non-locality and Contextuality
• Classical BI: Its Semantics and Proof Theory
• On bunched typing
• Nonlocality for two particles without inequalities for almost all entangled states
• Bell’s theorem without inequalities
• The Cohomology of Non-Locality and Contextuality
• The sheaf-theoretic structure of non-locality and contextuality
• Contextuality, Cohomology and Paradox
• Global State Considered Helpful
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Effect algebras, presheaves, non-locality and contextuality