Fiorentini Camillo
Professore Associato
Settore scientifico-disciplinare
MATH-01/A - Logica matematica
Gruppo scientifico-disciplinare / settore concorsuale
01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA
Competenze e ambito di ricerca
Office hours
Su appuntamento
Luogo di ricevimento
vedi https://fiorentini.di.unimi.it/
Teaching - Programme courses
Bachelors and masters
A.A. 2025/2026
A.A. 2024/2025
A.A. 2023/2024
A.A. 2022/2023
A.A. 2021/2022
A.A. 2020/2021
A.A. 2019/2020
A.A. 2018/2019
Research
Publications
-
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic / C. Fiorentini, M. Ferrari. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 68:3(2024), pp. 13.1-13.41. [10.1007/s10817-024-09703-8]
-
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property / C. Fiorentini, M. Ferrari (LECTURE NOTES IN COMPUTER SCIENCE). - In: Automated Reasoning / [a cura di] C. Benzmüller, M.J.H. Heule, R.A. Schmidt. - [s.l] : Springer, 2024. - ISBN 9783031635007. - pp. 24-42 (( Intervento presentato al 12. convegno IJCAR tenutosi a Nancy nel 2024 [10.1007/978-3-031-63501-4_2].
-
A New Approach to Clausification for Intuitionistic Propositional Logic / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2023 : Italian Conference on Computational Logic 2023 / [a cura di] A. Dovier, A. Formisano. - [s.l] : CEUR Workshop Proceedings, 2023 Jun 30. - pp. 1-15 (( Intervento presentato al 38. convegno CILC, Italian Conference on Computational Logic tenutosi a Udine nel 2023.
-
Forward refutation for Gödel-Dummett Logics / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2022 : Italian Conference on Computational Logic / [a cura di] R. Calegari, G. Ciatto, A. Omicini. - [s.l] : CEUR Workshop Proceedings, 2022 Sep. - pp. 171-185 (( Intervento presentato al 37. convegno CILC tenutosi a Bologna nel 2022.
-
SAT-Based Proof Search in Intermediate Propositional Logics / C. Fiorentini, M. Ferrari (LECTURE NOTES IN COMPUTER SCIENCE). - In: Automated Reasoning / [a cura di] J. Blanchette, L. Kovács , D. Pattinson. - [s.l] : Springer Cham, 2022. - ISBN 978-3-031-10768-9. - pp. 57-74 (( Intervento presentato al 11. convegno IJCAR tenutosi a Haifa nel 2022 [10.1007/978-3-031-10769-6_5].