Место:
пр. Свободный 79, ауд. 34-08
Доклад С.И. Башмаков – «Проективная унификация в линейной интранзит. мономодальной логике LiTL». Часть 2.
Аннотация доклада.
Доклад посвящен проективной унификации в логике LiTL, анализируются известные результаты, подход С. Гиларди через проективные формулы.