A classification of certain group-like FL e -chains

• Autores: Sándor Jenei, Franco Montagna
• Localización: Synthese, ISSN-e 1573-0964, Vol. 192, Nº. 7, 2015, págs. 2095-2121
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • Classification of certain group-like FLe-chains is given: We define absorbent-continuity of FLe-algebras, along with the notion of subreal chains, and classify absorbent-continuous, group-like FLe-algebras over subreal chains: The algebra is determined by its negative cone, and the negative cone can only be chosen from a certain subclass of BL-chains, namely, one with components which are either cancellative (that is, those components are negative cones of totally ordered Abelian groups) or two-element MV-algebras, and with no two consecutive cancellative components. It is shown that the classification theorem does not hold if we drop the absorbent-continuity condition. Our result is the first classification theorem in the literature on FLe-algebras that does not assume the condition of being naturally ordered (which, under certain conditions, corresponds to continuity of the monoid operation). In our classification theorem, continuity is replaced by the much weaker absorbent-continuity