.png){kind=icon}
Return
On quantum implication
.png){kind=icon}
OA
AI
DOI：10.1007/s42484-019-00005-6.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Logic is an algebraic structure that defines a set of abstract rules which govern an area of interest. The abstraction property of the rules makes them reusable tools to model different problems and to reason with them. The proliferation of quantum theory brought attention to quantum logic which is a lattice of projectors and it is of importance to quantum computing. Unfortunately, basic tools like implication are not sufficiently studied in that logic, which prevents us from exploiting the power of quantum mechanics in reasoning. This note investigates the implication issue in quantum logic and defines a quantum implication operator for compatible events as well as for incompatible events. The suggested operator depends both on the angle between the vector sub-spaces of the involved events and the angles between the system state and the vector sub-spaces. It differentiates between three cases depending on the angle between the events' sub-spaces. The article further shows through an example that some classical reasoning rules such as Modus Ponens and Modus Tollens hold given the suggested implication.
Keywords:
Quantum logic
Reasoning
Implication
Probability
Inference
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
Q
IF:
4.4
Papers:
440
Citations:
796
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSaveShareSaveShareSaveShareSave
ShareSave
View more