On Inversion Principle

speaker: Enrico Moriconi (Università di Pisa - Dipartimento di Filosofia)

abstract: The subject of my talk is the Inversion Principle that D. Prawitz extracted from Gentzen's insights, and its use in ruling logico-matrhematical derivations.

timetable:
Thu 26 Jan, 15:00 - 16:00, Aula Dini
<< Go back