On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube. (Q2257977)

Prelinear, bounded, integral, residuated, commutative lattices form the variety \(\mathbb{MTL}\) of MTL-algebras, which in turn constitutes the algebraic semantics of the logic of all left-continuous t-norms. The paper studies some subvarieties of \(\mathbb{MTL}\). In particular it is concerned with involutive MTL-algebras, that is, MTL-algebras satisfying the double negation law \(\neg\neg x=x\). Among involutive MTL-algebras the authors deal with the subvarieties \(\mathbb{IMT}n\) constituted by those IMTL-algebras further satisfying the following weakened form of the excluded middle law: \(\neg x^n\vee x=\top\). Notice that these varieties occur in the literature under different names: in the PhD dissertation of \textit{C. Noguera} [``Algebraic study of axiomatic extensions of triangular norm based fuzzy logics'', PhD thesis, Monografies de l'Institut d'Investigació en Intel'ligéncia Artificial vol. 27, Barcelona (2007)], they are called \(\mathbb S_{n+1}\mathbb{IMTL}\). The actual content of the paper consists of a partial classification of the subvarieties of \(\mathbb{IMT}4\). In particular, the authors obtain the full characterisation of the lattice of subvarieties of \(\mathbb{IIMT}4\) and \(\mathbb{CIMT}4\), these being locally finite subvarieties of \(\mathbb{IMT}4\) axiomatised by rather complex equations. The authors then prove a bijection between the isomorphism classes of IMT4-chains of finite cardinality \(k=2m+3\) and the sets of totally symmetric plane partitions in the \(m\)-cube, introduced in [\textit{J. R. Stembridge}, Adv. Math. 111, No. 2, 227-243 (1995; Zbl 0823.05005)].