×

Holistic and compositional logics based on the Bertini gate. (English) Zbl 1492.81022

Summary: The theory of logical gates in quantum computation has inspired the development of new forms of quantum logic where the meaning of a formula is identified with a density operator and the logical connectives are interpreted as operations defined in terms of quantum gates. We show some relations between the Bertini gate and many valued connectives by probability values. On this basis, one can deal with quantum circuits as expressions in an algebraic environment such as product many valued algebra for combinational circuits. As can be expected, we show that the compositional logic characterized by the qubit semantics is stronger than the compositional Łukasiewicz quantum computational logic by a counterexample. But, in the holistic case, we conjecture that they can characterize the same logic.

MSC:

81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
Full Text: DOI

References:

[1] Aharonov, D. (2003). A simple proof that Tof foli and Hadamard are quantum universal. arXiv:quant-ph/0301040.
[2] Bergfeld, JM; Sack, J., Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs, Soft Computing, 21, 1421-1441 (2017) · Zbl 1387.81146 · doi:10.1007/s00500-015-1802-6
[3] Bertini, C.; Leporini, R., Quantum computational finite-valued logics, International Journal of Quantum Information, 5, 5, 641-665 (2007) · Zbl 1140.81010 · doi:10.1142/S0219749907003109
[4] Bloch, F., Nuclear induction, Physical Review, 70, 7-8, 460-474 (1946) · doi:10.1103/PhysRev.70.460
[5] Cattaneo, G.; Leporati, A.; Leporini, R., Quantum conservative many-valued computing, Fuzzy Sets and Systems, 159, 1001-1030 (2008) · Zbl 1191.68302 · doi:10.1016/j.fss.2007.09.014
[6] Chang, CC, Algebraic analysis of many valued logics, Transactions of the American Mathematical Society, 88, 467 (1958) · Zbl 0084.00704 · doi:10.1090/S0002-9947-1958-0094302-9
[7] Chang, CC, A new proof of the completeness of Łukasiewicz axioms, Transactions of the American Mathematical Society, 93, 74 (1959) · Zbl 0093.01104
[8] Dalla Chiara, ML; Giuntini, R.; Leporini, R., Logics from quantum computation, International Journal of Quantum Information, 3, 293-337 (2005) · Zbl 1075.81015 · doi:10.1142/S0219749905000943
[9] Dalla Chiara, ML; Giuntini, R.; Leporini, R.; Negri, E.; Sergioli, G., Quantum information, cognition, and music, Frontiers in Psychology, 21, 1-13 (2015) · doi:10.3389/fpsyg.2015.01583
[10] Dalla Chiara, ML; Giuntini, R.; Leporini, R.; Sergioli, G., A many-valued approach to quantum computational logics, Fuzzy Sets and Systems (2016) · Zbl 1397.81019 · doi:10.1016/j.fss.2016.12.015
[11] Fredkin, E.; Toffoli, T., Conservative logic, International Journal of Theoretical Physics, 21, 219-253 (1982) · Zbl 0496.94015 · doi:10.1007/BF01857727
[12] Leporini, R.; Bertini, C.; Carone Fabiani, F., Fuzzy representation of finite-valued quantum gates, Soft Computing (2020) · Zbl 1492.81023 · doi:10.1007/s00500-020-04870-3
[13] Petri, C. A. (1965). “Gründsatzliches zur Beschreibung diskreter Prozesse. In Proceedings Third Colloquium über Automatentheorie, Hannover, Birkhäuser Verlag, Basel, 1967, p. 121, English version: Fundamentals of the Representation of Discrete Processes, ISF Report 82.04, 1982 (H. J. Genrich & P. S. Thiagarajan, Trans). · Zbl 0157.33701
[14] Romero, M. E. R., Martins, E. M., & Santos, R. R. (2009). Multiple Valued Logic Algebra for the Synthesis of Digital Circuits. In 39th International Symposium on Multiple-Valued Logic. Naha, Okinawa (pp. 262-267). doi:10.1109/ISMVL.2009.45.
[15] Rad, SR; Shirinkalam, E.; Smets, S., A logical analysis of quantum voting protocols, International Journal of Theoretical Physics, 56, 3991-4003 (2017) · Zbl 1394.81022 · doi:10.1007/s10773-017-3409-4
[16] Zawirski, Z. (1934). Relation of many-valued logic to probability calculus (in Polish, original title: Stosunek logiki wielowarto sciowej do rachunku prawdopodobie nstwa), Prace Komisji Filozoficznej Pozna nskiego Towarzystwa Przyjaciół Nauk 4, 155.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.