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.

 

Notizie

Risultato delle votazioni dell’Assemblea del 21-22 settembre

l’Assemblea del 21 e 22 settembre, con la votazione sul rinnovo delle cariche sociali, si è conclusa. Hanno votato 101 soci (con diritto di voto) su 113 soci (con diritto di voto). Il risultato dello spoglio è il seguente: Presidente: Silvio Ghilardi 92 Consiglio Direttivo: Matteo Viale 48 Paola D’Aquino 45 Agata Ciabattoni 42 Ugo …

Vincitori Premio AILA 3+2 anno 2019/20

I vincitori del Premio AILA 3+2 per l’anno 2019/20 sono: Laurea Magistrale Greta CORAGLIA Moreno PIEROBON Davide Emilio QUADRELLARO A categorical perspective on Heyting-valued sets Saturated structures constructed using forcing and applications Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic 22 luglio 2019, Università di Milano 17 luglio 2019, Università di Torino 13 settembre …

Ricerca

L’ AILA e la ricerca logica in Italia

Questa sezione ha lo scopo di informare i soci e il pubblico generale dell’attività di ricerca correlata alla logica in Italia. Si invitano tutti gli interessati, e in particolare i responsabili dei gruppi di ricerca, a contattare il responsabile del sito Aila (segretario [at] ailalogica. it) per rendere le pagine seguenti il più rapprensentative possibile della ricerca logica effettivamente svolta in Italia.

Contenuti

  • Gruppi di ricerca
    lista dei gruppi (o dipartimenti) di logica attivi in Italia con descrizione dei principali interessi di ricerca e contatto degli eventuali coordinatori.
  • Tesi recenti
    lista dei lavori di tesi recentemente discussi dagli studenti di logica in Italia. Ove concesso dagli autori, gli elaborati saranno liberamente consultabili
  • Archivio testi
    Versioni digitalizzate di Preprint Aila (1990-1996) e Atti degli Incontri di Logica Matematica Volumi 1-6 (1982-1989)