Residuation in finite posets
From MaRDI portal
Publication:6327539
DOI10.1515/MS-2021-0021arXiv1910.09009MaRDI QIDQ6327539
Publication date: 20 October 2019
Abstract: When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective conjunction. We have already studied this problem for the logic of quantum mechanics which is based on an orthomodular poset or the logic of quantum effects based on a so-called effect algebra which is only partial and need not be lattice-ordered. For this, we introduced the so-called operator residuation where the values of implication and conjunction need not be elements of the underlying poset, but only certain subsets of it. However, this approach can be generalized for posets satisfying more general conditions. If these posets are even finite, we can focus on maximal or minimal elements of the corresponding subsets and the formulas for the mentioned operators can be essentially simplified. This is shown in the present paper where all theorems are explained by corresponding examples.
Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Pseudocomplemented lattices (06D15) Algebraic aspects of posets (06A11)
This page was built for publication: Residuation in finite posets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6327539)
