Matteo Bianchi, PhD
research grant holder at
Department of Computer Science, Via Comelico 39/41, 20135, Milano
matteo.bianchi at unimi.it

"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

Curriculum vitae

Research Interests

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

Publications

  1. 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.
  2. 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.
  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
  4. 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
  5. 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.
  6. 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.
  7. 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.
  8. 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
  9. 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.
  10. T. Flaminio, M. Bianchi - A note on saturated models for many-valued logics - Accepted for publication, Mathematica Slovaca, 2013.
  11. 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.
  12. 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.
  13. M. Bianchi, F. Montagna - Trakhtenbrot theorem and first-order axiomatic extensions of MTL - Studia Logica, 2015 DOI:10.1007/s11225-015-9614-3.
  14. 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.
  15. S. Aguzzoli, M. Bianchi, T. Flaminio - MTL-algebras that define the dual monoidal operation - Submitted for publication, 2015.

Seminars

  1. Logiche polivalenti al primo ordine (First order many-valued logics) - Dipartimento di Scienze dell'Informazione, Milano, January 15 2008.
  2. Introduzione alle logiche polivalenti (Introduction to many-valued logics, in italian) - Dipartimento di Matematica "Federigo Enriques", January 28 2009.
  3. 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.
  4. Supersound many-valued logics and Dedekind-MacNeille completions) - Dipartimento di Scienze dell'Informazione, Milano, December 9 2010.
  5. 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.
  6. MTL-algebras that define the dual monoidal operation - Dipartimento di Informatica, April 30 2015.

Conferences that I have attended

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

Useful Links

Valid HTML 4.01 Transitional