Totally ordered inverse commutative residuated lattices
摘要
In this paper, we introduce inverse commutative residuated lattices and study some special ones, namely, totally ordered inverse commutative residuated lattices. After obtaining some properties of such inverse commutative residuated lattices, we establish a structure theorem for totally ordered inverse commutative residuated lattices. As an application, we make use of the structure theorem to prove that the variety generated by all totally ordered inverse commutative residuated lattices is arithmetical, congruence extensible and e-regular.