Operator residuation in orthomodular posets of finite height
Ivan Chajda, Helmut Länger · Fuzzy Sets and Systems · 2023
We show that for every orthomodular poset P=(P,≤,′,0,1) 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. 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.