A Rule-Based Logic for Quantum Information
| dc.creator | Brunet, Olivier | |
| dc.date | 2005-04-06 | |
| dc.date.accessioned | 2026-07-07T03:22:48Z | |
| dc.date.available | 2026-07-07T03:22:48Z | |
| dc.description | In the present article, we explore a new approach for the study of orthomodular lattices, where we replace the problematic conjunction by a binary operator, called the Sasaki projection. We present a characterization of orthomodular lattices based on the use of an algebraic version of the Sasaki projection operator (together with orthocomplementation) rather than on the conjunction. We then define of a new logic, which we call Sasaki Orthologic, which is closely related to quantum logic, and provide a rule-based definition of this logic. | |
| dc.identifier | https://arxiv.org/abs/cs/0504018 | |
| dc.identifier | http://arxiv.org/abs/cs/0504018 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/32695 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Quantum Physics | |
| dc.title | A Rule-Based Logic for Quantum Information | |
| dc.type | text |