Logical aspects of quantum structures
From MaRDI portal
Publication:6375784
Authors: John Harding, Zhenghan Wang 
Publication date: 22 August 2021
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.
Decidability of theories and sets of sentences (03B25) Complete lattices, completions (06B23) General theory of von Neumann algebras (46L10) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Partial algebras (08A55) Word problems (aspects of algebraic structures) (08A50) Complemented modular lattices, continuous geometries (06C20)
This page was built for publication: Logical aspects of quantum structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6375784)
