Operator residuation in orthomodular posets of finite height
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2022
- DOI:
- 10.48550/arXiv.2204.10794
- arXiv:
- arXiv:2204.10794
- Bibcode:
- 2022arXiv220410794C
- Keywords:
-
- Mathematics - Logic;
- 06C15;
- 06A11;
- 03G17;
- 81P10