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

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