概率量子霍尔逻辑

概率量子霍尔逻辑（probabilistic quantum Hoare logic），计算机科学技术名词，由角谷良彦（Yoshihiko Kakutani）提出，不采用厄米（Hermite）矩阵作为量子谓词，而是把邓哈托（Den Hartog）的概率霍尔逻辑扩充为概率量子霍尔逻辑。这个逻辑称为QHL，是针对塞林格（Selinger）的QPL语言设计的。其中所有的概率状态被替换成混合量子态，而在逻辑公式中则加进了酉变换。需要获取信息时只能通过测量获取它的经典值。