Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Все грани математики и механики; Томск; Томск
Год издания: 2026
Ключевые слова: Kripke semantics, unification, unifier, projectivity, unitary type of unification, семантика Крипке, унификация, унификатор, проективность, унитарный тип унификации
Аннотация: В работе предложено семантическое описание логики pLTK.sl, исследовано свойство конечной модели для этой логики и установлен унитарный тип унификации. We proposed a semantic description of the logic pLTK.sl and investigated the finite model property for this logic, established the unitary type of unification.
Журнал: Все грани математики и механики
Номера страниц: 29-30
Место издания: Томск