Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.16368 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912911537995776 |
|---|---|
| author | Brunet, Olivier |
| author_facet | Brunet, Olivier |
| contents | In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of model theory in our study. In particular, we show that our formal theory is complete, meaning that it entirely determines the behaviour of quantum systems. Moreover, we provide a characterization of the models of our formal theory, thus providing new insights in the study of hidden variable models of quantum theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_16368 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics Brunet, Olivier Quantum Physics In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of model theory in our study. In particular, we show that our formal theory is complete, meaning that it entirely determines the behaviour of quantum systems. Moreover, we provide a characterization of the models of our formal theory, thus providing new insights in the study of hidden variable models of quantum theory. |
| title | A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2602.16368 |