量子霍尔公理系统

量子霍尔公理系统（quantum Hoare axiomatic system），计算机科学技术名词，使用量子霍尔逻辑对量子程序的正确性进行推理的一组逻辑规则。应明生给出了量子霍尔逻辑的部分正确性和完全正确性公理系统，并证明它们都是可靠且完备的。