News Descrizione del corso Il corso sarà tenuto dai prof. G. Vincenzi e L. Spada. L’obiettivo è fornire conoscenza degli aspetti fondazionali della matematica nel loro sviluppo storico. Frequenza La frequenza non è obbligatoria ma è fortemente consigliata. Contenuti La parte…
News Descrizione del corso Nei corsi di algebra dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc. Molte tecniche utilizzate per il loto studio si rassomiglano e ci sono teoremi che si ripetono (es.…
News Descrizione del corso È richiesta familiarità con gli argomenti di base di algebra e teoria degli insiemi. Frequenza La frequenza non è obbligatoria ma è fortemente consigliata. Contenuti Il corso coprirà i seguenti argomenti: Più dettagliatamente, qui sotto saranno elencati…
Here you can find the slides of my talk Are locally finite MV-algebras a variety? presented at the Shanks Workshop on Ordered Algebras and Logic at Vanderbilt University (Nashville, US) and on Zoom for the Algebra|Coalgebra seminar of the ILLC…
In this paper, coauthored with Marco Abbadini and Federica Di Stefano, we prove that the unification type of Lukasiewicz logic with a finite number of variables is either infinitary or nullary. To achieve this result we use Ghilardi’s categorical characterisation…