Моделирование оператора частичной фиксированной точки

Секорин, В.С.

Моделирование оператора частичной фиксированной точки

Дата публикации: 2022

Дата публикации в реестре: 2022-10-06T23:01:19Z

Аннотация:

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

Ключевые слова:
51 Математика, 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п., 510.6 Математическая логика, 510.62 Логические и логико-предметные языки

Тип: Статья