Matteo Bianchi
PhD in "Matematica e Statistica per le Scienze Computazionali" (MaSSC)
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, 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.
  4. M. Bianchi - First-order Nilpotent Minimum Logics: first steps - Submitted for publication, 2010. A preliminary version is available on arXiv:1103.6025
  5. M. Bianchi - On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness - Submitted for publication, 2011.
  6. 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
  7. M. Bianchi - The variety generated by all the ordinal sums of perfect MV-chains - Accepted for publication (Studia Logica), 2011. A preliminary version is available on arXiv:1103.5943
  8. 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

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.

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.

Useful Links

Valid HTML 4.01 Transitional