伪差偏序集的公理系统(英文)

The Axiom Systems of Pseudo-difference Posets

伪差偏序集已经被引进作为一类新的量子逻辑结牺.本文证明了伪差偏序集定义中的公理(PD6)不是独立的,从而得到了一些较简单的公理系统,证明了伪差偏序集是 D-偏序集的非交换推广,正如伪效应代数是效应代数的非交换推广一样.

Pseudo-difference posets have been introduced as a new quantum logic structure. In this paper, we show that the axiom （PD6） in the definition of pseudo-difference posets is not independent, and hence obtain some simpler axiom systems. We show that pseudo-difference posets are a noncom- mutative generalization of D-posets as if pseudoeffect algebrat to effect algebras.