Skip to: Site menu | Main content

2017 - 2018
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

9 November 2017, 11:00, Dipartimento di Scienze Teoriche e Applicate, via Mazzini 5, Varese
Manuela Busaniche,
National Scientific and Technical Research Council
A Categorical equivalence for Stonean residuated lattices
In this talk we will present a categorical equivalence between the category of Stonean residuated lattices and a category whose objects are formed by triples such that: the first component of the triple is a Boolean algebra, the second component is an integral residuated lattice and the third is a lattice morphism from the Boolean algebra into the lattice of implicative filters of the integral residuated lattice. We will see how this categorical equivalence help us to understand the structure of Stonean residuated lattices.