Discrete quantum structures. I: Quantum predicate logic

DOI10.4171/JNCG/531MaRDI QIDQ6203829zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

quantum logicquantum setquantum relationdagger compact category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Discrete quantum structures. II: Examples
• Quantum monadic algebras
• Classical foundations of quantum logic
• Logicoalgebraic structures. I
• Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij

Cites work

• 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?)
• 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
• 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 Morita theory of quantum graph isomorphisms
• The Theory of Positrons
• The logic of quantum mechanics
• 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

Cited in

(6)

• Characterizations of homomorphisms among unital completely positive maps
• Categories of quantum cpos
• Completely hereditarily atomic OMLS
• Monoidal quantaloids
• Discrete quantum structures. II: Examples
• Spans of quantum-inequality projections

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)