Перевод названия: STRUCTURAL QUESTIONS OF A UNIFIER DIAGRAM
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Системы управления, информационные технологии и математическое моделирование; Омск; Омск
Год издания: 2023
Ключевые слова: non-classical logics, unification, ground unifier, unifier diagram, неклассические логики, унификация, корневой унификатор, диаграмма унификаторов
Аннотация: Работа посвящена описанию и исследованию специального инструмента, графически интерпретирующего множества подстановок специального вида для формул в языках различных неклассических логик - диаграммы унификаторов. Получен ряд результатов в области исследования структурных свойств корневых и максимальных унификаторов. Доказаны необхоПоказать полностьюдимость существования корневых унификаторов (кратко gu); отсутствие менее общих унификаторов, чем gu; несравнимость gu. The work is devoted to the description and study of a special tool that graphically interprets unification questions for non-classical logics - unifier diagrams. A number of results have been obtained in the field of studying the structural properties of ground and maximal unifiers. We proved the existence of ground unifiers (briefly gu); the absence of less general unifiers than gu; incomparability of gu.
Журнал: Системы управления, информационные технологии и математическое моделирование
Номера страниц: 25-30
Место издания: Омск
Издатель: Омский государственный технический университет