#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: https://www.mathnet.ru/rus/conf2559

Семинар пройдет в среду 8 октября в 14:00.

Место проведения:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.

Также планируется интернет-трансляция, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Докладчик: В.Б. Шехтман

Название: Топологическая полнота и полнота по Крипке для суперинтуиционистских логик.

Аннотация.
В 1974 г. А.В. Кузнецов сформулировал несколько проблем о полноте суперинтуиционистских логик высказываний в различных семантиках. Часть этих проблем впоследствии была решена.
В докладе обсуждается одна из них: соотношение полноты по Крипке и топологической полноты. Строится явный пример конечно аксиоматизируемой логики, для которой пополнение в топологической семантике неполно по Крипке.

➰ ВК