A many-valued approach to quantum computational logics

作者：Dalla Chiara M L; Giuntini R; Sergioli G; Leporini R^*

来源：Fuzzy Sets and Systems, 2018, 335: 94-111.

DOI：10.1016/j.fss.2016.12.015

• Quantum logics
• Quantum tomography
• Logical gates

Quantum computational logics are special examples of quantum logic where formulas are supposed to denote pieces of quantum information (qubit-systems or mixtures of qubit-systems), while logical connectives are interpreted as reversible quantum logical gates. Hence, any formula of the quantum computational language represents a synthetic logical description of a quantum circuit. We investigate a many-valued approach to quantum information, where the basic notion of qubithas been replaced by the more general notion of qudit. The qudit-semantics allows us to represent as reversible gates some basic logical operations of Lukasiewicz many-valued logics. In the final part of the article we discuss some problems that concern possible implementations of gates by means of optical devices.

• 出版日期2018-3-15