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

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

Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих від...