On a definition of a variety of monadic \(\ell\)-groups. (Q2016065): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Renato A. Lewin / rank | |||
Property / author | |||
Property / author: Marta S. Sagastume / rank | |||
Property / author | |||
Property / author: Renato A. Lewin / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Marta S. Sagastume / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-012-9464-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2089472746 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On some categories of involutive centered residuated lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The class of Kleene algebras satisfying an interpolation property and Nelson algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantifiers on distributive lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On monadic MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3282928 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The algebra of topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On closed elements in closure algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ordered groups with a conucleus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249032 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:02, 8 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a definition of a variety of monadic \(\ell\)-groups. |
scientific article |
Statements
On a definition of a variety of monadic \(\ell\)-groups. (English)
0 references
19 June 2014
0 references
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.
0 references
MV-algebras
0 references
monadic \(\ell\)-groups
0 references
residuated lattices
0 references