📖Заседание научно-теоретического семинара «From the Logical Point of View»

👤 Доклад по теме «Минимальная вполне-определённая логика» представят И.А.Горбунов (ТвГУ, ВШЭ) и М.Н.Рыбаков (МФТИ, ТвГУ, ВШЭ).

📌Понятие вполне-определённой логики (well-determined logic) было введено Рышардом Вуйцицким: это логика, обладающая слабым дедуктивным свойством (т.е. для неё выполняется слабая теорема о дедукции) и свойством конъюнкции. В докладе будет показано, что логика W не обладает дедуктивным свойством, предложена семантика, относительно которой W корректна и полна, а также представлены результаты о финитной аппроксимируемости и разрешимости логики W.

📎Мероприятие пройдёт 29 апреля в 15:00 в смешанном формате на ул. Старая Басманная, 21/4 (ауд. А-117) и в Zoom. Для участия необходимо зарегистрироваться по ссылке.

#МЛогЛингФФ@philosnote
#полезныематериалы@philosnote