Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
