MTL-algebras arising from partially ordered groups (Q2270238)

The paper is well written and very interesting. It is devoted exclusively to linearly ordered MTL-algebras (MTL-chains) and linearly ordered commutative groups. For technical convenience, the author works with dbs-algebras (``dual basic semihoops'') defined as structures \((L; \leq, \oplus,0)\), i.e. with dual MTL-algebras, free of 1, with the dual implication not included in the signature. Hence, there is a one-to-one correspondence between MTL-chains and bounded dbs-chains. First, starting from a dbs-algebra \((L; \leq, \oplus,0)\), the author defines a partial addition, +, and proves that \(\oplus\) can be reobtained from +. Then, starting from a \textit{partial} substructure \((L; \leq, +,0)\) of a standard linearly ordered group positive cone (constructed from the additive group of reals), the author establishes nine complex, sophisticated conditions to be fulfilled by \(L\) in order to obtain that the associated \textit{total} algebra \((L; \leq, \oplus,0)\) is a dbs-chain. If, moreover, \(L\) is bounded, then the total algebra is an MTL-chain. Finally, many known examples of MTL-chains on \([0,1]\) -- constructible by the above procedure -- are presented as well as an open problem.