**Matteo Bianchi**, PhD

research grant holder at

Department of Computer Science, Via Comelico 39/41, 20135, Milano

"The possibility of constructing different logical systems shows that logic is not restricted to reproduction of facts but is a free product of man, like a work of art. Logical coercion vanishes at its very source."

Jan Łukasiewicz, Farewell Lecture, march 7 1918

**Professional Informations**

**Research Interests**

Mathematical Logic: in particular many-valued logics (see also this link) with their algebraic semantics.

**Publications**

- S. Aguzzoli, M. Bianchi, V. Marra -
*A temporal semantics for Basic Logic*- Studia Logica, volume 92, number 2, pages 147-162, 2009 DOI:10.1007/s11225-009-9192-3. - M. Bianchi, F. Montagna -
*Supersound many-valued logics and Dedekind-MacNeille completions*- Archive For Mathematical Logic, volume 48, number 8, pages 719-736, 2009 DOI:10.1007/s00153-009-0145-3. - M. Bianchi -
*On some axiomatic extensions of the monoidal t-norm based logic MTL: an analysis in the propositional and in the first-order case*- Phd thesis, 2010 - M. Bianchi -
*On Some Axiomatic Extensions of the Monoidal T-norm Based Logic MTL: an Analysis in the Propositional and in the First-order Case*- Mathematical Sciences, Ledizioni, 2011, ISBN:9788895994567 - M. Bianchi, F. Montagna -
*n-contractive BL-logics*- Archive for Mathematical Logic, volume 50, number 3-4, pages 257-285, 2011 DOI:10.1007/s00153-010-0213-8. - M. Bianchi -
*The variety generated by all the ordinal sums of perfect MV-chains*- Studia Logica, volume 101, number 1, pages 11-29, 2013 DOI:10.1007/s11225-012-9371-5. - M. Bianchi -
*First-order Nilpotent Minimum Logics: first steps*- Archive For Mathematical Logic, volume 52, number 3-4, pages 295-316, 2013 DOI:10.1007/s00153-012-0317-4. - M. Bianchi -
*On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness*- A preliminary version is available on arXiv:1205.4625 - M. Bianchi -
*A temporal semantics for Nilpotent Minimum logic*- International Journal of Approximate Reasoning, volume 55, number 1, part 4, pages 391-401, 2014 DOI:10.1016/j.ijar.2013.10.007. - T. Flaminio, M. Bianchi -
*A note on saturated models for many-valued logics*- Accepted for publication, Mathematica Slovaca, 2013. - S. Aguzzoli, M. Bianchi, D. Valota -
*A note on drastic product logic*- Information Processing and Management of Uncertainty in Knowledge-Based Systems, Communications in Computer and Information Science, Volume 443, pages 365-374, 2014 DOI:10.1007/978-3-319-08855-6_37. - S. Aguzzoli, M. Bianchi -
*On some questions concerning the axiomatisation of WNM-algebras and their subvarieties*- Fuzzy Sets and Systems, 2014 DOI:10.1016/j.fss.2014.07.007. - M. Bianchi, F. Montagna -
*Trakhtenbrot theorem and first-order axiomatic extensions of MTL*- Studia Logica, 2015 DOI:10.1007/s11225-015-9614-3. - M. Bianchi -
*The logic of the strongest and the weakest t-norms*- Fuzzy Sets and Systems, 2015 DOI:10.1016/j.fss.2015.01.013. - S. Aguzzoli, M. Bianchi, T. Flaminio -
*MTL-algebras that define the dual monoidal operation*- Submitted for publication, 2015.

**Seminars**

- Logiche polivalenti al primo ordine (First order many-valued logics) - Dipartimento di Scienze dell'Informazione, Milano, January 15 2008.
- Introduzione alle logiche polivalenti (Introduction to many-valued logics, in italian) - Dipartimento di Matematica "Federigo Enriques", January 28 2009.
- On some axiomatic extensions of the monoidal t-norm based logic MTL: an analysis in the propositional and in the first-order case - preliminary discussion of the PhD thesis - Dipartimento di Matematica "Federigo Enriques", November 9 2010.
- Supersound many-valued logics and Dedekind-MacNeille completions) - Dipartimento di Scienze dell'Informazione, Milano, December 9 2010.
- On some axiomatic extensions of the monoidal t-norm based logic MTL: an analysis in the propositional and in the first-order case - final discussion of the PhD thesis - Dipartimento di Matematica "Federigo Enriques", December 17 2010.
- MTL-algebras that define the dual monoidal operation - Dipartimento di Informatica, April 30 2015.

**Conferences that I have attended**

- ManyVal '08 - Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic - Milano, May 19-21 2008.
- Logic Algebra and Truth Degrees - First conference of the working group on Mathematical Fuzzy Logic - Siena, September 8-11 2008.
- The digital footprint of Gian-Carlo Rota: marbles, boxes and Philosophy - Milano, February 16-18 2009.
- La ricerca logica in Italia: Convegno in onore di Corrado Mangione - Milano, September 10-11 2009.
- Probability, Uncertainty and Rationality - Certosa di Pontignano (Siena), November 1-3 2009.
- ManyVal 2010 - Beyond algebraic semantics: bridging intended and formal interpretations of many-valued logics - Varese, May 3-5 2010.
- ASUV 2011 - Algebraic Semantics for Uncertainty and Vagueness - Salerno, May 18-20 2011.
- RST2011 - Third International Workshop on Rough Set Theory (RST2011)'' - , Milano, 14-16 September 2011.
- Manyval '12 In honour of Antonio Di Nola's 65th birthday - Salerno, July 4-7 2012.
- Manyval 2013 - Prague, September 4-6 2013.
- Logic, Algebra and Truth Degrees 2014 - Fourth conference of the working group on Mathematical Fuzzy Logic - Vienna, July 16-19 2014.
- Beyond 2014 - Firenze, December 3-5 2014.

**Useful Links**

- The PNCE - Probability theory of non-classical events, a research project that connects probability theory and many-valued logics
- The logic seminar, a "permanent" seminar in mathematical logic, organized by various scholars at the Università degli Studi di Milano and the Università degli Studi dell'Insubria.
- The webpage of Mathematical Fuzzy Logic working group: in this site are available numerous preprints of research papers on many-valued logics.
- AILA, "Associazione Italiana di Logica e sue Applicazioni".
- ASL, "the Association of Symbolic Logic".