RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Seminars "Proof Theory" and "Logic Online Seminar"
January 18, 2021 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
 


The role of uniform interpolation in structural proof theory

R. Iemhoff

Utrecht University

Number of views:
This page:49

Abstract: In this talk I present a proof method to prove uniform interpolation in intermediate, modal and intuitionistic modal logics that applies to any such logic that has a sequent calculus with certain desirable properties. I illustrate the method by proving uniform interpolation for Lax Logic, an intuitionistic modal logic with applications in various areas, ranging from algebraic logic to hardware verification. I furthermore explain what general conclusion about the existence of sequent calculi for intermediate, modal and intuitionistic modal logics can be drawn from the method.

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021