Pierluigi Minari

Pierluigi Minari is Full Professor of Logic (PHIL-02/A) at the University of Florence's Department of Literature and Philosophy, where he has served as Department Director since 2019. He holds a joint appointment at Ghislieri College in Pavia, teaching 'Institutions of Logic' since 2007.

His education includes a PhD in Philosophy (1989) and a Master's degree cum laude (1980), both from the University of Florence through joint programs with Pisa, Siena, and Turin universities.

Research focuses on:

• Non-classical logics (intermediate/modal/many-valued/substructural)
• Proof theory and formal semantics
• Combinatory logic and λ-calculus
• Historical development of logical systems
• Algebraic approaches to truth theories

Publications emphasize proof-theoretic methods, historical analyses of modal logic (particularly Oskar Becker's work), and computational foundations. Recent works show strong engagement with intuitionistic systems, formal verification, and philosophical logic.