We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Discrete quantum structures II: Examples.
- Authors
Kornell, Andre
- Abstract
Part I of this paper established the basic properties of quantum predicate logic as the internal logic of discrete quantum structures. We now show that a majority of the established quantum generalizations of discrete structures are naturally axiomatizable within this internal logic. In particular, we axiomatize the quantum graphs of Duan, Severini, and Winter, the quantum metric spaces of Kuperberg and Weaver, the quantum isomorphisms of Atserias, Mancinska, Roberson, Šámal, Severini, and Varvitsiotis, and the quantum groups of Woronowicz. In each instance, we consider only those structures that are discrete in the sense that the underlying von Neumann algebra is hereditarily atomic.
- Subjects
VON Neumann, John, 1903-1957; METRIC spaces; QUANTUM groups; QUANTUM logic; QUANTUM graph theory; PREDICATE (Logic); VON Neumann algebras
- Publication
Journal of Noncommutative Geometry, 2024, Vol 18, Issue 2, p411
- ISSN
1661-6952
- Publication type
Article
- DOI
10.4171/JNCG/533