My CV
Il mio CV
- Algebraic semantics of many-valued logics
- Representation theory, free algebras, spectral dualities
- Mathematical fuzzy logics
- Logic and Probability of non-classical events
- Computational aspects of deduction in many-valued logics
-
- In Milano, Italy, on December 24th, 1967.
-
-
- 1999:
AILA (Italian Association for Mathematical Logic) '99
Award for the Best PhD Dissertation in Mathematical Logic.
-
-
- Invited speaker to The logic of Soft Computing III, Pontignano, Siena, 2003.
Title: Uniform Description of Calculi for All t-norm Logics.
- Invited speaker to The International Conference on the Logic of Soft Computing, Malaga, Spain, 2006.
Title: Algebras of Truth Functions and Normal Forms for Some Residuated t-norm Based Logics.
- Invited speaker to Non-classical Logics: from Foundations to Applications,
Centro di Ricerca Matematica Ennio De Giorgi, Scuola Normale Superiore, Pisa, 2008.
Title : De Finetti's Coherence Criterion and Finitely Additive Measures on Algebras of Many-Valued Logic: The
Case of Gödel Logic.
- Invited speaker to Logic, Algebra and Truth Degrees, Università di Siena, 2008.
Title: On Representations of BL-Algebras.
- Invited speaker to Graded Logic Approaches and their Applications,
35th Linz Seminar on Fuzzy Set Theory, Bildungszentrum St. Magdalena, Linz, Austria,
February 2014.
Title: Duality semantics for many-valued logics.
-
-
Member of the organising committee of the conference "The Logic of Soft Computing", Gargnano,
November 2001.
-
Co-founder of the ManyVal series of conferences, 2006.
-
Co-chair of the scientific and of the organising committees of the conference
ManyVal'06, International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning,
Gargnano, March 2006.
-
Co-chair of the scientific and of the organising committees of the conference
ManyVal'08, Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic, Milano,
May 2008.
-
Member of the the scientific committee of the conferencec ECSQARU 2009,
10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Verona,
July 2009.
-
Co-chair of the scientific and of the organising committees of the conference
ManyVal'10, Beyond algebraic semantics: bridging intended and formal interpretations of many-valued
logics, Varese, May 2010.
-
Co-chair of the scientific committee and member of the organising committee of the conference RST2011,
Rough Sets and Logic, Milano, September 2011.
-
Member of the steering committee of the conference ManyVal'12, Salerno, July 2012.
-
Member of the scientific committee of the Conference LATD 2012,
Logic, Algebra and Truth Degrees, Kanazawa, Japan, September 2012.
-
Member of the steering committee and of the scientific committee of the conference ManyVal'13,
Prague, Czech Republic, September 2013.
-
Member of the scientific committee of the conference ECSQARU 2013,
Utrecht, The Netherlands, July 2013.
-
Member of the scientific committee of the conference EUSFLAT 2013,
Milano, Italy, September 2013.