Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
This Berkeley Seminar features Valeria de Paiva discussing "Classical and constructive logics together: Ecumenical systems." Explore how recent work by Prawitz, Dowek, and others attempts to unify Gentzen's classical and intuitionistic logical systems into a single framework called Ecumenical Logic. Learn about the ecumenical sequent calculus and its proof theoretical properties. Understand how this unified approach can enhance interoperability between proof assistants, building on Emilie Grienenberger's PhD research under Gilles Dowek. The 59-minute talk, hosted by the Topos Institute, provides insights into how classical and intuitionistic features can coexist and communicate within a single logical system.
