Title: Left residuated operators induced by posets with a unary operation
Language: English
Authors: Chajda, Ivan
Länger, Helmut
Category: Research Article
Issue Date: 2019
Journal: Soft Computing
ISSN: 1433-7479
The concept of operator left residuation has been introduced by the authors in their previous paper (Chajda and Länger in Asian Eur J Math 11:1850097, 2018). Modifications of so-called quantum structures, in particular orthomodular posets, like pseudo-orthomodular, pseudo-Boolean and Boolean posets are investigated here in order to show that they are operator left residuated or even operator residuated. In fact, they satisfy more general sufficient conditions for operator residuation assumed for bounded posets equipped with a unary operation. It is shown that these conditions may be also necessary if a generalized version using subsets instead of single elements is considered. The above-listed posets can serve as an algebraic semantics for the logic of quantum mechanics in a broad sense. Moreover, our approach shows connections to substructural logics via the considered residuation.
Keywords: Operator residuation; Operator left adjointness; Boolean poset; Pseudo-Boolean poset; Pseudo-orthomodular poset; Generalized operator residuation
DOI: 10.1007/s00500-019-04028-w
Library ID: AC15521939
URN: urn:nbn:at:at-ubtuw:3-7665
Organisation: E104 - Institut für Diskrete Mathematik und Geometrie 
Publication Type: Article
Appears in Collections:Article

Files in this item:

Show full item record

Page view(s)

checked on Jun 7, 2021


checked on Jun 7, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons