通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系.
Through the study of effect algebra and difference posets, the author introduces the partial implication-algebra form the point of implication. It is proved that implication-algebra and effect algebra are equivalent. Then, we talk about the relations of partial implication-algebra and other algebric forms