分明量子逻辑

分明量子逻辑（sharp quantum logic），计算机科学技术名词，满足非矛盾律的量子逻辑。其主要模型包括正交模格和正交模偏序集。伯克霍夫（Birkhoff）和冯·诺依曼（von Neumann）提出的量子逻辑属于这一类。