Left residuated lattices induced by lattices with a unary operation

DOI10.1007/S00500-019-04461-XMaRDI QIDQ780267zbMATH 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://doi.org/10.1007/s00500-019-04461-x

zbMATH Keywords

complementationvariety of latticesdually weakly orthomodular latticeleft adjointnessleft residuated latticeweakly orthomodular lattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Varieties of lattices (06B20) Complemented lattices, orthocomplemented lattices and posets (06C15)

Recommendations

• Residuation in orthomodular lattices
• Orthomodular lattices can be converted into left residuated l-groupoids
• Residuation in modular lattices and posets
• Left residuated operators induced by posets with a unary operation
• Residuated structures and orthomodular lattices

Cites work

• scientific article; zbMATH DE number 3889596 (Why is no real title available?)
• A note on orthomodular lattices
• Lattices with unique complementation
• Orthomodular lattices can be converted into left residuated l-groupoids
• Orthomodular lattices that are horizontal sums of Boolean algebras.
• Residuation in orthomodular lattices
• Weakly orthomodular and dually weakly orthomodular lattices

Cited in

(5)

• Left residuated operators induced by posets with a unary operation
• Negative translations of orthomodular lattices and their logic
• Residuation in orthomodular lattices
• Residuation in modular lattices and posets
• Orthomodular lattices can be converted into left residuated l-groupoids

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

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