Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення

• Published in: Проблеми програмування
• Date: 2020
• Main Authors: Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2020
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/180464
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр.

Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведе...