Exogenous Quantum Operator Logic Based on Density Operators

Yunguo Lin, Yongming Li

Although quantum logic by using exogenous approach has been proposed for reasoning about closed quantum systems, an improvement would be worth to study quantum logic based on densi…