Discrete quantum structures. I: Quantum predicate logic
From MaRDI portal
Publication:6203829
DOI10.4171/jncg/531OpenAlexW4387325020MaRDI QIDQ6203829
Publication date: 8 April 2024
Published in: Journal of Noncommutative Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4171/jncg/531
Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantum homomorphisms
- Bohrification of operator algebras and quantum logic
- Categorical formulation of finite-dimensional quantum algebras
- Quantum deformation of Lorentz group
- On the quantum chromatic number of a graph
- A topos for algebraic quantum theory
- Material implications in orthomodular (and Boolean) lattices
- Quantum symmetry groups of finite spaces
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- The Morita theory of quantum graph isomorphisms
- Discrete quantum groups
- A category of quantum posets
- Bigalois extensions and the graph isomorphism game
- Nonlocal games and quantum permutation groups
- Quantum and non-signalling graph isomorphisms
- Quantum automorphism groups of homogeneous graphs
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- The logic of quantum mechanics
- Über deduktive Theorien mit mehreren Sorten von Grunddingen
- Deciding the existence of perfect entangled strategies for nonlocal games
- Categorical quantum mechanics
- Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
- C* -Algèbres de Hopf et C* -Algèbres de Kac
- A compositional approach to quantum functions
- Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics
- Quantum automorphism groups of finite graphs
- Orthomodularity in infinite dimensions; a theorem of M. Solèr
- HEREDITARILY ANTISYMMETRIC OPERATOR ALGEBRAS
- Symmetric Quantum Sets and L-Algebras
- Quantum sets
- Quantum logic as an implication algebra
- Foundations for Quantum Mechanics
- The Theory of Positrons
- A von Neumann Algebra Approach to Quantum Metrics/Quantum Relations
- A von Neumann Algebra Approach to Quantum Metrics/Quantum Relations
- Estimating quantum chromatic numbers
