Left residuated operators induced by posets with a unary operation

DOI10.1007/S00500-019-04028-WMaRDI QIDQ780122zbMATH OpenOpenAlexWikidataFDO

Authors Ivan Chajda, Helmut Länger

Publication date 15 July 2020

Published in Soft Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

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)

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.

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

Cites work

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

Cited in

(9)

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