Product ?ukasiewicz?Quantum Logic |
| |
Authors: | Cesarino Bertini and Roberto Leporini |
| |
Institution: | (1) Dipartimento di Filosofia, Universit? di Firenze, via Bolognese 52, I-50139 Firenze, Italy;(2) Dipartimento di Scienze Pedagogiche e Filosofiche, Universit? di Cagliari, via Is Mirrionis 1, I-09123 Cagliari, Italy;(3) Dipartimento di Matematica, Statistica, Informatica e Applicazioni, Universit? di Bergamo, via dei Caniana 2, I-24127 Bergamo, Italy |
| |
Abstract: | The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a density operator (called qumix). In this framework, any sentence α of the language gives rise to a quantum circuit that transforms the qumix associated to the atomic subformulas of α into the qumix associated to α. In this paper we enrich the language by adding a new connective which expresses truncated sum. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|