Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Ближайшие семинары

Для просмотра файлов Вам могут потребоваться

Семинар отдела математической логики «Теория доказательств»
7 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom

Describable Nuclea, Negative Translations and Extension Stability (continuation)

Tadeusz Litak

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

Количество просмотров:
Эта страница:78
Youtube Video:

Tadeusz Litak

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

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

Аннотация: 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.

Язык доклада: английский

ОТПРАВИТЬ: FaceBook Twitter Livejournal
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021