Skip to: Site menu | Main content

2018 - 2019
Autumn Semester

These are the pages of the Logic Seminar at the Università degli Studi di Milano and the Università degli Studi dell'Insubria.

The Logic Seminar

Welcome to the web pages of the Logic Seminar at the Università degli Studi di Milano and the Università degli Studi dell'Insubria.

The Seminar usually meets every other week during both the autumn and the spring semester, currently on Tuesdays. The exact date, time, and place of each meeting are annonunced on these pages.

There are two types of talks at the Seminar. First, we invite visiting researchers, colleagues, or graduate students to give talks on their own research activity. Second, during each semester we run a proper seminar on a given subject that is of interest to a group of participants. Usually, the participants are not experts on that subject, but wish to learn more about it. The participants then take turns in preparing one- or two-hour talks on a specific topic within the chosen subject.

Next Talk

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.