News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

11 January 2022, The Utrecht Logic in Progress Series (TULIPS), Iris van der Giessen

Speaker: Iris van der Giessen (Utrecht)
Title: The form of proofs and structure of logics
Date: Tuesday 11 January 2022
Time: 16:00-17:30
Location: Online

In this TULiPS talk, I will provide a high-level overview of the work of my PhD under supervision of Rosalie Iemhoff and Nick Bezhanishvili. I am studying two topics in the field of proof theory: uniform interpolation and admissible rules. I apply both topics to (intuitionistic) modal logics.

The first is used to describe the form of proof systems in terms of so-called negative results: if a logic does not have uniform interpolation then it cannot have a sequent calculus with certain nice properties. The aim of my research is to widen the scope to proof formalisms such as nested sequents. The second part is a study on the structure of logics. The admissible rules are those rules that you can add to a logic without changing its set of theorems. One of my main results is a characterization of the admissible rules of six interesting intuitionistic modal logics.

TRANSLATE with <img /> x English ArabicHebrewPolish BulgarianHindiPortuguese CatalanHmong DawRomanian Chinese SimplifiedHungarianRussian Chinese TraditionalIndonesianSlovak CzechItalianSlovenian DanishJapaneseSpanish DutchKlingonSwedish EnglishKoreanThai EstonianLatvianTurkish FinnishLithuanianUkrainian FrenchMalayUrdu GermanMalteseVietnamese GreekNorwegianWelsh Haitian CreolePersian <img /> <img /> <img /> <img /> TRANSLATE with <img /> COPY THE URL BELOW

<!--a id="TwitterLink" title="Share on Twitter"> <img id="TwitterImg" /></a> <a-- id="FacebookLink" title="Share on Facebook"> <img id="FacebookImg" /></a-->
<a title="Email this translation"> <img /></a> <a> <img /></a> Back EMBED THE SNIPPET BELOW IN YOUR SITE <a title="Copy this code and place it into your HTML."> <img /></a> Enable collaborative features and customize widget: Bing Webmaster Portal Back

Please note that this newsitem has been archived, and may contain outdated information or links.