Сибирский федеральный университет

Перевод названия: 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

Место издания: Омск

Издатель: Омский государственный технический университет

• Башмаков С. И. (Сибирский федеральный университет)
• Брылякова Е.В. (Сибирский федеральный университет)

• РИНЦ (eLIBRARY.RU)