Discrete quantum structures. I: Quantum predicate logic
Summary: A discrete quantum structure is a discrete quantum space that is equipped with relations and functions of various finite arities. Discrete quantum spaces are identified with hereditarily atomic von Neumann algebras, their relations with projection operators, and their functions with unital normal \(\ast\)-homomorphisms. The propositional quantum logic of Birkhoff and von Neumann has been extended to a predicate quantum logic by Weaver; we investigate this predicate quantum logic as the internal logic of discrete quantum structures. We extend this predicate quantum logic to include function symbols and an equality symbol. Overall, we recover the basic structures of discrete quantum mathematics from physical first principles. More complicated structures will be recovered similarly in part II of this paper.
- A category of quantum posets
- A compositional approach to quantum functions
- A topos for algebraic quantum theory
- A von Neumann algebra approach to quantum metrics
- Bigalois extensions and the graph isomorphism game
- Bohrification of operator algebras and quantum logic
- C* -Algèbres de Hopf et C* -Algèbres de Kac
- Categorical formulation of finite-dimensional quantum algebras
- Categorical quantum mechanics
- Discrete quantum groups
- Estimating quantum chromatic numbers
- Foundations for Quantum Mechanics
- HEREDITARILY ANTISYMMETRIC OPERATOR ALGEBRAS
- scientific article; zbMATH DE number 3810280 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 3233192 (Why is no real title available?)
- scientific article; zbMATH DE number 3233193 (Why is no real title available?)
- scientific article; zbMATH DE number 3248454 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- scientific article; zbMATH DE number 3344105 (Why is no real title available?)
- scientific article; zbMATH DE number 3378008 (Why is no real title available?)
- scientific article; zbMATH DE number 3088093 (Why is no real title available?)
- scientific article; zbMATH DE number 3097323 (Why is no real title available?)
- Material implications in orthomodular (and Boolean) lattices
- Mathematical quantization
- Nonlocal games and quantum permutation groups
- On deciding the existence of perfect entangled strategies for nonlocal games
- On the quantum chromatic number of a graph
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- Orthomodularity in infinite dimensions; a theorem of M. Solèr
- Quantum and non-signalling graph isomorphisms
- Quantum automorphism groups of finite graphs
- Quantum automorphism groups of homogeneous graphs
- Quantum deformation of Lorentz group
- Quantum homomorphisms
- Quantum logic as an implication algebra
- Quantum relations
- Quantum sets
- Quantum symmetry groups of finite spaces
- Symmetric quantum sets and L-algebras
- The logic of quantum mechanics
- The Morita theory of quantum graph isomorphisms
- The Theory of Positrons
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics
- Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
- Über deduktive Theorien mit mehreren Sorten von Grunddingen
This page was built for publication: Discrete quantum structures. I: Quantum predicate logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203829)
