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

Аннотация доклада.
В докладе рассматриваются вопросы финитной аппроксимируемости и унификации в в линейной нетранзитивной мономодальной логике. Анализируется подход В.В. Рыбакова через построение проективного унификатора.