A Probabilistic Paraconsistent Logical Model for Non-Relativistic Quantum Mechanics Using Interlaced Bilattices with Conflation and Bernoulli Distribution

In this work, we make a representation of non-relativistic quantum theory based on foundations of paraconsistent annotated logic (PAL), a propositional and evidential logic with an associated lattice FOUR. We use the PAL version with annotation of two values (PAL2v), named paraquantum logic (PQL), where the evidence signals are normalized values and the intensities of the inconsistencies are represented by degrees of contradiction. Quantum mechanics is represented through mapping on the interlaced bilattices where this logical formalization allows annotation of two values in the format of degrees of evidence of probability. The Bernoulli probability distribution is used to establish probabilistic logical states that identify the superposition of states and quantum entanglement with the equations and determine the state vectors located inside the interlaced Bilattice. In the proposed logical probabilistic paraquantum logic model (pPQL Model), we introduce the operation of logical conflation into interlaced bilattice. We verify that in the pPQL Model, the operation of logical conflation is responsible for providing a suitable model for various phenomena of quantum mechanics, mainly the quantum entanglement. The results obtained from the entanglement equations demonstrate the formalization and completeness of paraquantum logic that allows for interpretations of similar phenomena of quantum mechanics, including EPR paradox and the wave-particle theory.


Introduction
Studying the effects of undulatory theory of light, researchers found that experiments in modern physics dealing with quantum mechanics lead to results that are incompatible with classical physics.This contradiction between classical theory and modern experimental research requires a fundamental modification of basic physical concepts and laws so that they can apply to atomic phenomena [1] [2] [3] [4].From these observations, investigations have been conducted to find the foundations of a new logic more suitable for creating equations and models for quantum mechanics [5].
The formalization of quantum logic has been studied in various ways; the best known of these was first presented in 1936 by John von Neumann and Garret Birkhoff [5], in which the authors discussed a new form of logic which, due to the quantum phenomena observed, would be incompatible with classical logic [5] [6].Other authors studied formalization of a quantum logic able to support logical models that could answer the questions relating to quantum phenomena [7]- [15].Among these works, we highlight those [13] [14] [15] where the authors use non-classical logics such as fuzzy and paraconsistent logic to create the formalization of a quantum logic.
This paper is organized as follows: in section 2, we present some of the key concepts of quantum mechanics, probability theory, and Bernoulli distribution.
In section 3, we present some concepts of non-classical paraconsistent logics and some representations by lattices, highlighting the main concepts of PAL.In section 4, we present the bilattices theory and the algebra of interlaced lattices.In section 5, we present the paraquantum logic (PQL) equations of the evidence and degrees of certainty and those of the contradiction represented in Belnap's bilattices.At the end of this section, we combine PQL with the theory of Bernoulli trials and the probability calculations, variance, and standard deviation.In Section 6, we present the results obtained by interpretations of the probabilistic paraquantum model and discuss their fundamentals and concepts.At the end of this section, we discuss the EPR paradox with the interpretation of the probabilistic paraquantum model and an application example.In section 7, we present our conclusions.

Concepts of Quantum Mechanics (QM)
QM, a branch of physics, studies the fundamental theory of nature at the small scales and energy levels of atoms and subatomic particles.In the mathematical formulation of QM, the state of a system at any given time is described by a complex wave function, also referred to as a state vector in a complex vector space [3]

Quantum Logic and Hilbert Space
Quantum logic is defined as the logic of Orthomodular lattices (OMLs) [5,6] and is conceptually very similar to the inherent properties of Hilbert space.The OML was introduced in 1936 by Birkhoff and von Neumann as an algebraic account of the logic of quantum mechanics [5] [6] [9]- [15].

Entanglement in Quantum Mechanics
One of the main phenomena of QM is the entanglement, considered to be the most non-classical manifestation of quantum formalism.The quantum entanglement is a quantum mechanical property that allows two or more objects to be related in such a way that it is not possible to describe one of them completely without relating it to the other(s).Entanglement can be studied from the initial condition that a pure quantum state can be represented by a vector in a complex Hilbert space with unit length.Thus, for each pure state ψ and any basis { } 1 , , n u u  , the state ψ can be extended to .If it cannot be written in this way, then the state is said to be entangled [7] [10] [11].

Observables and Measurement in Quantum Mechanics
In a general way, in Physics, an observable A is considered a dynamic variable that can be measured.For example, the position and momentum of a particle are

Probability in Quantum Mechanics
The principles of QM that define the probability p of an event occurring is given by the square of the norm of a complex number α (where α is called probability amplitude or magnitude) [2] [3] [4] [5] [7] [12] [30] [31].
The probability amplitude α is an event that will be denoted by final state initial state α = As can be seen in [15] and [16] [31], there are difficulties with a rigorous definition of probability for finding a better understanding of applications in QM.
For assigns to an event X, probability = 1 (0, respectively) if and only if assigns to the orthocomplement of X probability = 0 (1, respectively).Consequently, we are dealing with an operation that inverts the two extreme probability values, which naturally correspond to the truth-values truth and falsity (as in the clas-

Bernoulli Trial Process
The process of Bernoulli trials, named after Jacob Bernoulli, is one of the simplest random processes in probability, but very important in QM.Due to the probabilistic nature of QM, the Bernoulli trial process is useful for studying statistical quantum phenomena [28] [29] [32].Basically, the Bernoulli trial process is the mathematical abstraction of coin-tossing, and because of its wide applicability, it is usually stated in terms of a sequence of generic trials.A sequence of Bernoulli trials must satisfy the following assumptions: 1) Each trial has two possible outcomes called success (k = 1) and failure (k = 0).
2) The trials are independent; the outcome of one trial has no influence over the outcome of another trial.
3) In each trial, the probability of success is p and the probability of failure is 1 − p, where is the success parameter of the process.

Probability Mass Function (pmf) in the Bernoulli Trial Process
Let p be the probability of success in a Bernoulli trial, and q be the probability of failure, then the probability of success and the probability of failure sum to unity (one).Since these are complementary events, success (p) and failure (q) are mutually exclusive and exhaustive [28] [32].
The probability measure p is a function that relays an event's probability.We can consider that impossible events have a probability zero, and the probability is one if the event is certain to happen.Thus, p is a function p: F → [0, 1].The probability measuring function must satisfy the simple requirement that the probability of a countable union of mutually exclusive events is equal to the countable sum of the probabilities of each of these events [32].
The probability mass function (pmf) of this distribution, over possible out-

Expectation Value in the Bernoulli Trial Process
The Bernoulli trial process for a distributed random variable X is ( )

Variance (Var(X) = σ 2 ) and Standard Deviation (σ) in the Bernoulli Trial Process
The variance of X, written as Var(X) or indicated by the symbol σ 2 , is a measure of how much the value of X varies from the expectation E(X) [32].Var(X) has a central role in statistics and is defined as the expectation of the squared deviation of a random variable from its mean.In the Bernoulli distribution, this is defined as follows: Let X be a discrete random variable with the Bernoulli distribution and probability parameter p.Since the variance is the weighted sum of the squared distances from the mean it involves the probability for which we get 0 and the probability for which we get 1.The variance of X is then given by [32] ( ) ( )( ) ( ) The standard deviation of a probability distribution is given by symbol σ and is defined as the square root of the variance σ 2 :

EPR Paradox
In 1935 the paper [33] brought a text originally proposed to exhibit internal contradictions in the new quantum physics.The text is a paradox and it was resulted of thought experiment proposed by Albert Einstein, Boris Podolsky, and Nathan Rosen.Known today as the EPR paradox the authors hoped to show that quantum theory could not describe certain intuitive "elements of reality" and thus was either incomplete or demonstrably incorrect.

Non-Classical Paraconsistent Annotated Logic
A formal system based on logic binary principles that differs in a significant way from classic logical systems is considered a non-classic logical system.
There are several types of non-classical logics and the aim of this formalization is to construct different models of logical consequence and logical truth [15] [17] [25].A paraconsistent logic is a non-classical logic whose main foundation is its tolerance to contradiction without trivialization [14] [15].

Paraconsistent Logic and Many-Valued Logic
Many-valued logic is a non-classical logic because it rejects bivalence, allowing for truth values other than true and false and can be represented by lattices [25] [27].With these fundamentals, the many-valued logics present characteristics of the paraconsistent logics family.

Paraconsistent Four-Valued Logic
Belnap [5] [24] provides a semantic characterization of a complex four-valued logic that aims to formalize the internal states of a computer.
An appropriate non-classical axiomatization is defined that captures the semantic where there are four states: (t), (f), (N), and (B), where (N) and (B) are abbreviations of (None) and (Both), respectively.
Based on these four states recognized as input, a computer can determine the suitable outputs [24] [26].Belnap's four-valued logic is paraconsistent logic and can model both incomplete (N) and inconsistent (B) information [5] [24].
In propositional logic concepts, we have the following: (t) the proposition is true (f) the proposition is false (N) the proposition is neither true nor false (B) the proposition is both true and false From this, (N) corresponds to incompleteness and (B) inconsistency.
Four-valued logic has logical symbols ∼, ∧, ∨ and is based on the approximation lattice with a different ordering.
In Belnap's work [5] [24], semantics for the language of four-valued logic with the logical symbols are presented.

Paraconsistent Annotated Logic (PAL)
PAL [19] [20] [21] is an extension of paraconsistent logic and it can be presented with the annotation of two values (PAL2v where We note that τ is a complete lattice under ≤ .The bottom element of the lattice τ is [ ] 0, 0 , the paracompleteness state, whose symbol is ⊥ , and the top element is the inconsistent state [ ] 1,1 , whose symbol is T .Therefore, the PAL has an associated lattice τ (lattice FOUR), as shown in Figure 1, in which the connotation of logical states can be assigned to its vertices [18] [20] [21].

Theory of Bilattices
Bilattices are algebraic structures introduced in 1988 by Ginsberg [34] as a uniform framework for inference and logical analysis in the field of artificial intelligence.These bilattice structures were presented in order to formalize hypothetical and uncertain reasoning and were extensively studied by Ginsberg and others involved in programming logic and truth theory [20] [34].

Bilattice Representation
In general, a bilattice representation has two kinds of ordering, a truth ordering t ≤ and a knowledge ordering k ≤ .Therefore, a bilattice is a structure The ordering k ≤ is described as ranking the "degree of information (or knowledge)".
The bottom in k ≤ is denoted by ⊥ -Paracomplete and the top by T -In- The ordering t ≤ is describing as ranking the "degree of truth".
The bottom in t ≤ is denoted by f-false and the top by t-true.A bilattice B is defined by Ginsberg [34]

Interlaced Bilattice
An interlaced bilattice is a structure t , , k B = Β ≤ ≤ , where 1) both t ≤ and k ≤ give B the structure of a lattice and 2) the meet and join operations for each partial ordering are monotone with respect to the other ordering: Bilattices are required to be complete, and they have tops and bottoms.Interlaced bilattices, as defined above, do not have a completeness requirement, but it is assumed that all such structures have tops and bottoms with respect to both orderings [20] [25] [34].In an interlaced bilattice, an operation associated with one of the lattice orderings is required to be monotonic with respect to the other lattice ordering.Note that this condition is a different kind of connection between the two orderings considered via negation.
In general, the interlaced bilattice properties can be defined as follows: L , ≤ be lattices.
By 1 2 L L  , we mean the structure If 1 L and 2 L are lattices (with tops and bottoms), Furthermore, if 1 2 L L = , then the operation given by , , x y y x ¬ = satis- fies the negation conditions of definition 1of bilattices.
Finally, if both 1 L and 2 L are complete lattices, 1 2 L L  satisfies the completeness condition for bilattices.
By intuition, we consider that if ( ) 1 2 ; L L x y ∈ × , then x represents the information for some assertion, and y is the information against it.Journal of Quantum Information Science Other properties that permit logical operation of 1 2 L L  are given below.
-Let L be a complete lattice with a join L ∪ and a meet L ∩ .Then 1 2 L L  is a bilattice with the following basic operations: In an interlaced bilattice, we take a conflation ( ) − of T to be ⊥ , and conversely, negation ( ) ¬ of true t and false f to be themselves again.Then lemma: For logical negation, ( ) For logical conflation, ( ) The four basic elements of 1 2 L L  are the following [20] [25] [34]:

Material and Methods
In this work, our objective is to use concepts of PAL2v to find a logical model Journal of Quantum Information Science that is able to simulate phenomena found in quantum mechanics.PAL2v is based on fundamentals that allow some quantum mechanical phenomena to be modeled and so it is a quantum logic, named paraquantum logic (PQL).Therefore, for the construction of a probabilistic paraquantum model (pPQL-Model) we will associate PQL with the interlaced bilattice FOUR (Belnap's bilattice) and involve probability theory through the Bernoulli distribution.

pPQL-Model Associated at Interlaced Bilattice FOUR
For the construction of a pPQL-Model, we start by associating PQL with the interlaced bilattice FOUR (Belnap's bilattice).

PQL and Interlaced Bilattice FOUR (Belnap's Bilattice)
The properties of the interlaced Belnap's bilattice suggest that we can compare outcomes not only from the classical viewpoint, as either being true or false, but also others that may be contradictory.
As was seen in section 4.2, an interlaced bilattice is defined as a bilattice satisfying the condition that the meet and join operations for each partial ordering must be monotonic with respect to the other ordering.
Belnap's four-valued bilattice is an example of a nontrivial interlaced bilattice and it is denoted by , where is inconsistent (both true and false) or possible, and 0 k ⊥ = is paracomplete (neither true nor false ) or unknown.These values can be given two natural orders, truth order t ≤ and knowledge order k ≤ , such that Meet and join operators under t ≤ are denoted as ∧ and ∨; they are natural generalizations of the usual conjunction and disjunction notions, so f ∧ ⊥ = T and t ∨ ⊥ = T .
Meet and join operators under k ≤ are denoted ⊗ (consensus, because it produces the most information that two truth values can agree on) and ⊕ (gullibility, because it accepts anything it is told), so f t ⊗ = ⊥ and f t ⊕ = T .
There is a natural notion of truth negation, denoted as ¬ (reverses the t ≤ ordering, while preserving the k ≤ ordering), switching f and t, leaving ⊥ and T ; the corresponding knowledge negation (conflation), denoted as  (re- verses the k ≤ ordering, while preserving the t ≤ ordering), switching ⊥ and T , leaving f and t.In logical analysis, this term "conflation" is used when the identities of two or more distinct objects (individuals, concepts, or logical states) sharing some characteristics of one another appear to be a single identity and the differences appear to become lost.
The fusion of distinct concepts about objects sharing some characteristics tends to obscure analysis of relationships that are emphasized by contrasts.

Mapping between USCP-Lattice k (USCP: Unit Square in the Cartesian Plane) and Interlaced Bilattice FOUR
A mapping (T) from a complete lattice L to another L is strict iff ( ) where ⊥ is the least element of L. As L is a complete lattice, such an element is guaranteed to exist.Mapping T over complete lattices under a specified ordering (such as Belnap's bilattice FOUR) of truth values and where ¬ is an injective and strict function from L to L presumes that L contains all elements of L.
The mappings between complete bilattices can produce equations that help to find quotients of similarity for analyses of mathematical and efficient data processing [17] [20].Following these procedures, we will perform a mapping of a complete USCP-lattice k (USCP: unit square in the cartesian plane) to the complete bilattice FOUR (Belnap's bilattice).
As seen in Figure 2, through this mapping, paraconsistent transformations (PT) and logic truth-values represented in bilattice FOUR that can be obtained from USCP-lattice k are produced.
In the mapping USCP-lattice k → Belnap's bilattice, three stages are required with actions on the USCP-lattice k to obtain paraconsistent transformations: a) scale expansion, b) rotation by 45˚, and c) translation in the y axis [18] [22] [23].a) Scale expansion: In paraconsistent transformations, the scale is increased in USCP-lattice k as follows: consider point P(x, y) and P'(X, Y) as point coordinates after scaling.Scaling entails multiplying each point Pi of an object by both a horizontal (Sx) and a vertical (Sy) scale factor.Function T is defined as ( ) ( ) b) Rotation by 45˚: For paraconsistent transformation, 45˚ rotation is made in the USCP-lattice κ from its origin; therefore, ( ) ( ) ( ) From Equation ( 12), we have 1 ( )   ) ( )

Equations of Certainty and Contradiction Degree in the Interlaced Bilattice FOUR
The representation of degrees of evidence in the interlaced bilattice FOUR (Belnap's bilattice) is made considering the certainty degree (Dc) from Equation ( 14) as X3 and the contradiction degree (Dct) as Y3 [18] [22] [23].
With this mapping on the interlaced bilattice FOUR, the equations are inserted in a set of complex numbers C, where the values of the certainty degree Dc will be exposed on the x-horizontal axis (real) and the values of the contradiction degree Dct exposed on the y-vertical axis (imaginary).Figure 3 shows the mapping of the USCP-lattice k, where the degrees of favorable (μ) and unfavorable (λ) evidence are exposed, to the complete bilattice FOUR (Belnap's bilattice), where the certainty degree Dc (horizontal real axis) and contradiction degree Dct (vertical imaginary axis) are exposed [18] [22] [23].
A paraconsistent logical state ψ is considered as the point of intersection between the certainty degree Dc and the contradiction degree Dct located in the interlaced bilattice FOUR.Therefore, the representation of a paraconsistent logical state ψ, will be [22] [23]: ( )

Action of Logical Negation in the Interlaced Bilattice FOUR
We consider that [ ] , µ λ is the annotation that belongs to the set B of interlaced

Action of Logical Conflation in the Interlaced Bilattice FOUR
The logical conflation is a logical operation that the interlaced Belnap's bilattice admits.
We consider that ( ) x y is the truth values, where ( ) x y belong to the set B of interlaced bilattice FOUR.
The conflation operation  is represented by for PQL and the interlaced Belnap's Bilattice FOUR associated with it, we have where [ ] µ λ is the annotation (truth values), such that As the evidence degrees [ ] , 1, 0 µ λ ∈ ⊂ ℜ , for each logical conflation opera- tion of Equation ( 18) the contradiction degree (Equation ( 16)) changes the sign and the certainty degree (Equation ( 15)) remains.Therefore, for the action of

Representation of the Probabilistic Paraquantum Logical Model (pPQL-Model)
The representation of the pPQL-Model is built from modeling the USCP-lattice k with the probability values of the Bernoulli distribution.In this way, the USCP-lattice k mapping will apply the probabilistic values on the interlaced bilattice FOUR (Belnap's bilattice).In the pPQL-Model, the probability p is an outcome that generates the degrees of evidence for the analysis of a proposition P for affirmation (true) or refutation (false).For example, we can relate the proposition P with a probability mass function (pmf) of the Bernoulli distribution (Equation ( 3)) with the k = 1 success (result H-heads) and k = 0 failure (result T-tails).
The results in linear variation and relationship determined by the variance σ 2 with Equation ( 5) can be seen in Figure 4.
As in PQL theory, an annotation is composed of the two values of degrees of evidence at probability p; then for application of degrees of evidence in the pPQL-Model, we have the following: With k = 0, the pmf generates the values for the unfavorable evidence degree at probability p.
With k =1 the pmf generates the values for the favorable evidence degree at probability p.
The degrees of evidence (μ and λ) that will form the annotation are extracted from the pmf obeying the Bernoulli distribution for a single Bernoulli trial (launch of a coin) or for two Bernoulli trials (launch of two coins) simultaneously.

Representation at Bilattice FOUR of a Single Bernoulli Trial
For a single Bernoulli trial (launch of one coin), the representation can be made considering that the variance σ 2 has values obtained by Equation ( 5), where a  shown in Figure 4).For the initial modeling, we can consider that a greater variance value means that a conclusion on the logical state that results in True (t) or in False (f) will be made with a higher degree of uncertainty.This situation is represented by the PQL through the certainty degree (Dc) equal to zero (Equation (15)).Otherwise, a minor variance value leads to a conclusion on the logical state that results in True (t) with the certainty degree (Dc) equal to 1 or results in False (f) with the certainty degree (Dc) equal to −1.
It can be assumed that the increase in the variance value reduces the value of the certainty degree (D c ) in both logical states, True (t) and False (f).In this way, the value of the variance, when related to the pPQL-Model, will be compared to the values of the degrees of unfavorable evidence at probability p.As changes in probability p are represented by two straight lines generated by the pmf (Equation (3)), the relationship with the favorable degree of evidence at probability p is represented by the complementary value.
In the Bernoulli distribution, the standard deviation σ (Equation ( 6)) and the variance σ 2 (Equation ( 5)) have the same characteristics related at evidence either favorable or unfavorable to probability p.Then, for a better representation in the bilattice FOUR, we use the standard deviation σ in the equations.Under these conditions, the degrees of evidence will be represented in the pPQL-Model by the following equations.
The degree of unfavorable evidence at probability p is to the True logical state (t): ( ) ( ) The degree of favorable evidence at probability p is the complement: The maximum value for the standard deviation σ will be for probability p = 0.5.Then, it will be 2 0.5 σ = , which leads to the degrees of evidence at a range variation from 0 to 0.5.Therefore, a constant value of 0.5 will be added so that the degrees of evidence can reach a complete unitary value.With these assumptions, the extraction mode of evidence degrees results in the following: In relation to the True logical state (t), the favorable degree of evidence at probability p is and the unfavorable degree of evidence at probability p is In relation to the False logical state (f), the favorable degree of evidence at probability p is and the unfavorable degree of evidence at probability p is Then, for the separate analysis, we have the following: a) For the True logical state (t), the degree of favorable evidence (µ) at probability p (Equation ( 19)) and the degree of unfavorable evidence (λ) at probability p (Equation ( 20 Figure 5 shows the extraction mode of degrees of evidence through the pmf of the Bernoulli distribution. For example, the computed values of evidence degrees at probability p = 0.5 are ( ) b) For the False logical state (f) the degree of favorable evidence (μ) at probability p (Equation ( 21)) and the degree of unfavorable evidence (λ) at probability p (Equation ( 22)): The certainty degree is a function of p and it is represented from Equation ( 15) by , where From equation ( 16), as ( ) ( ) the contradiction degree will always be null.The paraquantum logical state is a function of p and it is represented from equation ( 17) by For example, the computed values of evidence degrees at probability p = 0.5 are The computed values of evidence degrees at probability p = 1 and p = 0 are Figure 6 shows the representation of the single Bernoulli trial on paraquantum analysis using interlaced bilattice FOUR.

Indistinguishability between Paraquantum Logical States
In the Paraquantum analysis, before the logical state is set between True (t) and Figure 6.Representation of the single Bernoulli trial using interlaced bilattice FOUR.
False (f), the variance σ 2 causes indistinguishability between the two.
This indistinguishability between the True logical state (t) and the False logical state (f) is represented by the exchange of position between the degrees of favorable (µ) and unfavorable (λ) evidence; this effect is due to the logical negation represented in Equation ( 7) and the logical conflation represented in Equation (18).In this condition, the two logical states, True (t) and False (f), are in superposition and in a state of entanglement.

Action of Logical Negation for the Single Bernoulli Trial on the Interlaced Bilattice FOUR
The actions of operation of logical negation are described as follows: For the True logical state (t), the operation of logical negation from Equation ( 7) with evidence degrees of Equations (( 19), ( 20)) are: , , 0.5 1.0 , 0.0 0.5 0.0 0.5 , 0.5 1.0 For the logical False state (f), the operation of logical negation from Equation ( 7) with evidence degrees of Equations (( 22), ( 23)) are: , , 0.0 0.5 , 0.5 1.0 0.5 1.0 , 0.0 0.5 Therefore, variations in degrees of evidence happen in a complementary manner with the logical negation operation.

Action of Logical Conflation for the Single Bernoulli Trial on the Interlaced Bilattice FOUR
The actions of the operation of logical conflation are described as follows: For the True logical state (t), the operation of logical conflation from Equation ( 18) with evidence degrees of Equations (( 19), ( 20)) are: 0.5 1.0 , 0.0 0.5 0.5 1.0 , 0.0 0.5 For the False logical state (f), the operation of logical conflation from Equation (18) with evidence degrees of Equations ((21), ( 22)) are: 0.0 0.5 , 0.5 1.0 0.0 0.5 , 0.5 1.0 Therefore, in the single Bernoulli trial, there is no difference in the variation of the degrees of evidence with the operation of the logical conflation.This means that the operation of the conflation has no logical action because there is no contradiction in this situation.
For a single Bernoulli trial that does not have any inconsistencies, the superposition state can be calculated using the degree of contradiction (D ct ) (Equation ( 16)), and the value remains null.The uncertainty could also be estimated by the degree of certainty (D C ) (Equation ( 15)); however, the double values of degrees of evidence that continuously change position induce indistinguishability and produce the uncertainty value corresponding to the zero degree of certainty.

Representation of Two Bernoulli Trials in Simultaneous Mode at Interlaced Bilattice FOUR
In the representation, in an interlaced bilattice FOUR (Belnap's bilattice) for two Bernoulli trials in simultaneous mode (launch of two coins), two variances are considered based on the following theorem [32]: If X and Y are independent random variables, then This proof relies on when X and Y are independent.
Therefore, with two Bernoulli trials and Equation (35), one can consider the double variance as , where the double standard

Considering the probability values
Equation ( 26) can be rewritten as Matching ( 26) and ( 27), we have Multiplying by 2 on both sides of the equation, we can make an adjustment to the value of the probability p (the area under the parabolic curve in Figure 6) obtained by the pmf of the Bernoulli distribution: The last expression also can be rewritten (taking into consideration the single standard deviation σ from Equation ( 27)) as ( ) Equation ( 29) relates the values of the function of the probability p and represents the area under the parabolic curve in Figure 6.Therefore, for defines ( ) p µ , we can make the following analysis: -when 0.5 p = the Variance value is , and for representation of ( ) p λ , we chosen a value that is 0.5 in this same condition.Therefore, the equations that adapt in this condition are ( )  The largest value occurs when p = 0.5 and the smallest value is 0 when p = 0 and/or p = 1.There are two encounter points in probability p = 0.067 and p = 0.933 that mark the start and final for valid analyses in PQL.
We can consider Equation ( 29) as a generator of favorable and unfavorable degrees of evidence at probability p.In this condition, the two degrees μ and λ are generated in simultaneous mode for the two logical states, True (t) and False (f).This means that for two Bernoulli trials for the True logical state (t), two degrees of unfavorable evidence at probability p (λ pt ) and two degrees of favorable evidence at probability p (μ pt ) are generated.Vector C X , with the same direction of the certainty degree axis (horizontal), whose module equals the intensity complement of the certainty degree: Vector ct Y , with the same direction of the contradiction degree axis (vertic- al), whose module equals the intensity of the contradiction degree: , Equations ((36) and ( 37) From Equation (7),  7) is , , Since the operation of logical conflation from Equation ( 18) is Figure 8 shows the pPQL-Model associated at interlaced bilattice FOUR (represented by evidence degrees at probability p obtained by Equations ( 30) to (33)) with four superposed paraquantum logical states ψ sup and four state vectors P(ψ) of unitary module with inclination angle π 4 ψ α = .

Essays with pPQL-Model Associated at Interlaced Bilattice FOUR
With the pPQL-Model associated at interlaced bilattice FOUR, a representation was built that enables good visualization of the superposed paraquantum logical states behavior.
The probability-valued trials show results that can be represented both numerically and graphically. of unitary module and superposed paraquantum logical states ψ sup .

Results of Application of Probability Mass Function
Application of the pmf of the Bernoulli distribution causes changes in values of the degrees of evidence; the appearance of trajectory of the superposed paraquantum logical states located at the arrowheads at the ends of the state vectors.
For example, Figure 9 shows the results for the application of evidence de-   The annotation of paraquantum logical state ( ) From the analysis in this condition, only two logical states remained,

Results for Entangled Bell States
With the pPQL-Model associated at interlaced bilattice FOUR, we can obtain values for entangled Bell states [30] [34].The entangled Bell states are configured at p = 0.5 with the following values: The annotation of paraquantum logical state ( ) The annotation of paraquantum logical state ( ) The range of variation that takes the superposed paraquantum states from the Bell logical state to uncertainty is 0.933 0.067 0.866 p ∆ = − = .

Application of Cumulative Distribution Function (CDF)
The cumulative distribution function (CDF) can be used to establish stationary logic states represented in the interlaced bilattice FOUR.In this mode of representation, the stationary logical states will be located at points where the error is minimal.For example, we can choose the two states where the error is zero and in the discrete analysis a quantum leap would occur.
For continuum analysis between the two intervals, the pmf of the Bernoulli distribution would be used.
Figure 11 shows the application CDF in the intervals: p = 0 → p = 0.067 and p = 0.933 → p = 1.0; here the collapse of the wave function occurs; p = 0.067 → p = 0.45 and p = 0.55 → p = 0.933; here the steady state of Bell occurs; p = 0.433 → p = 0.567, which is the undefinite logical state; in this interval, the state is governed by pmf.
The result is the vector state module of practically unitary, MP(ψ) = 1.

Comments and Discussion
In this work, the pPQL-Model associated at interlaced bilattice FOUR was presented in two ways.
The first mode was for the single Bernoulli trials process [28] [32] [35], where the experiment consists of just one flip of a coin.In this case, the outcome  Figure 12 shows the two analyses in PQL, the logical states, the consequences and equations of quantum effects.
For the paraconsistent logic with annotation of two-values, PAL2v, the resulting logical state for both modes after the final measurement will depend on the proposition used in the analysis.

Before Final Measurement
Before final measurement the Bernoulli trials process is modelled by the pPQL-Model associated at interlaced Bilattice FOUR.As seen in this study, in the pPQL-Model, the logical conflation was null when in the single Bernoulli trial study; however, it appears and produces the indistinguishability in case of two Bernoulli trials in simultaneous mode.For this second mode, before measuring the pmf of the Bernoulli distribution, it produces the probability variations p and causes variations in degrees of favorable evidence µ (p) and unfavorable evidence λ (p) .Due to these variations, the state vectors P(ψ) in the interlaced bilattice FOUR move and make the trajectory of the superposed paraquantum logical states ψ sup .
The logical conflation and logical negation in the interlaced bilattice FOUR produce the entanglement and superposition in both states.The superposition happens horizontally between False (f) and True (t), and in simultaneous mode, the superposition happens vertically with the exchange of vectors of states P(ψ) through the complex conjugate of the paraquantum logical states ψ pql .
With this reasoning, we can say that in the interlaced bilattice FOUR, the undefinition by superposition of horizontal states is represented by logical negation (Equation ( 7)).In contrast, the change of the state vectors, through complex conjugate of the logical state causes undefinition, represented in the interlaced bilattice FOUR by knowledge negation (conflation) (Equation ( 18)).Therefore, the logical operations conflation and negation are responsible for the effects of the quantum phenomena (entanglement and superposition) that are observed in the bilattice FOUR.

Final Result after Measurement
The final result after measuring identifies the consequences of superposition and entanglement of logical states in the interlaced bilattice FOUR.
Entanglement occurs due to ordering of the interlaced bilattice FOUR and to satisfy one of two classic logical states (True or False).
The knowledge negation (conflation) and logical negation mean that before measurement, we cannot distinguish the coins and the logical state of each of them.After the final measurement, the state vectors P(ψ) and the wave function collapse and the result will be one of the four logical states represented at the vertices of interlaced bilattice FOUR obeying the ordering of knowledge k ≤ and truth t ≤ of the bilattice.Meet (∧) and join (∨) operators under t ≤ are then used such that For final results, False f or Paracomplete ⊥ , as t t f t ≤ ⊥ ≤ , then the meet operator (∧) is applied: o Case results in False f , then the final result will be False f o Case results in Paracomplete ⊥ , then the final result will be false f For final results True t or Inconsistent T , as From the Equation (11d), f t ⊕ = T , and (11b), t ⊥ ∨ = T , the application of ≤ ≤ ¬ , where B denotes a non-empty set and t ≤ and k ≤ are par- tial orderings on B [20] [25] [34].

Figure 1 .
Figure 1.Paraconsistent annotated logic with annotation of two values (PAL2v) and associated lattice FOUR with annotations and logical conotation in its vertices.

=
, then the scale increase of USCP-lattice k is given by the first transformation:

Figure 2 .
Figure 2. Mapping between a USCP-lattice k to the complete bilattice FOUR.
, the final transformation is

Figure 4 .
Figure 4. Results of the application of the probability mass function (pmf) of the Bernoulli distribution and variance for k = 1 and k = 0.

.Figure 5 .
Figure 5. Extraction mode of degrees of evidence through the probability mass function (pmf) of the Bernoulli distribution.
Bernoulli trial (launch of one coin), there are two paraquantum logical states in the function of p.The probabilistic paraquantum state of the True logical State (t) is represented only by the False logical state (f) is represented only by ( ) p fDc .For the maximum and minimum variations of pmf of the Bernoulli distribution, the contradiction degree (Dct) will always be zero with the probability values ranging from 0 to 1 are generated by the pmf of the Bernoulli distribution.For a better analysis, we consider that the variation of the probability begins with an initial value p = 0.5; then for each probability value (p) that decreases, the corresponding complementary value (q = 1 − p) will increase.The variation of the probability values occurs along with changes in the valuesof the variance σ 2 and standard deviation σ.With the reduction in variance, both degrees of certainty (D C(p)f and D C(p)t ) increase simultaneously toward the True logical state (t) and the False logical state (f).Similarly, with the increase in variance, both degrees of certainty (D C(p)f and D C(p)t ) approach the undefined logical state (I) located at the point equidistant from the vertices of the bilattice FOUR.At the point of the undefined logical state (I) is the maximum variance with both degrees of favorable and unfavorable evidence equal to 0.5, which results in both degrees of certainty with zero values ((D C(p)f = D C(p)t = 0).

Figure 7
Figure 7 shows the graphs of ( ) p λ and ( ) p µ as a function of p ∈ [0,1] that

Figure 9 .
Figure 9. Results for evidence degrees at p = 0.067 to p = 0.933 of the module of state vector P(ψ) and error.
Equation (53), the representation of paraquantum logical state in C is ( , from Equation (54), the representation of paraquantum logical state in C is (

Figure 10 .
Figure 10.Results of the variation in the degree of contradiction and the complement of the degrees of certainty over a range of probability variations in simultaneous mode from 0.5 0.067 pf ∆ = ↔ and 0.5 0.933.pt ∆ = ↔

Figure 11 .
Figure 11.Application of cumulative distribution function (CDF) in the probability mass function (pmf) of the Bernoulli distribution; (a) CDF and complementary cumulative distribution function (CCDF); (b) graphic results for the module of state vector P(ψ) and error.

Figure 12 .
Figure 12.Two ways of PQL analysis, logical states and quantum effects.(a) Single Bernoulli Trial on the interlaced bilattice FOUR.(b) Two Bernoulli trials in simultaneous mode at interlaced bilattice FOUR.

o
Case results in True t , then the final result will be True t o Case results in Inconsistent T , then the final result will be True t Finally, from the Equation (11c) f t ⊗ = ⊥ and (11a) f ⊥ ∧ = T , the application of the meet operator (∧) will result in the final outcome False (f) for [0 0] and [0 1]: [ ] [ ] [ ] [ ] [ ] we have the following: .