Presentazione
L'associazione ha come scopo la diffusione dello studio e della conoscenza della logica in tutte le sue forme,
l'avanzamento della ricerca e la promozione delle sue applicazioni. Essa si riconosce nelle finalità e negli obiettivi della Association for Symbolic Logic.
In evidenza
- Eventi patrocinati
- "Workshop on Ramsey Theory of Equations and related topics" 16-17 febbraio 2018, Pisa, Italy.
- "Philosophy of mathematics: objects, structures, and logics", Third international conference of the FilMat. 25-27 maggio 2018, Mussomeli (Caltanissetta), Italy.
- AsubL ("Algebra & Substructural Logics") 11-13 giugno 2018, Cagliari, Italy.