Talk by Elaine Pimentel
Our Lunch Seminar series continues on Monday, April 4th! We will host Elaine Pimentel (UCL London) who will give a talk on Ecumenical systems: from natural deduction with stoup to pure modal systems. See below for more information and the abstract: Abstract: Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is […]