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.