{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:04:18Z","timestamp":1760234658088,"version":"build-2065373602"},"reference-count":19,"publisher":"MDPI AG","issue":"6","license":[{"start":{"date-parts":[[2021,6,10]],"date-time":"2021-06-10T00:00:00Z","timestamp":1623283200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Entropy"],"abstract":"<jats:p>We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to the atomic subformulas in a reversible way. The procedure goes from the whole to the parts against the compositionality-principle and gives rise to a semantic characterization for a new form of quantum logic that has been called \u201c\u0141ukasiewicz quantum computational logic\u201d. It is interesting to compare the logic based on qubit-semantics with that on qudit-semantics. Having in mind the relationships between classical logic and \u0141ukasiewicz-many valued logics, one could expect that the former is stronger than the fragment of the latter. However, this is not the case. From an intuitive point of view, this can be explained by recalling that the former is a very weak form of logic. Many important logical arguments, which are valid either in Birkhoff and von Neumann\u2019s quantum logic or in classical logic, are generally violated.<\/jats:p>","DOI":"10.3390\/e23060735","type":"journal-article","created":{"date-parts":[[2021,6,10]],"date-time":"2021-06-10T13:31:39Z","timestamp":1623331899000},"page":"735","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics"],"prefix":"10.3390","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7340-6384","authenticated-orcid":false,"given":"Roberto","family":"Leporini","sequence":"first","affiliation":[{"name":"Department of Economics, University of Bergamo, Via dei Caniana, 2, I-24127 Bergamo, Italy"}]}],"member":"1968","published-online":{"date-parts":[[2021,6,10]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1142\/S0219749905000943","article-title":"Logics from quantum computation","volume":"3","author":"Giuntini","year":"2005","journal-title":"Int. J. Quantum Inf."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M.L., Giuntini, R., and Greechie, R. (2004). Reasoning in Quantum Theory, Springer. Trends in Logic Volume 22.","DOI":"10.1007\/978-94-017-0526-4"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1142\/S0219749907003109","article-title":"Quantum computational finite-valued logics","volume":"5","author":"Bertini","year":"2007","journal-title":"Int. J. Quantum Inf."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Leporini, R. (2020). Holistic and Compositional Logics Based on the Bertini Gate. Found. Sci.","DOI":"10.1007\/s10699-020-09703-y"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"D\u2019Ariano, G.M., Chiribella, G., and Perinotti, P. (2017). Quantum Theory from First Principles, Cambridge University Press.","DOI":"10.1017\/9781107338340"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M.L., Giuntini, R., Leporini, R., and Sergioli, G. (2018). Quantum Computation and Logic, Springer. Trends in Logic Volume 48.","DOI":"10.1007\/978-3-030-04471-8"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Heinosaari, T., and Ziman, M. (2012). The Mathematical Language of Quantum Theory: From Uncertainty to Entanglement, Cambridge University Press.","DOI":"10.1017\/CBO9781139031103"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Kitaev, A.Y., Shen, A.H., and Vyalyi, M.N. (2002). Classical and Quantum Computation, American Mathematical Society Providence. Graduate Studies in Mathematics Volume 47.","DOI":"10.1090\/gsm\/047"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Pykacz, J. (2015). Quantum Physics, Fuzzy Sets and Logic, Springer International Publishing.","DOI":"10.1007\/978-3-319-19384-7"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1103\/PhysRev.70.460","article-title":"Nuclear induction","volume":"70","author":"Bloch","year":"1946","journal-title":"Phys. Rev."},{"key":"ref_11","first-page":"155","article-title":"Relation of many-valued logic to probability calculus (in Polish, original title: Stosunek logiki wielowarto sciowej do rachunku prawdopodobie nstwa)","volume":"4","author":"Zawirski","year":"1934","journal-title":"Pr. Kom. Filoz. Pozna Nskiego Tow. Przyj. Nauk."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","article-title":"Algebraic analysis of many valued logics","volume":"88","author":"Chang","year":"1958","journal-title":"Trans. Am. Math. Soc."},{"key":"ref_13","first-page":"74","article-title":"A new proof of the completeness of \u0141ukasiewiczukasiewicz axioms","volume":"93","author":"Chang","year":"1959","journal-title":"Trans. Am. Math. Soc."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"10305","DOI":"10.1007\/s00500-020-04870-3","article-title":"Fuzzy representation of finite-valued quantum gates","volume":"24","author":"Leporini","year":"2020","journal-title":"Soft Comput."},{"key":"ref_15","unstructured":"Aharonov, D. (2003). A simple proof that Toffoli and Hadamard are quantum universal. arXiv."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"3991","DOI":"10.1007\/s10773-017-3409-4","article-title":"A Logical Analysis of Quantum Voting Protocols","volume":"56","author":"Rad","year":"2017","journal-title":"Int. J. Theor. Phys."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1007\/s00500-015-1802-6","article-title":"Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs","volume":"21","author":"Bergfeld","year":"2017","journal-title":"Soft Comput."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/j.fss.2016.12.015","article-title":"A many-valued approach to quantum computational logics","volume":"335","author":"Giuntini","year":"2018","journal-title":"Fuzzy Sets Syst."},{"key":"ref_19","first-page":"1","article-title":"Quantum information, cognition, and music","volume":"21","author":"Giuntini","year":"2015","journal-title":"Front. Psychol."}],"container-title":["Entropy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1099-4300\/23\/6\/735\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T06:12:55Z","timestamp":1760163175000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1099-4300\/23\/6\/735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,10]]},"references-count":19,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2021,6]]}},"alternative-id":["e23060735"],"URL":"https:\/\/doi.org\/10.3390\/e23060735","relation":{},"ISSN":["1099-4300"],"issn-type":[{"type":"electronic","value":"1099-4300"}],"subject":[],"published":{"date-parts":[[2021,6,10]]}}}