Physics – Quantum Physics
Scientific paper
2002-11-28
Physics
Quantum Physics
10 pages, 2 figures
Scientific paper
In the qubit semantics the \emph{meaning} of any sentence $\alpha$ is represented by a \emph{quregister}: a unit vector of the $n$--fold tensor product $\otimes^n \C^2$, where $n$ depends on the number of occurrences of atomic sentences in $\alpha$. The logic characterized by this semantics, called {\it quantum computational logic} (QCL), is {\it unsharp}, because the non-contradiction principle is violated. We show that QCL does not admit any logical truth. In this framework, any sentence $\alpha$ gives rise to a \emph{quantum tree}, consisting of a sequence of unitary operators. The quantum tree of $\alpha$ can be regarded as a quantum circuit that transforms the quregister associated to the atomic subformulas of $\alpha$ into the quregster associated to $\alpha$.
Dalla Chiara M. L.
Giuntini R.
Leporati Alberto
Leporini Roberto
No associations
LandOfFree
Qubit semantics and quantum trees does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Qubit semantics and quantum trees, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Qubit semantics and quantum trees will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-420375