(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
From MaRDI portal
Publication:5014788
zbMath1486.03117arXiv1605.06719MaRDI QIDQ5014788
Dusko Pavlovic, Peter-Michael Seidel
Publication date: 8 December 2021
Full work available at URL: https://arxiv.org/abs/1605.06719
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Big toy models. Representing physical systems as Chu spaces
- Effect algebras and unsharp quantum logics.
- Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
- Cartesian bicategories. I
- Coherence for compact closed categories
- Fully abstract models of typed \(\lambda\)-calculi
- Effect test spaces
- Maps. I: Relative to a factorisation system
- The logic of quantum mechanics
- Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
- Dagger Compact Closed Categories and Completely Positive Maps
- Geometry of abstraction in quantum computation
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Classical and quantum structuralism
- The Compositional Structure of Multipartite Quantum Entanglement
- Effect algebras and statistical physical theories
- A Diagrammatic Axiomatisation for Qubit Entanglement
- Compositional Quantum Logic
- A new description of orthogonal bases
- A Bestiary of Sets and Relations
- Categories of relations as models of quantum theory
- Interacting quantum observables: categorical algebra and diagrammatics
- An Approach to Empirical Logic
This page was built for publication: (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
