Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Forthcoming seminars

You may need the following programs to see the files

Seminars "Proof Theory" and "Logic Online Seminar"
December 7, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

Describable Nuclea, Negative Translations and Extension Stability (continuation)

Tadeusz Litak

Friedrich-Alexander University of Erlangen-Nürnberg
Video records:
MP4 519.2 Mb

Number of views:
This page:78
Video files:15
Youtube Video:

Tadeusz Litak

Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Abstract: What do soundness (or completeness) of negative translations of logics with an intuitionistic base, extension stability of preservativity (or provability) logics, and subframe properties of modal logics have in common? As it turns out, in all those cases one deals with preservation of equalities in nucleic images of Heyting Algebra Expansions (HAEs). The nucleic perspective on subframe logics has been introduced by Silvio Ghilardi and Guram Bezhanishvili (APAL 2007) for the purely intuitionistic syntax without additional connectives. Since the 1970's, nuclei have been studied in the context of point-free topologies (lattice-complete Heyting algebras), sheaves and Grothendieck topologies on toposes, and finally arbitrary Heyting algebras (Macnab 1981). Other communities may know them as "lax modalities" or (the algebraic trace of) "strong monads". Nuclei are a rather trivial notion in the boolean setting, which partially explains why this approach has not been properly pursued in modal logic.
We marry the nuclear framework with that of "describable operations" introduced in Frank Wolter's PhD Thesis (1993). The latter was originally restricted to classical subframe logics, but with minimal it can be made to work in the Heyting setting and nuclea appear to provide the missing ingredient to utilize its full potential. From this perspective, we revisit our FSCD 2017 study of negative translations in modal logic (joint work with Miriam Polzer and Ulrich Rabenstein) and our present study of extension stability for preservativity logics based on the constructive strict implication (jointly with Albert Visser). Various characterization and completeness results can be obtained in a generic way.

Language: English

SHARE: FaceBook Twitter Livejournal
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021