论文标题
有限高度的矫正率中的操作员残留
Operator residuation in orthomodular posets of finite height
论文作者
论文摘要
我们表明，对于有限高度的每个矫置POSET P，可以定义两个操作员，形成相对于订单样的关系，形成了一个订单样的关系。在P的功率集上定义的类似订单的关系。这使我们能够与所谓的Poset相对于所谓的Poset，与所谓的Poset相对应，可以从中回收原始的孔子popet P。而且，这种信件几乎是一对一。我们表明，这种操作员的构造也可以应用于所谓的弱矫形和双重弱的骨质posets。包括此类POSET的示例。
We show that for every orthomodular poset P of finite height there can be defined two operators forming an adjoint pair with respect to an order-like relation defined on the power set of P. This enables us to introduce the so-called operator residuated poset corresponding to P from which the original orthomodular poset P can be recovered. Moreover, this correspondence is almost one-to-one. We show that this construction of operators can be applied also to so-called weakly orthomodular and dually weakly orthomodular posets. Examples of such posets are included.
