Spring 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

**21 April 2017**, 11:30, Aula 4, Dipartimento di Informatica, via Comelico 39/41, Milano

Stefano Bonzio,

Czech Academy of Sciences, Institute of Computer Science

*Algebraic study of Paraconsistent Weak Kleene Logic*

Paraconsistent Weak Kleene logic (PWK for short) is the 3-valued logic in the Kleene family defined by the “weak tables” with two designated values (both 1 and the “middle” value). In the seminar, I will introduce the algebraic semantics for PWK, namely the variety of Involutive bisemilattices, an expansion of distributive bisemilattices satisfying further conditions. I will focus, in particular, on a representation theorem making use of a construction from universal algebra originally introduced by Plonka, which shows that involutive bisemilattices are nothing but the (strong) regularization of the variety of Boolean algebras.