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

• Datum: 2019
• 1. Verfasser: Шкільняк, О.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2019
• Schriftenreihe: Проблеми програмування
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/161494
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення / О.С. Шкільняк // Проблеми програмування. — 2019. — № 3. — С. 11-27. — Бібліогр.: 10 назв. — укр.

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