Left residuated operators induced by posets with a unary operation

DOI10.1007/s00500-019-04028-wzbMath1446.06005arXiv1810.07214OpenAlexW2963407668WikidataQ127928115 ScholiaQ127928115MaRDI QIDQ780122

Ivan Chajda, Helmut Länger

Publication date: 15 July 2020

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

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) Complemented lattices, orthocomplemented lattices and posets (06C15) Algebraic aspects of posets (06A11) Unary algebras (08A60) Generalizations of Boolean algebras (06E75)

Related Items (5)

Logical and algebraic properties of generalized orthomodular posets ⋮ Right adjoint algebras versus operator left residuated posets ⋮ A logical characterization of multi-adjoint algebras ⋮ Residuation in modular lattices and posets ⋮ Residuation in finite posets

Cites Work

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

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