Logical aspects of quantum structures
Quantum Physics
2021-08-24 v1 Logic
Operator Algebras
Abstract
We survey several problems related to logical aspects of quantum structures. In particular, we consider problems related to completions, decidability and axiomatizability, and embedding problems. The historical development is described, as well as recent progress and some suggested paths forward.
Cite
@article{arxiv.2108.09819,
title = {Logical aspects of quantum structures},
author = {John Harding and Zhenghan Wang},
journal= {arXiv preprint arXiv:2108.09819},
year = {2021}
}
Comments
17 pages that include 3 diagrams