Residuated operators in complemented posets

DOI10.1142/S1793557118500973MaRDI QIDQ4562781zbMATH OpenOpenAlexWikidataFDO

Authors Helmut Länger, Ivan Chajda

Publication date 18 December 2018

Published in Asian-European Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Boolean posetcomplemented posetmodular posetoperator left adjointnessoperator residuationorthogonal posetpseudo-orthomodular posetrelatively pseudocomplemented poset

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Algebraic aspects of posets (06A11) Complemented lattices, orthocomplemented lattices and posets (06C15) Pseudocomplemented lattices (06D15)

Abstract: Using the operators of taking upper and lower cones in a poset with a unary operation, we define operators M(x,y) and R(x,y) in the sense of multiplication and residuation, respectively, and we show that by using these operators, a general modification of residuation can be introduced. A relatively pseudocomplemented poset can be considered as a prototype of such an operator residuated poset. As main results we prove that every Boolean poset as well as every pseudo-orthomodular poset can be organized into a (left) operator residuated structure. Some results on pseudo-orthomodular posets are presented which show the analogy to orthomodular lattices and orthomodular posets.

Recommendations

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

Cites work

• An algebraic axiomatization of orthogonal posets.
• Effect algebras are conditionally residuated structures
• Forbidden configurations for distributive and modular ordered sets
• scientific article; zbMATH DE number 3889596 (Why is no real title available?)
• scientific article; zbMATH DE number 3614740 (Why is no real title available?)
• scientific article; zbMATH DE number 6416998 (Why is no real title available?)
• Orthomodular lattices can be converted into left residuated l-groupoids
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuated relational systems
• Residuation in orthomodular lattices
• Skew residuated lattices
• Weakly orthomodular and dually weakly orthomodular lattices
• Weakly orthomodular and dually weakly orthomodular posets

Cited in

(11)

• Residuation in finite posets
• Consistent posets
• Logical and algebraic properties of generalized orthomodular posets
• Residuated operators and Dedekind-MacNeille completion
• Residuation in modular lattices and posets
• Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators
• Residuation in twist products and pseudo-Kleene posets
• A logical characterization of multi-adjoint algebras
• Extensions of posets with an antitone involution to residuated structures
• Operator residuation in orthomodular posets of finite height
• Left residuated operators induced by posets with a unary operation

This page was built for publication: Residuated operators in complemented posets

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