#матлог #учёба #спецсеминар

Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)

Время: 25 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк

А.В. Грефенштейн (МИАН)

Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов — 2

На прошлом докладе было представлено инфинитарное исчисление для (односортной версии) первопорядковой логики вероятности с распределением на носителе и изложена схема доказательства соответствующей теоремы о сильной полноте. Настоящий доклад будет посвящён завершению этого доказательства и построению исчислений для естественных фрагментов рассматриваемой логики. В частности, нас будут интересовать линейный и базовый сублинейный фрагменты, а также «чисто вероятностный» фрагмент, в котором всякая классическая формула находится под \mu. В каждом из случаев мы обсудим, как нужно модифицировать исходное исчисление и как при этом меняется конструкция канонической модели и доказательство основной семантической леммы.

➰ ВК