Skew residuated lattices

We replace the so-called adjointness in the definition of residuated lattice by its strict version where inequalities are replaced by equalities. We prove that such structures, called skew residuated lattices, can be characterized as lattices with certain involutions in principal filters. Since skew...

Full description

Saved in:
Bibliographic Details
Published in:Fuzzy sets and systems 2013-07, Vol.222, p.78-83
Main Authors: Chajda, I., Krňávek, J.
Format: Article
Language:English
Subjects:
Adjointness property
Difference property
Divisibility semiloop
Reversion
Sectional involution
Skew residuated lattice
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We replace the so-called adjointness in the definition of residuated lattice by its strict version where inequalities are replaced by equalities. We prove that such structures, called skew residuated lattices, can be characterized as lattices with certain involutions in principal filters. Since skew residuated lattices have the cancellation property, they are close to divisibility loops introduced by B. Bosbach in 1988. We show under what condition can skew residuated lattices be represented by such loops.
ISSN:0165-0114
1872-6801
DOI:10.1016/j.fss.2012.11.019