TEACHING

Since 2006, I have been teaching in universities of four countries full undergraduate and graduate courses on a variety of logic-related topics. I am also active as a supervisor of master and PhD theses. Interested students are invited to contact me.

CURRENT COURSES:

• PhD program in Mathematics of the University of Ferrara:

Introduction to Mathematical Fuzzy Logic (2024)

• Master of Applied Mathematics of the University of Siena:

Foundations of Mathematics (2022, 2023, 2024, 2025)

• Bachelor of Mathematics of the University of Siena:

Algebra 2 (2024, 2025)

PAST COURSES:

• One course in the PhD program in Information engineering and science of the University of Siena:

Introduction to Mathematical Fuzzy Logic (2023)

• One master course at the Department of Mathematics, National University of the South, Bahía Blanca, Argentina:

Many-valued model theory (2022)

• Two master courses at the Czech Technical University in Prague:

Logic for Computer Science (2018, 2020)

• Three master courses at the Faculty of Mathematics and Physics of the Charles University in Prague:

Introduction to Algebraic Logic (2019)

General Theories of Logical Systems (2020, 2021)

• Eight master/bachelor courses at the Department of Logic of the Charles University in Prague:

Introduction to Algebraic Logic (2015, 2017, 2019)

General Theories of Logical Systems (2014, 2016)

Mathematical Fuzzy Logic (2013, 2016, 2021)

• One master course at the Faculty of Mathematics of the National University of Central Buenos Aires:

Introduction to Algebraic Logic (2015)

• Two PhD courses at the Faculty of Mathematics of the University of Siena:

Mathematical Fuzzy Logic (2008, 2009) (with T. Flaminio)

• Three undergraduate courses at the University of Lleida:

Computational logic (2006)

Artificial intelligence (2006)

Intelligent systems (2007)

SHORT COURSES AND TUTORIALS:

• One course at the International Tbilisi Summer School on Logic and Language (Tbilisi, Georgia, September 2017):

Reasoning with graded predicates in Mathematical Fuzzy Logic

• Tutorial at the School of Computer Science and Applied Mathematics, University of the Witwatersrand (Johannesburg, South Africa, July 2016):

Substructural Logics: A Logical Glimpse at Residuated Lattices (with P. Cintula)

• Tutorial at the Victoria University of Wellington (Wellington, New Zealand, January 2016):

Crash course on Mathematical Fuzzy Logic (with P. Cintula)

• Tutorial at the Israeli Workshop on Non-Classical Logics and Their Applications (Haifa, Israel, September 2014):

Mathematical Fuzzy Logic: How you can easily set up your own fuzzy logic (with P. Cintula)

• Introductory course at the European Summer School in Logic, Language and Information (ESSLLI) (Tübingen, Germany, August 2014):

A gentle introduction to mathematical fuzzy logic (with P. Cintula)

• Advanced course at the European Summer School in Logic, Language and Information (ESSLLI) (Opole, Poland, August 2012):

Abstract Algebraic Logic: theory and applications (with P. Cintula)