Minimal subvarieties of involutive residuated lattices (Q2888151)

Residuated lattices were first introduced in the late 1930s in a more restrictive form by M. Ward and R. P. Dilworth in their attempt to generalize the ideal lattices of rings with identity. Minimal varieties of residuated lattices have been investigated by N. Galatos, who proved that there are uncountable many subvarieties of representable residuated lattices with idempotent axiom. The minimal varieties of involutive residuated lattices have been studied by C. Tsinakis and A. Wille. They have shown that there exist uncountably many minimal subvarieties of involutive residuated lattices.NEWLINENEWLINEIn the present paper the author investigates the case when the two conditions, representability and involutiveness, are combined.NEWLINENEWLINEHe shows that there exist uncountably many atoms in the subvariety lattice of the variety of bounded representable involutive residuated lattices with mingle axiom \(x^2\leq x\), while only two atoms exist in the subvariety lattice of the variety of bounded representable involutive residuated lattices with the idempotency \(x^2=x\).NEWLINENEWLINEAdditionally, the author explains the meaning of these results from a logical point of view.NEWLINENEWLINEI consider that the reviewed article contains valuable results and is a starting point for other studies on this subject.