Left residuated lattices induced by lattices with a unary operation

DOI10.1007/S00500-019-04461-XzbMATH Open1457.03075OpenAlexW2988141478WikidataQ126842585 ScholiaQ126842585MaRDI QIDQ780267FDOQ780267

Authors: 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://doi.org/10.1007/s00500-019-04461-x

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

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)

Cites Work

• Title not available (Why is that?)
• A note on orthomodular lattices
• Weakly orthomodular and dually weakly orthomodular lattices
• Residuation in orthomodular lattices
• Orthomodular lattices that are horizontal sums of Boolean algebras
• Lattices with unique complementation
• Orthomodular lattices can be converted into left residuated l-groupoids

Cited In (2)

• Left residuated operators induced by posets with a unary operation
• Negative translations of orthomodular lattices and their logic

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)