LOGICHE TRIVALENTI E BISEMIRETICOLI
FRANCESCO PAOLI
A.A. 2014-2015

DURATA CORSO: 20 ore

ORARIO: La prima lezione si svolgerà mercoledì 8 ottobre alle 10, con ritrovo nello studio del docente. Gli orari dei successivi incontri saranno concordati con i partecipanti. 

CONTENUTI: La logica a tre valori PWK (Paraconsistent Weak Kleene) è stata indipendentemente introdotta da Hallden e Prior negli anni '40-'50. Hallden interpreta i tre valori di verità come "vero", "falso", "privo di significato". Negli anni '60 e '70, Plonka e altri autori hanno evidenziato importanti connessioni tra PWK e la classe dei bisemireticoli, generalizzazioni dei reticoli dove la legge di assorbimento non vale necessariamente. Scopo del corso è illustrare i principali risultati su PWK e la sua semantica algebrica.

MATERIALI. Dispense del docente.

PREREQUISITI. Si richiede di aver frequentato almeno uno dei seguenti corsi precedentemente impartiti nell'offerta formativa del dottorato: "Metodi algebrici nella logica", "Teoria dei reticoli", "Strumenti algebrici della logica", o avere una preparazione equivalente, corrispondente ai primi due capitoli di Burris-Sankappanavar, A course in universal algebra, http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra.pdf