Spring Semester
These are the pages of the Logic Seminar at the Università degli Studi di Milano and the Università degli Studi dell'Insubria.
Autumn 2018
-
November, 8th 2018, 11:00, sala riunioni (4th floor), Dipartimento di Informatica, via Celoria 18, Milano
Manuela Busaniche,
Instituto de Matemática Aplicada del Litoral UNL, CONICET, FIQCCT-CONICET-Santa Fe, Santa Fe, Argentina
Representation by triples of bounded residuated lattices with a retraction term
We study subvarieties of bounded commutative residuated lattices with a retraction term onto a hyperarchimedean MV-algebra. The purpose is to use the image and the kernel of the retraction term to represent each algebra by simpler and better-known structures: we present a categorical equivalence between our varieties generated by generalized rotations and categories whose objects are triples formed by two algebras and a connecting map. The categorical equivalence helps us to understand the structure of these novel algebras.