Adapting Logic to Physics: The Quantum-Like Eigenlogic Program - Archive ouverte HAL Access content directly
Journal Articles Entropy Year : 2020

Adapting Logic to Physics: The Quantum-Like Eigenlogic Program

(1, 2) , (3, 4)
1
2
3
4

Abstract

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, −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-Hamilton 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é 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's 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.
Fichier principal
Vignette du fichier
Adapt-Phys-Logic_v18_HAL_post2.pdf (713.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02477198 , version 1 (13-02-2020)
hal-02477198 , version 2 (20-02-2020)
hal-02477198 , version 3 (01-03-2020)
hal-02477198 , version 4 (31-03-2020)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Zeno Toffano, François Dubois. Adapting Logic to Physics: The Quantum-Like Eigenlogic Program. Entropy, 2020, 22 (2), pp.139. ⟨10.3390/e22020139⟩. ⟨hal-02477198v4⟩
198 View
249 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More