Skip to main content
Entropy logoLink to Entropy
. 2020 Jan 24;22(2):139. doi: 10.3390/e22020139

Adapting Logic to Physics: The Quantum-Like Eigenlogic Program

Zeno Toffano 1,*, François Dubois 2
PMCID: PMC7516549  PMID: 33285914

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.

Keywords: probabilistic logic, quantum computing gates, operator algebra

1. Introduction and Motivation

One of the main goals of this research is to look for links between logic and quantum operator algebra in Hilbert space that could lead to new developments in the field of quantum information and quantum computation.

It is widely accepted that there is a difficulty in explaining quantum effects by the means of propositional logic due to the peculiar features of quantum mechanics such as interference effects and the non-commutativity of operators. An example is the frequently quoted example of the double slit experiment, whose protocol can be separated into three elementary propositions A, B and C:

  • prop. A: “the electron is detected at position x

  • prop. B: “the electron went through slit 1”

  • prop. C: “the electron went through slit 2”

The measurement outcome of the experiment shows that, when combining these propositions, they do not verify the distributive law of classical logic given by:

A(BC)=(AB)(AC) (1)

This is because the interference effect between the two slits, which is a purely quantum effect for particles, represented by the logical disjunction function BC, cannot be physically separated into two possible events represented respectively by the two conjunctions AB and AC.

This fact has motivated the research for more quantum-adapted logical systems. John von Neumann proposed a correspondence between projection operators and logical propositions in his 1932 book [1]. Propositions of a Boolean algebra satisfying the distributive law (1) can be represented only by commuting projection operators i.e., compatible operators in quantum mechanics.

The successive work in logic by Birkhoff and von Neumann [2] substituted Boolean algebras with the lattice of closed subspaces of a (finite) Hilbert space. The method was successively named Quantum Logic. It evolved into an independent discipline with many followers but also critics. Despite many advances, this discipline is still not considered as an operational tool for quantum computing.

A controversial argument against quantum logic was given by the French logician Jean-Yves Girard in [3]: “To imagine foundations, if not «quantum», at least in a quantum spirit: proportionately speaking, something of the sort Alain Connes is doing with non-commutative geometry. That is the project of the day, enough to be kept busy for a while! Which topsy-turvies the usual relation logic/quantum: instead of interpreting quantum in logic, one tries the opposite”.

An improvement of quantum logic has been proposed, inspired by quantum computing research, leading to the quantum computational logic approach [4] where any language formula in logic can be considered as a compact logical description of a quantum circuit.

The work presented here is inspired from George Boole’s elective expansion method in logic [5] and presents an operational and geometric approach to logic named Eigenlogic [6]. This method shows that Boole’s symbolic arithmetic formulation can naturally be translated into the language of linear algebra in terms of operators. In this way, propositional logic can be represented by means of combinations of elementary operators linked by the Kronecker tensor product.

A fact that came out from this research is that there exist better adapted logical mathematical formulations using alternative alphabets than the usual binary alphabet using the Boolean numbers 0 and 1. Paul Benioff, one of the pioneers of quantum Turing machines, seems to go in this direction identifying different number systems adapted to specific quantum system such as angular momentum, harmonic oscillator, canonical positon and momentum continuous variables. [7].

There is an increasing interest in applying many-valued logic to the explanation of quantum phenomena and this is also linked with the rapidly growing field of fuzzy set theory [8]. It also has to be reminded that the mathematical theory of quantum physics and the theory of many-valued logic, whose founders are Jan Łukasiewicz [9] and Emil Post [10], were created nearly simultaneously in the second and third decade of the twentieth century.

Many-valued logic was thoroughly investigated in the years 1970–1980 proposing new circuit designs for all possible logical and computing operations [11]. But few practical industrial applications emerged, because the modern digital semiconductor technology, based on logical switching theory, has almost exclusively adopted binary solutions. But there is a serious hope that various future quantum technologies will integrate many-valued circuits using qudits because of the advantage brought by more compact solutions than the binary ones. It has to be stressed that multi-level systems (having a state-space dimension greater than two) are ubiquitous in quantum physics, an important example is quantum angular momentum where the binary spin ½ system is only a particular case.

A consistent logical program should also include first order predicate logic and must be able to tackle logical problems of incompleteness, non-computability i.e., Turing machines. It will be conjectured here, in the context of Eigenlogic, that operator non-commutativity and entanglement make an interesting incursion in this direction, by the means of a new interpretation of the logical syntactic-semantic duality and of quantum-gate logical universality.

The paper is organized as follows:

Section 2 describes the general Eigenlogic method for a binary system using projection operators in the alphabet {0,1} and then for a binary system using involution operators in the alphabet {+1,1}. The correspondence with standard quantum computing gates is also discussed. The section closes with the general operator interpolation method for whatever alphabet in many-valued logic.

Section 3 addresses the problem of the measurement of logical operators outside their logical eigensystem. It starts with the description of the probability interpretation of Boole and Poincaré based on logic showing parallels with the successive discussion on fuzzy Eigenlogic.

Section 4 presents logical formulations using operators. Starting with Von Neumann’s “projections as propositions” quantum logic and then presenting the less-known logical interpretation of quaternions by George Boole leading to a natural quantum interpretation because of the isomorphism between quaternions and Pauli matrices. The generalized Pauli operators of the Weyl–Heisenberg group are also analyzed for their connection with logical semantic-syntactic duality and many-valued logic.

Section 5 proposes several conjectures indicating new methods using logical operators for universality of logical quantum gates, first order logic, Post normal systems and Combinatory logic.

2. Eigenlogic

Eigenlogic [6] stems from a simple idea that wants to transcribe propositional logic in a matrix linear algebra context.

This view makes the following correspondence between linear algebra and logic:

eigenvalues logical truth values
operators logical connectives
eigenvectors logical interpretations

In Eigenlogic, logical operators can be matched to every logical function (a logical connective). The values in logical truth tables correspond to the logical operator’s eigenvalues. With this method, propositional logic can be expressed using elementary quantum operators combined by the Kronecker tensor product. The result of a “measurement” on an operator will give the truth value of the associated logical proposition. This measurement is logically interpretable when applied to vectors in the eigenvector space, leading to an original view of the measurement postulate in quantum physics.

2.1. Boolean Eigenlogic Using Zero and One

George Boole used mathematical symbols taking the values 0 and 1 representing resp. the “False” or “True” value of a proposition [5]. He used an idempotent symbol x (named elective symbol) obeying the equation: x2=x with only two possible solutions: 0 and 1. This equation was considered by Boole the “fundamental law of thought” [12]. In Eigenlogic, the algebra of idempotent elective symbols can be represented by a set of commuting projection operators [6].

Using the elective decomposition of binary logical connectives as originally introduced by George Boole, the expression of a logical operator for one input (arity-1) is directly written in the form of a spectral decomposition:

F1=f(0)Π0+f(1)Π1=diag[f(0),f(1)] (2)

The operators used in (2) are 2-dimensional rank-1 projectors Π0=I2Π and Π1=Π, where the operator Π is in Eigenlogic the seed operator. The cofactors f(0) and f(1) are the eigenvalues of the operator F1 taking the values 0 and 1. F1 is also an idempotent projection operator. Logical negation corresponds here to complementation and is obtained by subtracting the negated operator from the identity operator I. The two important properties are thus:

idempotence: F2=F,  complementation: F¯=IF (3)

The eigenvectors of F1, named |0〉 and |1〉, form the canonical basis for one qubit, and correspond also to the spin ½ north and south poles on the unitary Bloch sphere.

For two inputs (arity-2) the logical operators F2 are obtained by using the Kronecker product and the seed operator Π. The four compound projectors correspond to the four quantum state density matrices for 2 qubits:

Π00=|0000| , Π01=|0101| , Π10=|1010| , Π11=|1111|=ΠΠ (4)

The multilinear expansion using truth values f(x,y) for two inputs x,y {0,1} is then:

F2=f(0,0)Π00+f(0,1)Π01+f(1,0)Π10+f(1,1)Π11 (5)

In propositional logic, every logical function can be expressed as a function of its inputs. Here the two inputs are given by two logical projectors corresponding to the operators A and B:

A=ΠI2=diag(0,0,1,1) , B=I2Π=diag(0,1,0,1) (6)

The extensions in (6) of the seed operator Π by the identity operator I2 using the Kronecker product ensures the independence of A and B which are considered in Eigenlogic the atomic propositions. This is a major difference with traditional quantum logic where atomic propositions are pure quantum state density matrices i.e., rays (rank-1 projection operators).

All the other logical operators (see Table 1) can then be obtained directly from A and B as is usual in propositional logic.

Table 1.

Sixteen two-argument (arity2) truth-tables and logic operators for {0,1} and {+1,1}.

Connective A, B Truth Table {F,T} , Projection {0=F,1=T} ,  Involution{+1=F,1=T}
False ; F ;  F F F F 0 +I
NOR T F F F IAB+AB (1/2) (+I U V UV)
A  B F T F F BAB (1/2) (+IU+V+UV)
¬A T T F F IA U
A  B F F T F AAB (1/2) (+I+UV+UV)
¬B T F T F IB V
XOR ; AB F T T F A+B2AB UV=ZZ
NAND ; AB T T T F IAB (1/2) (IUV+UV)
AND ; AB F F F T AB=ΠΠ (1/2) (+I+U+VUV)
AB T F F T IAB+2AB UV
B F T F T. B=IΠ V= IZ
AB T T F T IA+AB (1/2) (IU+VUV)
A F F T T A=ΠI U =  Z I
A  B T F T T IB+AB (1/2) (I+UVUV)
OR ; AB F T T T A+BAB (1/2) (I+U+V+UV)
True ; T T T T T I I

The case n=1 provides four logical operators F1 obtained from (2): projection Π1=Π, negation Π0=I2Π, tautology I2 (the identity matrix) and contradiction 02 (the zero matrix).

For n=2 one has 16 binary logical operators F2 from (5). These are uniquely characterized by their truth table given in Table 1 with their associated projection operators.

In general, the total number of logical binary connectives is 22n for an arity-n system. For an m-valued alphabet (m>2 corresponding to many-valued logic) and an arity-n logical system the number of logical connectives becomes mmn [10,11].

2.2. Involution Eigenlogic Using the Numbers +1 and −1

There exists an isomorphism between a projection operator F and an involution operator G given by the Householder Transform:

G=I2F=(1)F=eiπF=eiπ2eiπ2G (7)

The eigenvalues of G, the correspondent to the eigenvalues 0 and 1 of F representing “False” and “True”, are +1=120 and 1=121 using (7). So the alphabet of this logical binary system is {+1,1}. The operators F and G commute with equal degeneracy and thus share the same eigenvectors. The seed operator for this system is the Pauli matrix σ^z (the Z gate):

σ^z=Z=I22Π=(+1001) (8)

Hereafter the eigenbasis of σ^z is chosen as the reference basis and corresponds to the usual qubit computational basis used in quantum circuits. The choice of σ^z is conventional and one could have chosen another Pauli matrix as the seed operator. In Eigenlogic, every basis choice generates a new logical system, this will be discussed later in relation to the logical semantic interpretation.

For arity-2, in the {+1,1} system , logical dictators [13] U and V, the equivalent of the logical projectors A and B for the system {0,1}, are:

U=ZI2=diag(+1,+1,1,1),  V=I2 Z=diag(+1,1,+1,1) (9)

All these operators are involutions and the logical negation in the {+1,1} system is obtained by multiplying by 1:

involution: G2=I,  negation: G¯=G (10)

The formulation using these involution operators G gives the same results as the Quantum Boolean Functions approach proposed in [13] based on the mathematical method of Fourier transform of Boolean functions.

Binary logic using {+1,1} appears more adapted to certain quantum systems because it includes a negative number. For example the spin ½ system with the positive and negative eigenvalues ½ and ½ is proportional to the alphabet {+1,1}.

Even if the logical truth-table structure is equivalent for the two alphabets {0,1} and {+1,1}, the mathematical expressions and operations for a given logical function are not the same. A simple and very important example is exclusive disjunction XOR which becomes a product in the alphabet {+1,1} whereas the product in the alphabet {0,1} corresponds to the conjunction AND. This is in our view a very important technical fact.

All the 16 logical involution operators G2 for the alphabet {+1,1} are given on Table 1.

It has to be outlined that the binary alphabet {+1,1} is currently used in spin-glass and Ising computer models, where +1 (False) is spin up and 1 (True) spin down.

2.3. Eigenlogic Operators and Quantum Computing Gates

Quantum gate optimization in quantum circuits is a strategic issue for quantum computing and quantum simulation. Quantum reversible gates representing Boolean functions have been widely analyzed by different implementation methods using for example the 2-qubit CONTROL-NOT and the 3-qubit Toffoli gates or the non-Clifford gates such as the T-gate: T=Z1/4. Essentially all the proposed methods are based on the conditional quantum logic paradigm originally proposed by David Deutsch in [14]. The CONTROL-NOT gate on two qubits being its basic element (see CNOT given in (14)). The operation on a 2-qubit state is |x,y|x,xy. The exclusive disjunction (XOR,) negates the target qubit y when the control qubit x is one and leaves it unchanged when x is zero. The logical gate for negation (NOT) is the Pauli σ^x operator (see (37)) named the X-gate.

A universal quantum logic gate is the 3-qubit doubly-CONTROL-NOT gate (Toffoli gate) with the logical operation |x,y,z|x,y,(xy)z that negates the target bit z when the conjunction xy on the two control qubits x and y is satisfied (both must be 1). This gate is equivalent to a negated binary conjunction NAND logical gate, which is known to be universal in classical propositional logic. These quantum gates transform the qubits as reversible permutation operators and are thus non-diagonal in the computational basis.

A quantum gate which is diagonal in the computational basis is the CONTROL-Z gate, named here CZ. When the control bit is at one it implements the Pauli σ^z operator, the Z-gate of (8). Concretely this means that the output is multiplied by 1 when the control and target bits are both at one and is unchanged otherwise. So by looking at the eigenvalues of CZ one sees that this operator corresponds to the Eigenlogic conjunction operator GAB=GAND (AND, ∧). Its expression is obtained directly using the dictators U and V of (9) giving the known expression [15,16]:

CZ=diag(1, 1, 1,1)=12(I4+U+VUV) (11)

One can also derive this operator using the Householder transform (7) of the projection logical operator FAND.

GAND=I42FAND=(1)ΠΠ=diag(1, 1, 1,1)=CZGAND|xy =CZ |xy =(1)xy |xy (12)

Applying the operator CZ on the state |xy is equivalent to multiplying by (1)xy, and the value 1, for xy=1, is only obtained when the input state is |11.

The expression of the CONTROL-NOT operator, named here CNOT, can also be obtained straightforwardly, using for the control qubit the seed projection operator Π=|11| of the computational basis (the σ^z=Z eigenbasis) and for the target qubit the seed projection operator ΠX=|| of the eigenbasis of X, where the eigenstate is |=12(|0|1). The projection operator ΠX is derived using the Hadamard gate H [15]. These operators are:

Π=|11| =(0001) , H=12(1111) , ΠX=||=HΠH=12(1111) (13)

Using the analogy with the CZ gate, one defines the projection operator ΠCNOT, associated to the CNOT gate, giving the following form and the corresponding matrix representation:

ΠCNOT=ΠΠX ,  CNOT=I42ΠCNOT=(1)ΠΠX=(1001 00000000 0110) (14)

The same method can be applied to build the Toffoli gate (doubly-CONTROL-NOT) named here TO. One starts with with a 3 qubit Eigenlogic conjunction GABC=I82(ΠΠΠ) and Hadamard transforms the last qubit. The polynomial expression is then easily calculated:

TO =I82(ΠΠΠX)=12(I8+ZI4+I2CNOTZCNOT) (15)

In the design of quantum circuits one never considers directly addition of quantum gates, as the operator expressions given in (11) and (15), one prefers expressions using products of quantum gates because of the reversible unitary transfer structure of the circuit. There is a procedure to transform a sum into a product using the Householder transform (7). For example the CZ gate polynomial expression can be transformed by (7) into a product of unitary exponentials of operators:

CZ =eiπ2eiπ2CZ=eiπ2eiπ4 (I+U+VUV)= eiπ4 eiπ4 U eiπ4 V e+iπ4 UV (16)

The product factorization is possible because, belonging to the same Eigenlogic family, all the operators in the exponential argument commute and the order of the multiplication can be interchanged. A similar method can be used for the CONTROL-NOT CNOT and Toffoli TO gates [16]. For a more detailed discussion of the method and other examples of these methods see [16].

2.4. Operators for Many-Valued Logic Using Lagrange Interpolation and the Cayley–Hamilton Theorem

The Cayley–Hamilton theorem is a very powerful theorem in linear algebra and has an important consequence, as stated by the mathematician Edward Fromanek in [17]: “all polynomial identities on n × n complex matrices are consequences of the CayIey-Hamilton theorem…”. The theorem says that any finite matrix is the solution of its own characteristic equation.

In Eigenlogic, this theorem is used to generalize the mathematical framework of propositional logic to values different from the Booleans {0,1}. The method is based on the classical Lagrange interpolation method where the “variable” is replaced by an Eigenlogic non-degenerate seed operator with m distinct eigenvalues. As will be shown hereafter this method permits to determine unique logical operators for whatever numerical values. In the many-valued logic case, popular choices are, the natural numbers {0,1,2,,m} formalized in Post’s logic [10] and the rational fractional numbers in the unit interval [0,1], the set {0,1m,2m,,m1m,1} of m+1 values, in Łukasiewicz’s logic [9]. Other numerical choices can include negative numbers, this is the case, for example, of the balanced ternary system {+1,0,1} used for qutrits discussed hereafter.

Complex numbers can also be considered as logical values. For example, those adapted to the Quantum Fourier Transform using the roots of unity giving for a logical system of dimension m the set {ei2π0,ei2π1m, ei2π2m,,ei2πm1m}. These values are also the eigenvalues of the generalized Pauli or Weyl–Heisenberg operators Zm and Xm given in (41,42) that will be analyzed in Section 4.3.

In general one starts by defining the seed operator Λ with m non-degenerate eigenvalues λi. The eigenstate density matrices, |λiλi| which are rank-1 projection operators Πλi, are calculated for each eigenvalue. Lagrange interpolation directly gives the density matrices:

Πλi(Λ)=|λiλi|=j=1,jimΛλjImλiλj (17)

Cayley–Hamilton’s theorem shows that this development is unique. The formal expression is a polynomial in Λ up to the power m1. The operator is represented by a m×m square matrix.

In logic, in order to get interpretable propositions, both functions and arguments must take the same values. This signifies that an arity-1 logical function (λ) having its domain on the set of m distinct logical values λi, takes also its values in this set: (λp){λ1,λ2,.,λp,,λm}. The corresponding logical operator spectral decomposition is then directly obtained by interpolation:

F=i=1m(λi) Πλi (18)

The quantum observable (i.e., Hermitian operator) orbital angular momentum is defined by two quantum numbers: and ml. is an integer 0 and ml obeys ml by steps of 1. ml, is the eigenvalue of the z-component of the orbital angular momentum observable Lz. The matrix of this operator for =1 is:

Lz=Λ=(+100000001) (19)

Using the operator Λ of (19) as the Eigenlogc seed operator, one can calculate the balanced ternary logic operators. These operators are explicitly derived from the interpolation formula (18) using the rank-1 projection operators Π+1, Π0 and Π1 for the three eigenstates |+1, |0 and |1 of Lz, defining a qutrit. All logical operators are combinations of these projection operators, their expression as a function of the seed operator Λ are calculated using (17):

Π+1=12Λ(Λ+I3) , Π0=I3Λ2 , Π1 =12Λ(ΛI3) (20)

All arity-1 logical operators F(Λ) can then be derived using (18).

In the case of an arity-2 system, the logical operators are represented by 9×9 matrices. The dictators, U and V, are then defined in the same way as in (9):

U=ΛI3 ,V=I3Λ ,UV=ΛΛ (21)

In many-valued logic, the universal connectives Min and Max [11] are the equivalent of the binary AND and OR. The Eigenlogic operators for a balanced ternary qutrit system are [6,16]:

Min=12(U+V+U2+V2UVU2V2)=diag(+1,+1,+1,+1,0,0,+1,0,1) (22)
Max=12(U+VU2V2+UV+U2V2)=diag(+1,0,1,0,0,1,1,1,1) (23)

3. Probabilities and Fuzzy Eigenlogic

3.1. Probability Theory: The Views of Boole and Poincaré

The work of George Boole included also the analysis of hypothetical propositions, which led him to define probabilities directly from logic [12]. The algebraic method on symbols representing classes used by Boole, was formalized successively into the theory of Boolean algebra. It has to be emphasized that probability theory applied to discrete sample spaces, is defined over subsets using the operations of intersection, union and complementation characteristic of a Boolean algebra.

A similar approach to Boole’s interpretation of probabilities was given successively by Henri Poincaré in [18] in which he made a simple and natural analysis of probabilities by classifying them for all possible events associated to the withdrawal experiment of two objects, A and B, from an urn.

Considering the combination of events A and B, different probabilities can be defined, depending on whether any of these events occur, or both, or neither. In this way, as is done in logic for conjunction and negation, one defines the four compound events where AB represents the event where both A and B occur, AB¯ where A occurs and B does not occur, A¯B where A does not occur and B occurs, and A¯B¯ where neither events occur. In an actual experiment one counts the number of occurrences of these different events, for example for the first compound event AB we will count the number nAB. Probabilities will be considered as the ratio between the number corresponding to the considered event divided by the total number of events. Then all possible probabilities are a function of only four numbers nAB, nAB¯, nA¯B, and nA¯B¯ considered as a basis. Their sum being the total number of events n given by the sum n=nAB+nAB¯+nA¯B+nA¯B¯.

For Poincaré probability, calculus is based on two theorems: the theorem of total probability and the theorem of composed probabilities.

The probability of event AB corresponds to a logical conjunction AND () event. The probability for the disjunction event OR (), where one at least of the two events occurs, is then obtained straightforwardly. The expressions for the different event probabilities are:

pAB=nABn , pAB=nAB+nAB¯+nA¯Bn , pA=nAB+nAB¯n , pB=nAB+nA¯Bn (24)

when combined, these probabilities lead to the following general expressions:

pAB+pAB=pA+pB or pAB=pA+pBpAB (25)

The above expression (25) is the simplest form of the renowned inclusion-exclusion rule (form on the right in (25)) also named the Boole–Sylvester rule in the English community or the formule du crible de Poincaré in the French community. In this way the theorem of total probability expressing the probability p that, at least, one out of N events occurs is a function of the combined event probabilities:

p=i=1Npii,j|i<jNpij+i,j,k|i<j<kNpijk (26)

where the condensed notation pij is used for pij.

In standard probability theory one generally considers only mutually exclusive events i.e., pAB=0, in this case disjunction is equivalent to exclusive disjunction and the total probability is the sum of the individual event probabilities.

The results of the preceding discussion show that probabilities can be derived from logical propositions in a simple way, the logical structure is apparent in the expressions of the probabilities. In the next section it will be shown that the Eigenlogic fuzzy membership functions have essentially the same structure as the preceding probabilities.

3.2. Fuzzy Eigenlogic and Quantum Probabilities

In this Section we will show that when considering logical inputs represented by quantum states not belonging to the Eigenlogic operator eigensystem one obtains a fuzzy logic representation. Fuzzy membership functions characterize the domain of fuzzy sets. In Eigenlogic the fuzzy membership function corresponds to the quantum mean value (Born rule) of the considered logical projection operator on an input state. Fuzzy logic [8] admits truth values taking values between 0 and 1. So in some way the fuzzy logical character arises because of a superposition of logical propositions, the logical value of a proposition being a continuous value ranging from 0 (False) to 1 (True). This gives also an original insight to the quantum measurement postulate by the means of fuzzy logic.

In Eigenlogic, the mean value of a logical operator will provide the truth value of the associated logical proposition. The interpretable case, corresponding to sharp truth values, is obtained for input states belonging to the logical eigenspace associated to the Eigenlogic operator.

One can, for example, choose for the logical eigenspace the 2-qubit computational basis of the logical projection family defined in Section 2.1. A general quantum state is then expressed by a linear combination over this basis:

|ψ=c00|00+c01|01+c10|10+c11|11 (27)

When more than one coefficient in (27) is non-zero one is in a fuzzy logic situation. Intuitively speaking the superposition principle of quantum states considered as logical entities is analogous to a fuzzy logic formulation using fuzzy sets where a logical entity can belong to more than one set.

For the Eigenlogic projection operator F measured on a quantum state |ψ, the mean value leads directly to a probability measure by the Born rule:

p|ψ=ψ|F|ψ=Tr(ρ·F) with ρ=|ψψ| the density matrix (28)

The arity-1 membership function μ(A) is obtained by the quantum mean value of the logical projector operator Π over an arbitrary 2-dimensional quantum state |ϕ:

|ϕ=sinα|0+ eiβcosα |1 ,μ(A)=ϕ|Π|ϕ=cos2α=p (29)

A quantum composite state |ψ is built by taking the tensor Kronecker product of two individual states | ϕa and | ϕb by |ψ=| ϕa  | ϕb.

The fuzzy membership functions corresponding to the 2-qubit logical projectors A and B (see (6) and Table 1) measured on |ψ are then given by:

μ(A)=ψ|Π  I2|ψ=p(1q)+pq=p ,μ(B)= ψ|I2 Π|ψ=q (30)

This shows also explicitly that the membership functions correspond to quantum probabilities.

Now let us calculate for example the conjunction AND () and the disjunction OR () membership functions using the operators given in Table 1, which gives:

μ(AB)=ψ |A·B|ψ=ψ |ΠΠ|ψ=pq , μ(AB)= p+qpq (31)

One observes that the fuzzy disjunction membership function μ(AB) is an inclusion-exclusion like expression as in (26). The quantum probabilities given by the Born rule are the fuzzy Eignelogic membership functions and have their correspondence with the probability interpretation of Boole and Poincaré.

The fuzzy membership function corresponding to the logical material implication (AB) can be used for decision-making problems. Using the Eigenlogic operator, given in Table 1, one has:

μ(AB)=ψ |(I4ΠI2+ΠΠ)|ψ=1p+pq (32)

This function was applied to the concept of quantum robot introduced by Paul Benioff [19] as a first approach for describing a quantum mechanical system aware of the environment and capable of making decisions. The quantum robot model was realized by Braitenberg vehicles with a quantum logic control with input vision fuzzy stimuli [20,21]. These robots display new non-classical emergent behaviours linked to quantum-like effects and reflect contextuality due to input-state superposition and entanglement of its logical control structure.

The geometrical space corresponding to a one input (arity-1) fuzzy membership function, as considered in (29), is the Bloch sphere. This can be easily understood by the normalization condition on the coefficients of the quantum state |ϕ giving the equation sinα2+cosα2=1. For compound quantum-state fuzzy membership functions the geometry becomes more complex. In this case one could have some peculiar effects when considering entangled input states [21].

Fuzzy Eigenlogic could more generally benefit the emerging field of quantum cognition based on the quantum-like paradigm which applies the mathematical quantum theory to model cognitive phenomena such as information processing by the human brain, language, decision making, human memory… [22]. One of the motivations would be that in Eigenlogc the fuzzy membership functions become quantum probabilities and, for example, the fuzzy Eigenlogic implication function (32) gives a probability measure linked to a quantum operator used in decision-making problems.

4. Operators in Logic: Projectors, Quaternions, Pauli Matrices and the Heisenberg Group

Logic using operators has a long history. We will recall here some of the approaches that will permit us to make links with Eigenlogic. An important difference between operators and functions is that an operator can be described by its action only, without defining the input domain for which this operation yields the required outcomes. Another important difference is that some operators do not have a strictly defined domain; they can admit any inputs, including themselves.

4.1. Von Neumann’s ‘Projections as Propositions’

John von Neumann noticed that the projection operators P in Hilbert space, verifying the condition P2=P=P (idempotence and hermiticity), can represent logical propositions by identifying the eigenvalues 0 and 1 of these operators with the truth values of the propositions. In his 1932 book [1] he states that the mathematical operations of multiplication, addition and subtraction preserving the projection properties must satisfy the following axioms:

  • P1P2 is a projection operator iffP1P2=P2P1 (they commute)

  • P1+P2 is a projection operator iffP1P2=0 or P2P1=0

  • P1P2 is a projection operator iffP1P2=P2 or P2P1=P2

This means that the idempotence property is conserved when projection operators commute, this condition is usually expressed in quantum mechanics by [P1P2]=P1P2P2P1=0. Addition is only defined for disjoint subspaces, P1 P2=0 and ordered subtraction when one subspace is included in the other P2P1. These properties are at the origin of the motivation in Eigenlogic [6], because they establish the connection between eigenvalues and logic.

It is interesting to note that a pure quantum state |ψ can also be represented by a density matrix ρ=|ψψ|, introduced by John von Neumann in [1]. This operator is a ray, a rank-1 idempotent projection operator. All these concepts lay at the foundations of quantum theory.

4.2. Quaternions and Their Logical Interpretation by George Boole

In a short note [23], just one year after his invention of mathematical logic in 1847 [5] George Boole, following Cayley’s interpretation of quaternions as operators, gives a logical interpretation of unitary quaternions. George Boole starts the note by giving his motivation: “It were much to be desired that the general principles which govern the use of signs, as instruments of reasoning, were reduced to a consistent theory; for there undoubtedly exists a theory of signs applicable as well to the signs of common discourse as to the signs of mathematics”. Then he states: “Signs employed as instruments of reasoning may, in one point of view, be considered as the representatives of operations”.

Considering A and B representing two given operations, the sequence of these two operations A·B will also represent an operation of the same kind if the rules of logical interpretation adopted for A and B are well defined. George Boole infers a logical interpretation of a quaternion q with a unitary constraint, the unitary quaternion defined by:

q=w+ix+jy+kz with w2+x2+y2+z2=1 (33)

The quaternion basis i, j and k verifies the following rules:

i2=j2=k2=i·j·k=1 , i·j=k , i·j=j·i (34)

the last relation in (34) shows the anti-commutativity of the quaternion basis and the role of the sign.

This attempt has to be put in perspective with the more well-known Boole’s method, used in the development of his logical calculus, where symbols are interpreted with the alphabet {0,1} when they obey the idempotence equation x2=x, admitting only two possible solutions: 0 and 1 [5,12].

Boole concludes in his note [23]: “…upon examination it will be found that these systems of interpretation are founded upon a principle of naming, as the one which I have proposed is founded upon a principle of operation. And I think it not foreign to the subject to remark, that the symbolical forms of common language as exhibited in the calculus of logic may indifferently be referred to the one or the other of these modes of conception”.

So he discusses implicitly the duality between naming with a sign which represents logical semantics and operation which represents logical syntax.

The geometric properties are obvious when using quaternions. More specifically a unitary quaternion represents a rotation operation through an angle α around the axis n with spherical direction angles θ and φ. This gives the following expressions for the unitary quaternion coefficients named the Euler–Rodrigues formula (its importance is thoroughly discussed in [24]):

w=cosα2 , x=sinα2sinθcosφ , y=sinα2sinθsinφ , z=sinα2cosθ (35)

The coefficients in (35) lead to the composition rule for rotation operations asserting that any product of two rotations gives another rotation (Euler’s rotation theorem).

4.3. Pauli and Weyl–Heisenberg Operators and Their Semantic and Syntactic Interpretation in Logic

Rotation operators can also be expressed using the Pauli matrices σ^x, σ^y and σ^z. This can be understood because of the well-known isomorphism with the quaternion basis by: i=iσ^x, j=iσ^y and k=iσ^z. The rotation operator can be derived directly from (33) and (35) and is expressed in the usual way in quantum mechanics as:

R^n(θ,φ)(α)=expi(σ^nα/2) with σ^n=sinθcosφσ^x+sinθsinφσ^y+cosθσ^z (36)

Pauli matrices act on the 2-dimensional Hilbert space, their matrix representation is:

σ^x=(0110) , σ^y=(0ii0) , σ^z=(1001) (37)

The principal relations are:

{σ^x,σ^z}=σ^xσ^z+σ^zσ^x=0 , σ^zσ^x=iσ^y , σ^xσ^yσ^z=iI (38)

For an arbitrary direction n on the Bloch sphere, the Pauli matrix generalization σ^n is given in (36). The property of involution σ^n2=I leads naturally to anti-commutativity ({σ^x,σ^z}=0) because when squaring the operator in (36) all cross terms in the product must vanish to assure unity.

An interesting consequence of anti-commutativity is that the action of one of the Pauli matrices, for example σ^x, on an eigenstate |+z of one of the other Pauli matrices, for example σ^z, generates the complementary eigenstate |z. This can be shown using the eigenvalue equations and anti-commutativity:

σ^xσ^z|±z> =(±1)σ^x|±z> =σ^zσ^x|±z so σ^z(σ^x|±z)=(1)(σ^x|±z) (39)
giving σ^x|+z =|z  and σ^x|z =|+z (40)

The operation in (40) corresponds to logical binary negation which complements, for example, the state |+z = |0  into |z = |1. By these arguments one observes that the basic logical operation of binary negation is a consequence of anti-commutativity.

The truth values of a logical operator represent its logical semantics and here in (39,40) the action of the logical operator on an input state represents its logical syntax. In this very simple example using the Pauli matrices as Eigenlogic operators, one has simultaneously a semantic representation by the eigenvalues of the diagonal Pauli matrix σ^z and a syntactic representation by a permutation operation represented by the Pauli matrix σ^x.

When considering one qubit the only non-trivial logical operation is negation operated by the X gate. In quantum computation one must also consider logical operations on two and three qubits, these are also permutations as is the case for example for the CONTROL-NOT gate CNOT (see the matrix form in (14)) or the Toffoli gate TO.

Most of the times operations are done on the computational basis which is the eigenbasis of σ^z, this means that operators corresponding to quantum gates are represented in their non-diagonal syntactic form. The semantic diagonal form is rarely used except in some specific problems using physical Hamiltonians as is done in the field of quantum simulation for optimization and minimization problems seeking energies and ground states.

More developments are needed to give a complete semantic-syntactic picture, including, for example, 2 and 3 qubit gates. An interesting outlook discussing logical duality, in the context of quantum computing gates, was proposed recently in [25].

The quantum state generation process shown in (39) and (40) can be generalized for a d-dimensional multi-level system (qudit) by using the generalization of the Pauli matrices given by the operators of the Weyl-Heisenberg group Xd and Zd:

Xd=(0010  01 0000  10)  , Xd|m =|m+1 , Xdd=Id (41)

and

Zd=(100ωd 0000 ωdd1)  , Zd|m =ωd|m , ωd=ei2πd , Zdd=Id (42)

Xd is usually named the shift operator and its representation is a circulant matrix and Zd is the phase operator and its representation is a diagonal matrix. The number ωd is the dth root of unity. These operators do not commute and obey a rule which can be considered as a generalization of the anti-commutation rule for Pauli matrices:

ZdXd=ωd XdZd (43)

By the same procedure as the one given in (39) one can show that all states of a given eigenbasis of one operator are generated by the other operator. This is also clear by looking directly at the action of the shift operator Xd on the state |m, which is an eigenstate of Zd, giving the state |m+1, so by applying successively this operator one can generate all the other states of the basis.

Another interesting property is that the unitary transformation from Zd to Xd is the discrete Fourier transform operator, named here DFTd, having a Vandermonde matrix structure of basis ωd.

(DFTd)ij=1dωdij , DFTd4=Id , DFTd1ZdDFTd=Xd (44)

Considered as a quantum gate, this operator corresponds to a Quantum Fourier Transform.

The semantics is here represented by the eigenvalues of the reference Eigenlogic operator Zd. The eigenvalues are the dth roots of unity ωd, in particular, as described above, for a binary system the semantics is given by the square roots of unity: ±1.

The syntax on the other hand is represented by the shift operator Xd. The operator Xd possesses the same eignevalues as Zd but is not the reference operator for the Eigenlogic system under considerartion.

The link to many-valued logic is straightforward: the many-valued negation introduced by Emil Post in [10] is exactly the shift operation mm+1. So multi-level physical systems are directly linked to many-valued logic and an interesting guideline for future developments is that the Quantum Fourier Transform becomes a mediator between logical syntax and logical semantics.

The operators of the Weyl–Heisenberg group have been much investigated in relation to the problem of the so called MUBs (Mutually Unbiased Bases) [26]. Here the simplest case of Pauli matrices in dimension 2 gives 3 MUBs each being an eigenbasis of one of the three operators σ^x, σ^y and σ^z (see (37)). The important property is that every basis vector from one MUB is uniformly distributed on all the basis vectors of the other MUBs. For example considering the eigenbasis vectors of σ^x and σ^z one has:

|±x|±z|=12 (45)

The general rule being that d+1 MUBs exist when the dimension d of the Hilbert space is a prime number or a power of a prime number, this includes the n-qubit systems having dimensionality d=2n as thoroughly discussed in [27]. In the other cases, the number of MUBs is less than d+1 but one can always find at least 2 MUBs for every finite dimension. In particular there always exist two MUBs which are the two eigenbasis of the above discussed operators Xd and Zd defined in (41,42).

As for the binary case more work is needed to scale up to higher arity for example in order to define universal many-valued logical operators such as the Min and Max operators obtained in Section 2.4 for the particular case of a balanced ternary logical system.

The links between logic and non-commutativity could also be considered for another very important topic in quantum information: Quantum Error Correcting (QEC) coding protocols. They permit actual quantum computers to overcome the problem of decoherence [15]. Popular QEC codes are the stabilizer codes where errors can be detected and corrected in a quantum circuit using a qubit overhead (increasing the number of qubits) with specially designed stabilizer operators. Briefly stated the eigenvalue 1 of a stabilizer operator corresponds to a detected error and the eigenvalue +1 to no error. Because of this eigenvalue structure these operators correspond to Eigenlogic involution operators G as discussed in Section 2.2. Recently the QEC code stabilizer formalism has also been applied to qutrit quantum circuits [28]. The detected errors correspond in this case to the phases ei2π3 and ei2π3 which are two cubic roots of unity 13. The other root is 1 and corresponds to no detected error. Also here one can make parallels with the qutrit Eigenlogic Weyl-Heisenberg group operators in (41) and (42) for dimension d=3.

5. Logical Conjectures on Universality, Predicate Logic, Normal Forms and Combinatory Logic

Here we will propose some conjectures and perspectives for Eigenlogic that could inspire a work-program for a quantum-like general consistent approach in logic using operators.

5.1. Truth Table Method and the Eigenlogic Interpretation of Universal Quantum Gates

Emil Post showed that syntax and semantics are linked by demonstrating the consistency and completeness of a finite logical system [10]. He also showed that truth tables, representing logical semantics, are axiomatic at the same level as the logical conjunctive and disjunctive canonical forms representing the logical syntax. This has an important consequence: logical universality can be shown using different methods, using syntax with the universal logical connectives but also using the semantics by directly inspecting the truth tables.

All logical operations are uniquely described by their truth table. On Table I all the truth tables are shown for the 16 binary logical connectives for two inputs (arity-2). In binary propositional logic 8 logical connectives when combined with the one input (arity-1) negation connective NOT form a universal logical set. These are AND, OR, NOR, NAND, implication AB, non-implication AB, inverse implication AB and inverse non-implication AB. The 8 remaining ones are non-universal, these are the logical projectors A and B and their negations ¬A and ¬B, equivalence , exclusive disjunction XOR, contradiction F and tautology T.

Looking at the four values of the truth tables given in Table 1, one notices an interesting fact: the universal logical connectives have an unbalanced truth-table structure; more precisely, among the four truth-values the number of F (False) and T (True) are always odd whereas the non-universal connectives have always an even number of F and T. In Eigenlogic this fact can be transposed to the eigenvalue structure. For the involution logical operators with eigenvalues {+1,1} the universal logic operators correspond then to non-separable (also called non-local) quantum gates, meaning that they cannot be expressed as a single Kronecker product [15,16].

As an example, let us take the Eigenlogic involution conjunction GAND which is equivalent to the CONTROL-Z quantum gate CZ of Section 2.3. Considering its operator form in (11) and expressing it as a function of the seed operator Z it is clear that it cannot be put in the form of a single Kronecker product of two operators but is a sum of Kronecker products.

GAND=CZ=12(I4+U+VUV)=12(I2I2+ZI2+I2ZZZ) (46)

The other universal logic operators, as clearly shown on Table 1, have a similar operator structure as in (46). On the other hand the remaining 8 non-universal logic operators are Kronecker products, for example:

GA=U=ZI2 , GB=V=I2Z , GXOR=ZZ (47)

From a quantum computing perspective non-local operators are essential for building universal quantum gates. The CONTROL-NOT gate CNOT (see Section 2.3), which is a non-local 2-qubit gate, associated with a non-trivial one-qubit gate (essentially a rotation operator) constitutes a universal quantum gate set. It is also important to notice that only these non-local control gates have an entangling power when applied on qubits that are not eigenstates [15,16]. This states clearly the correspondence between universal quantum logic gates and entanglement which is an accepted fact in quantum computing.

5.2. Towards First Order Eigenlogic: A Link with Grover’s Algorithm

Using two maximally incompatible logical families with logical eigensystems associated to the X and Z gates (resp. the σ^x and σ^z Pauli operators) one gets an interesting outlook: the quantum Grover amplification gate [15], used in the Grover algorithm [29], corresponds to the multi-qubit involution Eigenlogic negated disjunction operator NOR in the X system. This operator can be interpreted in the Z system as a predicative logical existential connective .

An example of a circuit implementing the Grover algorithm on 3 qubits with a phase oracle gate followed by the Grover gate is shown in Figure 1. The Grover algorithm looks for one element among 8, here the state |111, that satisfies the logical propositional clause P represented by the phase oracle gate. The phase oracle is here a doubly-CONTROL-Z gate, CCz, which corresponds to a 3-qubit Eigenlogic conjunction (AND, ). The Grover amplification gate is the 3-qubit Eigenlogic NOR diagonal in the X system eigenbasis. Restated in the language of first order logic this circuit operates the following logical proposition:

a P(a)  ¬(PXQXRX) [PZQZRZ] (48)

Figure 1.

Figure 1

Quantum circuit for the phase oracle followed by the Grover amplification gate.

This argument derives from the Skolemization methods that provide constructive derivability approaches in first-order predicate logic using propositional logic.

The predicate proposition a P(a) (“there exists a satisfying P(a)”) can be decomposed, when considering a finite domain of variables, using a succession of disjunction and conjunction connectives. This fact is well known in logic.

This is just a first step in the direction of generalizing Eigenlogic to first order logic but we think that it could lead to new insights, for example, in the context of well-established quantum algorithms.

5.3. The Production Systems of Emil Post and the Role of Non-Commutativity

Emil Post proved that any formal system (e.g., any Turing machine) can be put into different reduced forms (the Post production systems) [30] and in particular in the canonical normal form, defined by one single axiom, giving a production rule for word-strings:

L A produces A R (49)

In the normal form (49) A is the argument string, L and R are the production strings, L A is the input string and A R the output string. So any string beginning with L may be replaced by the string in which L is removed and R is attached at the other end.

This formalism has been recently considered using matrices, where words in strings are replaced by an alphabet of elementary 2×2 matrices [31].

Using the non-commutativity of operators, the formulation (49) can also be understood as the action of non-commuting operators. Let us express this by the commutators B and D defined as:

B=[L,A]=LAAL , D=[R,A]=RAAR with LA=AR (50)

this gives the following relation:

B=A(RL) , D=(RL)A giving DA1=A1B (51)

The last expression in (51) can be considered as the operator analog of the normal form (49) using reversible operators. The case of commutation corresponds to R=L giving B=D=0 which signifies that the system cannot produce any new output, the output equals the input and so there is no change in the system.

A link with quantum computation could be established using these logical production systems using non-commuting reversible quantum gates.

5.4. Qauntum-Like Combinatory Logic

In 1924, Moses Schönfinkel [32] introduced a method in logic named Combinatory Logic. This research was part of the Hilbert program which aimed to formulate all the fields of mathematics in a consistent logic system by means of a finite set of axioms and inference rules. Haskell Curry successively improved and completed the research on combinatory logic [33]. This led to the development of functional programming languages such as Haskell, and Erlang.

Combinatory logic uses abstract operators (called combinators) to compose and to transform operators and arguments. The combinators I, K, S, B and C have the following rules:

Ix=x ; Kxy=x ; Sxyz=xz(yz) ; Cxyz=xzy, (52)

where the symbols x, y and z denote the position on which the combinator acts and can designate numbers, functions or operators. Brackets are used to denote the order of the application and are omitted when the sense is clear. The two combinators S and K form a basis for all combinatory logic, shown by the following relations:

I=SKK ; B=S(KS)K ; C=S(BBS)(KK) (53)

Schönfinkel’s method permits to translate first order logic well-formed formulas into expressions without variables using only the combinators I, K, S, B and C. In this way, combinatory logic solves the decision problem, in a first-order logic proposition, of how logical variables are bounded to the universal quantifier and the existential quantifier without the need of any variable,

Can this formulation be converted using the operators discussed in this paper or more generally using quantum gates? Research has been undertaken proposing a reversible version of combinatory logic in [34] where the motivation was the development of a form of semantics based on linear operator algebras supporting a compositional approach to (probabilistic) program analysis. The author of the paper, Alessandra di Pierro, considers that “…reversible combinatory logic can in principle be used for a (maybe highly inefficient) translation of classical into quantum computation”.

A tentative approach to link combinatory logic to quantum computation could consist in identifying the different operations of substitution, elimination, permutation, etc., with equivalent operations obtained using common quantum gates. There are some nice tricks in quantum computation that could be used to fulfill these requirements. These tricks use two-qubit quantum gates. For example using the non-local CONTRIOL-Z gate CZ (see Section 2.3) one obtains the function of elimination needed for the combinator K, the trick is [15]:

CZ  (XZ)  CZ=XI2 (54)

In (54) XZ represents the Kronecker product of the Pauli operators X=σ^x and Z=σ^z, the dot corresponds to matrix product. One sees that Z appearing on the l.h.s. in (54) has been eliminated. The interesting property here is also reversibility because CZ  is an involution operator, CZ2=I4, so relation (54) can be reversed.

Also, the involution SWAP gate [15] Uswap could be used for permutation, by the known relation:

Uswap  (PQ ) Uswap =QP (55)

which could be related to the combinator C.

Of course this is only a tentative approach and needs to be finalized, but there seems to be no technical reason why these combinatory operations could not be realized with quantum gates.

6. Conclusions

This work shows a new quantum-like approach in logic. It stems from recent research having contributed to the Quantum Interaction community, where quantum formalism is used outside the field of physics. Research efforts in this community have, for example, presented global quantum-like approaches for humanities [35]. The approach presented in this paper is also related to quantum-like models that have been used for studies in Information Retrieval [36] and Semiotics [37].

Linear algebra is used nowadays everywhere because it has become the standard tool of the computer based disciplines related to the Big Data revolution such as Machine Learning, Neural Networks, and Artificial Intelligence etc. Formalizing logic in an operator matrix language, as is done in Eigenlogic, could bring benefits because logic can be treated directly in this framework. This new approach using logic and operators could be inspired by recently proposed quantum-like machine learning methods using density matrix operators [38].

We also pointed out in this research the central role played by truth-table logical semantics as a major tool for adapting logic to physics showing the importance of the choice of the logical alphabet. Eigenlogic treats semantics in a most natural way because it is essentially given by the eigenstructure of the logic operators. Also the much investigated syntactic-semantic duality in logic is in some way unified in this approach.

History shows that, at their foundations, logic and quantum mechanics travelled on the same roads, and there were many interactions between mathematicians and physicists. Inspired by several approaches in logic, we made some conjectures that could in fine bring to a consistent logical program using the common tools which are being developed for the development of the quantum computer such as quantum gates and quantum algorithms. We aimed to open some paths in this direction.

Author Contributions

Writing-original draft, Z.T.; Writing–review and editing, F.D. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  • 1.Neumann J.V. Mathematical Foundations of Quantum Mechanics. Princeton Univ. Press; Princeton, NJ, USA: 1955. p. 247. (transl. Neumann, J.V. From Grundlehren der Mathematischen Wissenschaften; 38nd ed., Springer: Berlin/Heidelberg, Germany, 1932) [Google Scholar]
  • 2.Birkhoff G., Neumann J.V. The Logic of Quantum Mechanics. Ann. Math. 1936;37:823–843. doi: 10.2307/1968621. [DOI] [Google Scholar]
  • 3.Girard J.-Y. The Blind Spot: Lectures on Logic. European Mathematical Society; Zürich, Switzerland: 2011. Ch 1 Existence vs. Essence, 1.3 Gödel and after; p. 11. [DOI] [Google Scholar]
  • 4.Dalla Chiara M.L., Giuntini R., Leporini R., Sergioli G. Quantum Computation and Logic—How Quantum Computers Have Inspired Logical Investigations. Springer; Berlin/Heidelberg, Germany: 2018. Trends in Logic (Book 48) [DOI] [Google Scholar]
  • 5.Boole G. The Mathematical Analysis of Logic: Being an Essay to a Calculus of Deductive Reasoning. Macmillan, Barclay & Macmillan; Cambridge, UK: 1847. [Google Scholar]
  • 6.Dubois F., Toffano Z. Lecture Notes in Computer Science. Springer; Berlin/Heidelberg, Germany: 2017. Eigenlogic: A Quantum View for Multiple-Valued and Fuzzy Systems. Quantum Interaction. QI 2016; pp. 239–251. [DOI] [Google Scholar]
  • 7.Benioff P. The Representation of Numbers in Quantum Mechanics. Algorithmica. 2002;34:529–559. doi: 10.1007/s00453-002-0982-5. [DOI] [Google Scholar]
  • 8.Zadeh L.A. Fuzzy sets. Inf. Control. 1965;8:338–353. doi: 10.1016/S0019-9958(65)90241-X. [DOI] [Google Scholar]
  • 9.Łukasiewicz J. On three-valued logic. Ruch Filozoficzny. 1920;5:170–171. [Google Scholar]
  • 10.Post E.L. Introduction to a General Theory of Elementary Propositions. Am. J. Math. 1921;43:163–185. doi: 10.2307/2370324. [DOI] [Google Scholar]
  • 11.Miller D.M., Thornton M.A. Multiple Valued Logic: Concepts and Representations. Synth. Lect. Digit. Circuits Syst. 2007;2:1–127. doi: 10.2200/S00065ED1V01Y200709DCS012. [DOI] [Google Scholar]
  • 12.Boole G. An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities. Macmillan, Barclay & Macmillan; Cambridge, UK: 1854. [Google Scholar]
  • 13.Montanaro A., Osborne T.J. Quantum Boolean Functions. CJTCS. 2010;1:1–45. doi: 10.4086/cjtcs.2010.001. [DOI] [Google Scholar]
  • 14.Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. A. 1985;400:97–117. doi: 10.1098/rspa.1985.0070. [DOI] [Google Scholar]
  • 15.Mermin D. Quantum Computer Science: An Introduction. Cambridge University Press; Cambridge, UK: 2007. [DOI] [Google Scholar]
  • 16.Toffano Z., Dubois F. Interpolating Binary and Multivalued Logical Quantum Gates. Proceedings. 2018;2:152. doi: 10.3390/ecea-4-05006. [DOI] [Google Scholar]
  • 17.Formanek E. Polynomial identities and the Cayley-Hamilton theorem. Math. Intell. 1989;11:37–39. doi: 10.1007/BF03023774. [DOI] [Google Scholar]
  • 18.Poincaré H. Calcul des Probabilités. Gauthier-Villars; Paris, France: 1912. [Google Scholar]
  • 19.Benioff P. Quantum Robots and Environments. Phys. Rev. A. 1988;58:893–904. doi: 10.1103/PhysRevA.58.893. [DOI] [Google Scholar]
  • 20.Cunha R.A.F., Sharma N., Toffano Z., Dubois F. Fuzzy Logic Behavior of Quantum-Controlled Braitenberg Vehicle Agents. In: Lambert-Mogiliansky A., editor. Quantum Interaction. QI 2018. Lecture Notes in Computer Science. Volume 11690. Springer; Cham, Switzerland: 2019. pp. 111–122. [DOI] [Google Scholar]
  • 21.Toffano Z., Dubois F. Quantum eigenlogic observables applied to the study of fuzzy behaviour of Braitenberg vehicle quantum robots. Kybernetes. 2019;48:2307–2324. doi: 10.1108/K-11-2018-0603. [DOI] [Google Scholar]
  • 22.Khrennikov A. Ubiquitous Quantum Structure: From Psychology to Finances. Springer; Berlin/Heidelberg, Germany: 2010. [DOI] [Google Scholar]
  • 23.Boole G. Notes on quaternions. Philos. Mag. 1848;33:278–280. doi: 10.1080/14786444808646098. [DOI] [Google Scholar]
  • 24.Altmann S.L. Rotations, Quaternions, and Double Groups. Clarendon Press; Oxford, UK: 1986. [DOI] [Google Scholar]
  • 25.Johansson N., Larsson J.-A. Quantum Simulation Logic, Oracles, and the Quantum Advantage. Entropy. 2019;21:800. doi: 10.3390/e21080800. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 26.Durt T., Englert B.-G., Bengtsson I., Życzkowski K. On Mutually Unbiased Bases. Int. J. Quantum Inf. 2010;8:535–640. doi: 10.1142/S0219749910006502. [DOI] [Google Scholar]
  • 27.Lawrence J., Brukner Č., Zeilinger A. Mutually unbiased binary observable sets on N qubits. Phys. Rev. A. 2002;65:032320. doi: 10.1103/PhysRevA.65.032320. [DOI] [Google Scholar]
  • 28.Majumdar R., Basu S., Ghosh S., Sur-Kolay S. Quantum error-correcting code for ternary logic. Phys. Rev. A. 2018;97:052302. doi: 10.1103/PhysRevA.97.052302. [DOI] [Google Scholar]
  • 29.Grover L.K. A fast quantum mechanical algorithm for database search; Proceedings of the twenty-eighth annual ACM symposium on Theory of computing; Philadelphia, PL, USA. 22–24 May 1996; pp. 212–219. [DOI] [Google Scholar]
  • 30.Post E.L. Formal reductions of the general combinatorial decision problem. Am. J. Math. 1943;65:197–268. doi: 10.2307/2371809. [DOI] [Google Scholar]
  • 31.Potapov I., Semukhin P., ACM Decidability of the Membership Problem for 2 × 2 integer matrices; Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms; Barcelona, Spain. January 2017; pp. 170–186. [DOI] [Google Scholar]
  • 32.Schönfinkel M. Über die Bausteine der mathematischen Logik. Math. Ann. 1924;92:305–316. doi: 10.1007/BF01448013. [DOI] [Google Scholar]
  • 33.Curry H.B., Feys R. Combinatory Logic. Volume I North-Holland Co; Amsterdam, The Netherlands: 1958. [Google Scholar]
  • 34.Di Pierro A. On Reversible Combinatory Logic. Electron. Notes Theor. Comput. Sci. 2006;135:25–35. doi: 10.1016/j.entcs.2005.09.018. [DOI] [Google Scholar]
  • 35.Haven E., Khrennikov A. Quantum Social Science. Cambridge Univ. Press; Cambridge, UK: 2013. [Google Scholar]
  • 36.Barros J., Toffano Z., Meguebli Y., Doan B.L. Contextual Query Using Bell Tests. In: Atmanspacher H., Haven E., Kitto K., Raine D., editors. Quantum Interaction. QI 2013. Lecture Notes in Computer Science. Volume 8369. Springer; Berlin/Heidelberg, Germany: 2013. pp. 110–121. [DOI] [Google Scholar]
  • 37.Galofaro F., Toffano Z., Doan B.L. A quantum-based semiotic model for textual semantics. Kybernetes. 2018;47:307–320. doi: 10.1108/K-05-2017-0187. [DOI] [Google Scholar]
  • 38.Sergioli G. Soft Computing. Springer; Berlin/Heidelberg, Germany: 2019. Quantum and quantum-like machine learning: A note on differences and similarities; pp. 1–9. [DOI] [Google Scholar]

Articles from Entropy are provided here courtesy of Multidisciplinary Digital Publishing Institute (MDPI)

RESOURCES