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

• Properties of Associated Implication Algebra on a Partial Ordered Set