关于截面伪补偏序集上的蕴涵

截面伪补偏序集 $P$ 是指具有最大元，且其每个主序滤子均为伪补偏序集的偏序集。截面伪补运算在 $P$ 上导出了一个类蕴涵运算，若 $P$ 是相对伪补的，则该运算与相对伪补运算一致。我们刻画了此运算，并研究了装备此类蕴涵的上半格、下半格及格的一些基本性质。我们还讨论了几种较弱的蕴涵形式。截面伪补格已在文献中被研究过。