Research
Interests
- Reasoning with Uncertainty and Vagueness;
- Many-Valued Logics;
- Ordered algebraic structures.
Projects
-
PUR 2009 – Metodi Logici e Algoritmici nell'analisi, specifica e verifica di sistemi.
- PRIN 2008 - Logica ed algebra dell'informazione incerta.
Publications
Work in progress
-
Spectral Duality for Finite NMG algebras.
In preparation.
-
Construction of Strongest Deductive Interpolants in Nilpotent Minimum Logic.
In preparation.
-
Valuations in Nilpotent Minimum Logic.
With P. Codara.
In preparation.
-
A criterion for unitary unification for extensions of MTL.
With S. Aguzzoli,
S. Bova and
V. Marra.
In preparation.
Journals
-
Finite RDP-Algebras: Duality, Coproducts and Logic.
With S. Bova.
Journal of Logic and Computation, 2011. DOI
Proceedings
Other activities
Talks
Services
About Me
Education
-
2008. Scholarship on Intelligent environments and RFID technologies integration
at EidoLab under supervision of Prof. D. Marini.
Università degli Studi di Milano.
-
2007. MSc, Computer Science at Università degli Studi di Milano.
Thesis: Poset representation for Many-Valued Logics based on Left-continuous T-Norms,
(Awarded by AILA).
Supervisor: Prof. S. Aguzzoli.
- 2004. BSc, Computer Science at Università degli Studi di Milano.
Thesis: Implementation of Analytical Calculi for Many-Valued Logics based on continuous T-norms.
Supervisor: Prof. S. Aguzzoli.
Schools
My complete CV.
Misc
Teaching
- A.A. 2009/2010. Laboratorio di Informatica.
Corso Matematica Generale e Laboratorio di Metodi Matematici e Statistici
laurea triennale in Scienze Biologiche. Prof. L.A. Ripamonti.
Links