{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T13:28:56Z","timestamp":1747056536180,"version":"3.37.3"},"reference-count":13,"publisher":"Wiley","license":[{"start":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T00:00:00Z","timestamp":1653436800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100005408","name":"University of Electronic Science and Technology of China","doi-asserted-by":"publisher","award":["A1098531023601302"],"award-info":[{"award-number":["A1098531023601302"]}],"id":[{"id":"10.13039\/501100005408","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Quantum Engineering"],"published-print":{"date-parts":[[2022,5,25]]},"abstract":"<jats:p>(Norraw) modal propositional logic (MCP) tries to be a strict model for quantum and information theory, but it has serious difficulties in syntax, semantics, and metaphysics. According to the guiding definition of minimal hidden variables, this study presents four equivalences between MCP and classical propositional logic (CP). It concludes that MCP is CP containing minimal syntactic hidden variables, modal axiom represents the classification of CP formulas, and possible world is CP formula as assignment background, which establishes a simpler and unified basis for quantum information theory. The black modal of classical propositional logic (BCP), as an assisted discovery method, reveals that modal nature is actually to express the interdependence between things and their environment in a mathematical way, which can express the holism, dialectics, and uncertainty of metaphysics, and use mark hiding (e.g., f (x) is a function of x, f () is the functional expression, functional-e for short, and \u201c\u25a1\u201d is, in fact, a cluster of functional-es in which superscript and subscript are hidden) that does not affect the effectiveness of reasoning to express a more simplified, efficient, and consistent artificial intelligence.<\/jats:p>","DOI":"10.1155\/2022\/1586534","type":"journal-article","created":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T20:20:06Z","timestamp":1653510006000},"page":"1-16","source":"Crossref","is-referenced-by-count":2,"title":["Four Equivalent Relations between MCP and CP and Its Implication in Quantum and Information Theory"],"prefix":"10.1155","volume":"2022","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3576-4425","authenticated-orcid":true,"given":"Xiao-long","family":"Wan","sequence":"first","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"1","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1142\/9789814596640_0015","article-title":"The equivalent transformation between non-truth-function and truth-function","volume-title":"Scientific Explanation and Methodology of Science","author":"X.-L. Wan","year":"2014"},{"key":"2","article-title":"Application of modern modal logic in computer science","author":"S.-b. Huang","year":"2013","journal-title":"Computer Science"},{"key":"3","article-title":"Modalities and quantum mechanics","volume":"23","author":"F. Burghard","year":"1984","journal-title":"International Journal Of Theoretical Physics"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10701-019-00298-4"},{"volume-title":"Information and Interaction","year":"2008","author":"V. Bentham (Netherlands), translated by L. fenrong and Y. Junwei Logic","key":"5"},{"volume-title":"Hand Book of Modal Logic","year":"2007","author":"P. Blackburn","key":"6"},{"key":"7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10516-016-9319-x"},{"key":"9","article-title":"Wan: probability in multi world interpretation of quantum mechanics","author":"Z.-q. Wan","year":"2019","journal-title":"Research on Dialectics of nature"},{"volume-title":"First Order Logic System Based on Bracket Representation","year":"2019","author":"G.-p. Du","key":"10"},{"volume-title":"Comparative Study of Three Typical Logical Notation Systems, 2019 Annual Meeting of the National Logic Society","year":"2019","author":"X.-l. Wan","key":"11"},{"key":"12"},{"volume-title":"Zi-Qian Wan: Tao Te Ching and Tao from the Perspective of Logic and Philosophy of Science-also Discussing with Mr. Jiao Guocheng","year":"2021","author":"X.-l. Wan","key":"13"}],"container-title":["Quantum Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/que\/2022\/1586534.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/que\/2022\/1586534.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/que\/2022\/1586534.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,8]],"date-time":"2022-11-08T10:57:23Z","timestamp":1667905043000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/que\/2022\/1586534\/"}},"subtitle":[],"editor":[{"given":"YuBo","family":"Sheng","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2022,5,25]]},"references-count":13,"alternative-id":["1586534","1586534"],"URL":"https:\/\/doi.org\/10.1155\/2022\/1586534","relation":{},"ISSN":["2577-0470"],"issn-type":[{"type":"electronic","value":"2577-0470"}],"subject":[],"published":{"date-parts":[[2022,5,25]]}}}