University of Birmingham > Talks@bham > Theoretical computer science seminar > The Strange Career of Interpolation and Definability

The Strange Career of Interpolation and Definability

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Anupam Das.

Beth Definability, Craig Interpolation, and their variants have long been seen as an important topic in commputational logic, telling us something about logical simplification. But the rationale for their significance has varied over time, and it is not even clear whether they should be best seen as a property of a logic or of a proof system. In this talk I will look back at the somewhat twisty evolution of the topic, highlighting some issues that have been underexplored. I’ll also present some current work (joint with Pierre Pradic) aimed at filling some of the gaps. No background on interpolation or definability will be assumed in the talk.

This seminar is also an invited talk of both TABLEAUX and FroCoS 2021.


Topic: TABLEAUX 2021 and FroCoS 2021 and Theory Seminar Time: Sep 8, 2021 08:30 AM London Every day, until Sep 10, 2021, 3 occurrence(s) Sep 8, 2021 08:30 AM Sep 9, 2021 08:30 AM Sep 10, 2021 08:30 AM Please download and import the following iCalendar (.ics) files to your calendar system. Daily:—gqTsiGNfsGQ4WHHVaquOFQZEAEUfx/ics?icsToken=98tyKuGprjssEtOVuBuERpwcAoigM_zwtmJHjY1bjzjUVxd7SjX3J_dtFINFNfn1

Join Zoom Meeting

Meeting ID: 810 0687 0823 One tap mobile +442039017895,,81006870823# United Kingdom +442080806591,,81006870823# United Kingdom

Dial by your location +44 203 901 7895 United Kingdom +44 208 080 6591 United Kingdom +44 208 080 6592 United Kingdom +44 330 088 5830 United Kingdom +44 131 460 1196 United Kingdom +44 203 481 5237 United Kingdom +44 203 481 5240 United Kingdom Meeting ID: 810 0687 0823 Find your local number:

Join by SIP

Join by H.323 (US West) (US East) (India Mumbai) (India Hyderabad) (Amsterdam Netherlands) (Germany) (Australia Sydney) (Australia Melbourne) (Singapore) (Brazil) (Mexico) (Canada Toronto) (Canada Vancouver) (Japan Tokyo) (Japan Osaka) Meeting ID: 810 0687 0823

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.