Luca Tranchini

Luca Tranchini is an Adjunct Professor in the Department of Philosophy at the Faculty of Humanities. His work focuses on proof-theoretic semantics, non-classical logics, and paradox resolution. He explores foundational questions in logic through lenses like Fregean semantics, intensional harmony, and categorical methods. His research often intersects with philosophical debates on truth, validity, and meaning.

Key research interests include logical paradoxes (e.g., self-referential paradoxes), proof identity, and the nature of proof-theoretic validity. He collaborates on projects involving natural deduction systems, type theory, and category theory applications to logic.

Recent work emphasizes intensional aspects of harmony, decidability in polymorphic systems, and the Yoneda reduction technique for analyzing type systems. His contributions bridge technical proof theory with broader philosophical inquiries into meaning and logical structure.