A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |