Properties of Associated Implication Algebra on a Partial Ordered Set

• 偏序集上关联蕴涵代数的性质