Доклад С.И. Башмаков – «Проективная унификация в линейной интранзит. мономодальной логике LiTL». Часть 2.

Аннотация доклада.
Доклад посвящен проективной унификации в логике LiTL, анализируются известные результаты, подход С. Гиларди через проективные формулы.