Associated Implication Algebra on a Partial Ordered Set

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