University of Birmingham > Talks@bham > Theoretical computer science seminar > Logic beyond formulas: a proof system on graphs

Logic beyond formulas: a proof system on graphs

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

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

There is a well-known correspondence between formulas and cographs, which are unoriented graphs containing no chordless paths of length 3. The aim of this talk is to shape a proof system operating on general graphs instead of formulas-as-cographs starting from logical principles. After providing some motivation, I will show how it is possible to achieve this result using the notion of modular decomposition and deep inference rules

This talk is based on a joint work with Ross Horne and Lutz Strassburger.


Topic: Theory Seminar Friday 3 September Time: Sep 3, 2021 02:00 PM London

Join Zoom Meeting

Meeting ID: 848 5957 5160 One tap mobile +442080806591,,84859575160# United Kingdom +442080806592,,84859575160# United Kingdom

Dial by your location +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 +44 203 901 7895 United Kingdom Meeting ID: 848 5957 5160 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: 848 5957 5160

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.