Left residuated operators induced by posets with a unary operation

DOI10.1007/S00500-019-04028-WzbMATH Open1446.06005arXiv1810.07214OpenAlexW2963407668WikidataQ127928115 ScholiaQ127928115MaRDI QIDQ780122FDOQ780122

Authors: Ivan Chajda, Helmut Länger 

Publication date: 15 July 2020

Published in: Soft Computing (Search for Journal in Brave)

Abstract: The concept of operator left residuation has been introduced by the authors in a previous paper. 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.

Full work available at URL: https://arxiv.org/abs/1810.07214

Recommendations

• Residuated operators in complemented posets
• Left residuated lattices induced by lattices with a unary operation
• Logical and algebraic properties of generalized orthomodular posets
• Residuation in modular lattices and posets
• scientific article; zbMATH DE number 6416998

zbMATH Keywords

Boolean posetgeneralized operator residuationoperator left adjointnessoperator residuationpseudo-Boolean posetpseudo-orthomodular poset

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Unary algebras (08A60) Algebraic aspects of posets (06A11) Complemented lattices, orthocomplemented lattices and posets (06C15) Generalizations of Boolean algebras (06E75)

Cites Work

• The logic of quantum mechanics
• Residuated lattices. An algebraic glimpse at substructural logics
• Lattices With Involution
• A new view of effects in a Hilbert space
• On some properties of PBZ\(^*\)-lattices
• Forbidden configurations for distributive and modular ordered sets
• Residuation in orthomodular lattices
• Residuated operators in complemented posets
• Orthomodular lattices can be converted into left residuated l-groupoids
• Left residuated lattices induced by lattices with a unary operation

Cited In (9)

• Residuation in finite posets
• Residuation in modular lattices and posets
• A logical characterization of multi-adjoint algebras
• Operator residuation in orthomodular posets of finite height
• Residuated operators in complemented posets
• Residuated operators and Dedekind-MacNeille completion
• Right adjoint algebras versus operator left residuated posets
• Left residuated lattices induced by lattices with a unary operation
• Logical and algebraic properties of generalized orthomodular posets

This page was built for publication: Left residuated operators induced by posets with a unary operation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q780122)