A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |