Tesi recenti di Logica

Tesi recenti di logica

Dottorato
Vincenzo Mantova, Zilber fields and complex exponentiation (premio Aila 2014)
Dottorato di ricerca in Matematica, Scuola Normale Superiore, Pisa, gennaio 2013, Relatore: Alessandro Berarducci
testo integrale
Dario Della Monica, Expressiveness, decidability, and undecidability of Interval Temporal Logic
Dottorato di ricerca in Informatica, Udine, aprile 2011, Relatore: Angelo Montanari
testo integrale
Umberto Grandi, Binary Aggregation with Integrity Constraints
Dottorato di ricerca Institute for Logic, Language and Computation, Amsterdam, settembre 2012, Relatore: Ulle Endriss
testo integrale
Giorgio Laguzzi, Arboreal forcing notions and regularity properties of the real line
Dottorato in Matematica, Vienna giugno 2012, Relatore: Sy David Friedman
testo integrale
Andrea Pedrini, Vector lattices, polyhedral geometry, and valuation
Dottorato di ricerca in Informatica, Milano, febbraio 2013, Relatore: Vincenzo Marra
testo integrale
Giovanni Casini, Connections between default-assumption and preferential approaches to defeasible reasoning,
Dipartimento di Filosofia, Università di Pisa, Relatore: Mauro Mariani, settembre 2008
Abstracttesto integrale
Ciro Russo, Quantale Modules, with Applications to Logic and Image Processing,
Dipartimento di Matematica e Informatica Università degli Studi di Salerno, Relatori: Antonio di Nola, Constantine Tsinakis dicembre 2007
Abstracttesto integrale
Laurea magistrale o specialistica
Alberto Molinari, Model Checking and Interval Temporal Logics: Checking Interval Properties of Computations,(premio Aila 2015)
Udine, 20/03/2015, relatore: Angelo Montanari, correlatore: Adriano Peron
testo integrale
Luca Reggio, Stone duality above dimension zero,(premio Aila 2015)
Milano, 16/04/2015, Vincenzo, Marra
testo integrale
Giulia Frosoni, Conuclear images of substructural logics,(premio Aila 2015)
Università degli studi di Siena, 24/10/2014, RELATORE (Franco, Montagna)
testo integrale
Amar Hadzihasanovic, Non standard functional interpretations and categorical models, (premio Aila 2014)
Pavia, 24/09/2013, Relatore:Ludovico Pernazza, correlatore: Benno van der Berg
testo integrale
Valeria Vignudelli, The discriminating power of higher-order languages: a process algebraic approach , (premio Aila 2014)
Bologna, 20/11/2013, Relatrice: Giovanna Corsi, correlatore: Davide Sangiorgi
testo integrale
Sara Ugolini, A categorical equivalence for product algebras, (premio Aila 2014)
Siena, 20/12/2013, Relatore: Franco Montagna
testo integrale
Cristina Da Rold, A fuzzy logical approach to linguistic vagueness. Some observations on the vagueness as closeness definition,
Dipartimento di Filosofia, Università di Firenze, Relatore: Pierluigi Minari, ottobre 2012
testo integrale
Rossella Marrano, Truth and Reduction. A Case Study in Formal Philosophy, (premio Aila 2013)
Dipartimento di Filosofia, Università di Firenze, Relatore: Andrea Cantini, ottobre 2012
testo integrale
Fabio Zanasi, Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degree. , (premio Aila 2013)
ILLC, Università di Amsterdam, Relatori: Andrea Facchini, Yde Venema, agosto 2012
testo integrale
Umberto Grandi, Logica modale e fondamenti di teoria dei giochi, (premio Aila 2009)
Dipartimento di Matematica, Università di Pisa, Relatori: Alessandro Berarducci e Hykel Hosni, settembre 2008
testo integrale
Laurea triennale
Andrea Cettolo Autoimmersioni di ordini lineari e gradi di Turing (premio Aila 2014)
Udine, 11/12/2013, Relatore: Alberto Marcone
testo integrale
Cesare Gallozzi Problemi fondazionali in teoria delle categorie (premio Aila 2013)
Seconda Università di Roma, luglio 2012,Relatrice Barbara Veit
testo integrale
Alessia Andò Giochi di parità una prospettiva logica (premio Aila 2013)
Udine, luglio 2012, Relatrice: Giovanna D’Agostino.
testo integrale
Calderoni, Teoria delle Categorie e Logica Categoriale, (premio Aila 2013)
Unversità di Bologna, Relatrice Rita Fioresi; correlatore Simone Martini, luglio 2012
testo integrale
Rossella Marrano, La Pure Logic di W. S. Jevons. Un confronto con il sistema di G. Boole,
Dipartimento di Filosofia, Università di Firenze, Relatore: Pierluigi Minari, novembre 2010
testo integrale
Pietro Battiston, Alternanza, parallelismo e complessità
Dipartimento di Matematica, Università di Pisa, Relatore: Alessandro Berarducci, settembre 2008
abstracttesto integrale
Martina Fedel, Formalizzazioni del ragionamento non-monotono: relazioni di conseguenza preferenziali e razionali, (premio Aila 2008)
Dipartimento di Matematica, Università di Pisa, Relatori: Alessandro Berarducci e Hykel Hosni, settembre 2007
abstract – testo integrale