Operator residuation in orthomodular posets of finite height
From MaRDI portal
Publication:6397227
arXiv2204.10794MaRDI QIDQ6397227FDOQ6397227
Authors: Ivan Chajda, Helmut Länger 
Publication date: 22 April 2022
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.
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Algebraic aspects of posets (06A11) Complemented lattices, orthocomplemented lattices and posets (06C15)
This page was built for publication: Operator residuation in orthomodular posets of finite height
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6397227)
