  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.
