{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T03:21:15Z","timestamp":1779247275537,"version":"3.51.4"},"reference-count":38,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2020,1,24]],"date-time":"2020-01-24T00:00:00Z","timestamp":1579824000000},"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>Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlogic. It expresses logical propositions using linear algebra. Logical functions are represented by operators and logical truth tables correspond to the eigenvalue structure. It extends the possibilities of classical logic by changing the semantics from the Boolean binary alphabet      {  0 , 1  }      using projection operators to the binary alphabet      {  + 1 , \u2212 1  }      employing reversible involution operators. Also, many-valued logical operators are synthesized, for whatever alphabet, using operator methods based on Lagrange interpolation and on the Cayley\u2013Hamilton theorem. Considering a superposition of logical input states one gets a fuzzy logic representation where the fuzzy membership function is the quantum probability given by the Born rule. Historical parallels from Boole, Post, Poincar\u00e9 and Combinatory Logic are presented in relation to probability theory, non-commutative quaternion algebra and Turing machines. An extension to first order logic is proposed inspired by Grover\u2019s algorithm. Eigenlogic is essentially a logic of operators and its truth-table logical semantics is provided by the eigenvalue structure which is shown to be related to the universality of logical quantum gates, a fundamental role being played by non-commutativity and entanglement.<\/jats:p>","DOI":"10.3390\/e22020139","type":"journal-article","created":{"date-parts":[[2020,1,24]],"date-time":"2020-01-24T11:01:00Z","timestamp":1579863660000},"page":"139","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Adapting Logic to Physics: The Quantum-Like Eigenlogic Program"],"prefix":"10.3390","volume":"22","author":[{"given":"Zeno","family":"Toffano","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, CNRS, CentraleSup\u00e9lec, Laboratoire des signaux et syst\u00e8mes, 91190 Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Dubois","sequence":"additional","affiliation":[{"name":"Conservatoire National des Arts et M\u00e9tiers, AFSCET, 75003 Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,1,24]]},"reference":[{"key":"ref_1","unstructured":"Neumann, J.V. (1955). Mathematical Foundations of Quantum Mechanics, Princeton Univ. Press. (transl. Neumann, J.V. From Grundlehren der Mathematischen Wissenschaften; 38nd ed., Springer: Berlin\/Heidelberg, Germany, 1932)."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The Logic of Quantum Mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Ann. Math."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y. (2011). Ch 1 Existence vs. Essence, 1.3 G\u00f6del and after. The Blind Spot: Lectures on Logic, European Mathematical Society.","DOI":"10.4171\/088"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M.L., Giuntini, R., Leporini, R., and Sergioli, G. (2018). Quantum Computation and Logic\u2014How Quantum Computers Have Inspired Logical Investigations, Springer. Trends in Logic (Book 48).","DOI":"10.1007\/978-3-030-04471-8"},{"key":"ref_5","unstructured":"Boole, G. (1847). The Mathematical Analysis of Logic: Being an Essay to a Calculus of Deductive Reasoning, Macmillan, Barclay & Macmillan."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Dubois, F., and Toffano, Z. (2017). Eigenlogic: A Quantum View for Multiple-Valued and Fuzzy Systems. Quantum Interaction. QI 2016. Lecture Notes in Computer Science, Springer.","DOI":"10.1007\/978-3-319-52289-0_19"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/s00453-002-0982-5","article-title":"The Representation of Numbers in Quantum Mechanics","volume":"34","author":"Benioff","year":"2002","journal-title":"Algorithmica"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"8","author":"Zadeh","year":"1965","journal-title":"Inf. Control"},{"key":"ref_9","first-page":"170","article-title":"On three-valued logic","volume":"5","year":"1920","journal-title":"Ruch Filozoficzny"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","article-title":"Introduction to a General Theory of Elementary Propositions","volume":"43","author":"Post","year":"1921","journal-title":"Am. J. Math."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-031-79779-8","article-title":"Multiple Valued Logic: Concepts and Representations","volume":"2","author":"Miller","year":"2007","journal-title":"Synth. Lect. Digit. Circuits Syst."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Boole, G. (1854). An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities, Macmillan, Barclay & Macmillan.","DOI":"10.5962\/bhl.title.29413"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4086\/cjtcs.2010.001","article-title":"Quantum Boolean Functions","volume":"1","author":"Montanaro","year":"2010","journal-title":"CJTCS"},{"key":"ref_14","first-page":"97","article-title":"Quantum theory, the Church-Turing principle and the universal quantum computer","volume":"400","author":"Deutsch","year":"1985","journal-title":"Proc. R. Soc. A"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Mermin, D. (2007). Quantum Computer Science: An Introduction, Cambridge University Press.","DOI":"10.1017\/CBO9780511813870"},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Toffano, Z., and Dubois, F. (2018). Interpolating Binary and Multivalued Logical Quantum Gates. Proceedings, 2.","DOI":"10.3390\/ecea-4-05006"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF03023774","article-title":"Polynomial identities and the Cayley-Hamilton theorem","volume":"11","author":"Formanek","year":"1989","journal-title":"Math. Intell."},{"key":"ref_18","unstructured":"Poincar\u00e9, H. (1912). Calcul des Probabilit\u00e9s, Gauthier-Villars."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"893","DOI":"10.1103\/PhysRevA.58.893","article-title":"Quantum Robots and Environments","volume":"58","author":"Benioff","year":"1988","journal-title":"Phys. Rev. A"},{"key":"ref_20","first-page":"111","article-title":"Fuzzy Logic Behavior of Quantum-Controlled Braitenberg Vehicle Agents","volume":"Volume 11690","year":"2019","journal-title":"Quantum Interaction. QI 2018. Lecture Notes in Computer Science"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"2307","DOI":"10.1108\/K-11-2018-0603","article-title":"Quantum eigenlogic observables applied to the study of fuzzy behaviour of Braitenberg vehicle quantum robots","volume":"48","author":"Toffano","year":"2019","journal-title":"Kybernetes"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Khrennikov, A. (2010). Ubiquitous Quantum Structure: From Psychology to Finances, Springer.","DOI":"10.1007\/978-3-642-05101-2"},{"key":"ref_23","first-page":"278","article-title":"Notes on quaternions","volume":"33","author":"Boole","year":"1848","journal-title":"Philos. Mag."},{"key":"ref_24","unstructured":"Altmann, S.L. (1986). Rotations, Quaternions, and Double Groups, Clarendon Press."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Johansson, N., and Larsson, J.-A. (2019). Quantum Simulation Logic, Oracles, and the Quantum Advantage. Entropy, 21.","DOI":"10.3390\/e21080800"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1142\/S0219749910006502","article-title":"On Mutually Unbiased Bases","volume":"8","author":"Durt","year":"2010","journal-title":"Int. J. Quantum Inf."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"032320","DOI":"10.1103\/PhysRevA.65.032320","article-title":"Mutually unbiased binary observable sets on N qubits","volume":"65","author":"Lawrence","year":"2002","journal-title":"Phys. Rev. A"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"052302","DOI":"10.1103\/PhysRevA.97.052302","article-title":"Quantum error-correcting code for ternary logic","volume":"97","author":"Majumdar","year":"2018","journal-title":"Phys. Rev. A"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Grover, L.K. (1996, January 22\u201324). A fast quantum mechanical algorithm for database search. Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, Philadelphia, PL, USA.","DOI":"10.1145\/237814.237866"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","article-title":"Formal reductions of the general combinatorial decision problem","volume":"65","author":"Post","year":"1943","journal-title":"Am. J. Math."},{"key":"ref_31","unstructured":"Potapov, I., Semukhin, P., and ACM (, January January). Decidability of the Membership Problem for 2 \u00d7 2 integer matrices. Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","article-title":"\u00dcber die Bausteine der mathematischen Logik","volume":"92","year":"1924","journal-title":"Math. Ann."},{"key":"ref_33","unstructured":"Curry, H.B., and Feys, R. (1958). Combinatory Logic, North-Holland Co."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.entcs.2005.09.018","article-title":"On Reversible Combinatory Logic","volume":"135","year":"2006","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Haven, E., and Khrennikov, A. (2013). Quantum Social Science, Cambridge Univ. Press.","DOI":"10.1017\/CBO9781139003261"},{"key":"ref_36","first-page":"110","article-title":"Contextual Query Using Bell Tests","volume":"Volume 8369","author":"Atmanspacher","year":"2013","journal-title":"Quantum Interaction. QI 2013. Lecture Notes in Computer Science"},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1108\/K-05-2017-0187","article-title":"A quantum-based semiotic model for textual semantics","volume":"47","author":"Galofaro","year":"2018","journal-title":"Kybernetes"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Sergioli, G. (2019). Quantum and quantum-like machine learning: A note on differences and similarities. Soft Computing, Springer.","DOI":"10.1007\/s00500-019-04429-x"}],"container-title":["Entropy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1099-4300\/22\/2\/139\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T14:08:31Z","timestamp":1760364511000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1099-4300\/22\/2\/139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,24]]},"references-count":38,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2020,2]]}},"alternative-id":["e22020139"],"URL":"https:\/\/doi.org\/10.3390\/e22020139","relation":{},"ISSN":["1099-4300"],"issn-type":[{"value":"1099-4300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,24]]}}}