Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 8 октября, 14:00
Где: Адм. корпус, ауд.322.

Доклад:

В.Б. Шехтман,
"Топологическая полнота и полнота по Крипке для суперинтуиционистских логик"

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

В докладе обсуждается одна из них: соотношение полноты по Крипке и топологической полноты.

Строится явный пример конечно аксиоматизируемой логики, для которой пополнение в топологической xсемантике неполно по Крипке.


Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!

Страница семинара: https://www.mathnet.ru/rus/conf2559

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

#ВШМ_логический