Logical aspects of quantum structures
John Harding, Zhenghan Wang
TL;DR
This paper surveys logical issues in quantum structures, discussing problems like completions, decidability, axiomatizability, and embeddings, highlighting historical context, recent advances, and future directions.
Contribution
It provides a comprehensive overview of logical problems in quantum structures, including recent progress and potential research paths.
Findings
Discussion of decidability and axiomatizability issues
Analysis of embedding problems in quantum logic
Summary of historical and recent developments
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Logic, programming, and type systems