Discrete quantum structures. I: Quantum predicate logic
From MaRDI portal
Publication:6203829
DOI10.4171/JNCG/531OpenAlexW4387325020MaRDI QIDQ6203829FDOQ6203829
Authors: Andre Kornell 
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) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Cites Work
- On the quantum chromatic number of a graph
- Quantum homomorphisms
- Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
- Title not available (Why is that?)
- Quantum symmetry groups of finite spaces
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- The logic of quantum mechanics
- Categorical quantum mechanics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantum relations
- A topos for algebraic quantum theory
- Quantum automorphism groups of homogeneous graphs
- Quantum automorphism groups of finite graphs
- Title not available (Why is that?)
- Quantum deformation of Lorentz group
- The Theory of Positrons
- Mathematical quantization
- Title not available (Why is that?)
- Bohrification of operator algebras and quantum logic
- Symmetric Quantum Sets and L-Algebras
- Material implications in orthomodular (and Boolean) lattices
- Discrete quantum groups
- C* -Algèbres de Hopf et C* -Algèbres de Kac
- Title not available (Why is that?)
- On deciding the existence of perfect entangled strategies for nonlocal games
- Orthomodularity in infinite dimensions; a theorem of M. Solèr
- Categorical formulation of finite-dimensional quantum algebras
- Title not available (Why is that?)
- A von Neumann algebra approach to quantum metrics
- Estimating quantum chromatic numbers
- Quantum logic as an implication algebra
- Foundations for Quantum Mechanics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantum sets
- Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics
- A category of quantum posets
- The Morita theory of quantum graph isomorphisms
- Quantum and non-signalling graph isomorphisms
- A compositional approach to quantum functions
- Bigalois extensions and the graph isomorphism game
- Nonlocal games and quantum permutation groups
- Über deduktive Theorien mit mehreren Sorten von Grunddingen
- HEREDITARILY ANTISYMMETRIC OPERATOR ALGEBRAS
Cited In (1)
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)
