Логіки загальних недетермінованих предикатів: cемантичні аспекти

• Veröffentlicht in: Проблеми програмування
• Datum: 2018
• Hauptverfasser: Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2018
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/144580
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Логіки загальних недетермінованих предикатів: cемантичні аспекти / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2018. — № 2-3. — С. 31-45. — Бібліогр.: 10 назв. — укр.

Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або GND-предикатів. Виділено різновиди таких предикатів, досліджено властивості їх композицій, розглянуто композиційні алгебри GND-предикатів. Описано мови чистих першопорядкових логік GND-предикатів. Запропоновано та досліджено відношення логічного наслідку для множин формул. Описано властивості декомпозиції формул та елімінації кванторів. Исследованы семантические аспекты нового класса программно-ориентированных логических формализмов – логик общих недетерминированных квазиарных предикатов, или GND-предикатов. Выделены разновидности таких предикатов, исследованы свойства их композиций, рассмотрены композиционные алгебры GND-предикатов. Описаны языки чистых первопорядковых логик GND-предикатов. Предложены и исследованы отношения логического следствия для множеств формул. Описаны свойства декомпозиции формул и элиминации кванторов. Semantic aspects of a new class of program-oriented logical formalisms – logics of general non-deterministic quasiary predicates (GND-predicates) – are considered. Сlasses of GND-predicates are singled out, their compositions and algebras are investigated. The language of pure first-order logics of GND-predicates is described. The relation of the logical consequence for the sets of formulas is proposed and investigated. The properties of the decomposition of formulas and of quantifier elimination are described.