On a definition of a variety of monadic -groups.
In the paper by the first author, \textit{M. Menni}, and \textit{M. Sagastume} [Stud. Log. 90, No. 1, 93-124 (2008; Zbl 1165.06002)], it was proved that the category \(\mathrm{IRL}_0\) of integral residuated lattices with bottom is equivalent to a category whose objects are \(c\)-differential residuated lattices satisfying a certain technical condition. The corresponding adjunction extends the one between Heyting algebras and Nelson algebras obtained in the paper by \textit{R. Cignoli} [Algebra Univers. 23, 262-292 (1986; Zbl 0621.06009)]. In his paper [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], the present reviewer established a categorical equivalence \(\Gamma\) between MV-algebras and lattice ordered abelian groups with a distinguished (strong, order) unit, for short, unital \(l\)-groups. MV-algebras are the algebras of Łukasiewicz infinite-valued logic. Unital \(l\)-groups provide a modern reformulation of Euclidean magnitudes equipped with a distinguished Archimedean unit of measurement. In the last sections of the paper under review, the authors specialize their results to the case of MV-algebras and the corresponding category of monadic MV-algebras induced by ``Kalman's functor \(K^*\). Moreover, they extend the construction to \(l\)-groups introducing the new category of monadic \(l\)-groups together with a functor paralleling the \(\Gamma\) functor.
- scientific article; zbMATH DE number 2128940
- On the l1-algebra of certain monoids
- From distributive -monoids to -groups, and back again
- scientific article; zbMATH DE number 1349179
- Group-groupoids and monodromy groupoids
- scientific article; zbMATH DE number 3935104
- Structure and classification of monoidal groupoids
- A new characterisation of groups amongst monoids
- scientific article; zbMATH DE number 3902720
- On a class of n-groupoids.
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 1302502 (Why is no real title available?)
- On closed elements in closure algebras
- On monadic MV-algebras
- On some categories of involutive centered residuated lattices
- Ordered groups with a conucleus
- Quantifiers on distributive lattices
- The algebra of topology
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- On some categories of involutive centered residuated lattices
- Equivalence à la Mundici for commutative lattice-ordered monoids
- From distributive -monoids to -groups, and back again
- Kleene algebras with implication
- The Chang-Mundici's l-group of a BL-algebra
- A categorical equivalence motivated by Kalman's construction
- The logic Ł•
- On the monoid in the fundamental group of type \(\mathbf B_{\mathbf{ii}}\).
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
- An alternative definition of tense operators on residuated lattices
- Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
This page was built for publication: On a definition of a variety of monadic \(\ell\)-groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016065)
