Logical aspects of quantum structures
arXiv:2108.09819
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.
17 pages that include 3 diagrams