Cеминар «Нестандартные логики» им. Л. Л. Максимовой

Архив семинара

21 мая 2026 г.

А. А. Харитонов (НГУ)
Динамическая логика с продолжениями.

Аннотация

В докладе будет представлено описание модуля $G0$, предложенного в оригинальной работе [de Groote, 2006] и получившего развитие до $G$ (и далее) в диссертации "Expressing discourse dynamics through continuations" (Ekaterina Lebedeva, 2016). Будет обсуждаться предлагаемый способ отделения пропозиционального содержания и контекста, благодаря чему значения выражений естественного языка при необходимости могут трактоваться как функции от контекста, а дискурсивная динамика — включая анафорические связи и другие прагматические явления — моделироваться при помощи механизма "продолжений" (continuations).

07 мая 2026 г.

А. Циткин (Уоррен, США)
Табличные и предтабличные многообразия.

Аннотация

докладе рассматривается общий (алгебраический) подход к проблемам табличности и предтабличности многообразий алгебр, прежде всего, в связи с разрешимостью алгоритмической проблемы табличности. В частности обобщается критерий предтабличности предложенный Л. Л. Максимовой и В. Ф. Юн.

16 апреля 2026 г.

Елизавета Валерьевна Брылякова (Красноярский математический центр, Сибирский федеральный университет)
О доказательстве финитарного типа унификации в предтабличных расширениях Int.

Аннотация

В докладе рассматривается тип унификации предтабличных суперинтуиционистских логик L2 и L3. С помощью модифицированного метода n-характеристических моделей, доказывается, что обе логики имеют финитарный тип унификации: каждая унифицируемая формула обладает конечным набором максимальных унификаторов. Приводится построение характеристических моделей и схема сведения унификаторов к функциям на конечной модели.

26 марта 2026 г.

Николай Вячеславович Шилов (Лицей 22 «Надежда Сибири» и ИСИ СО РАН)
«The Verifying Compiler: a Grand Challenge for Computing Research» ХХ лет спустя.

Аннотация

5 марта 2026 г. скончался сэр Чарльз Энтони Ричард Хоар (Tony Hoare), один из пионеров информатики, лауреат премии Тьюринга (1980), «автор» одной из первых прикладных «нестандартных логик» - логики Хоара. В 2003 г. на международной конференции PSI он выступил с приглашенным докладом The Verifying Compiler: a Grand Challenge for Computing Research (есть более поздняя запись доклада). В предлагаемом выступлении будет дан первый (беглый) обзор развития за 20 лет (2003–2026 гг.) исследований по теме доклада Энтони Хоара.

19 марта 2026 г.

Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности (3-я часть, заключительная).

Аннотация

Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:

классификация элементов топобулевой алгебры;
двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.

Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:

[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.

12 марта 2026 г.

Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности (2-я часть).

Аннотация

классификация элементов топобулевой алгебры;
двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.

Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:

[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.

05 марта 2026 г.

Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности.

Аннотация

классификация элементов топобулевой алгебры;
двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.

Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:

[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.