Логіки загальних недетермінованих предикатів: cемантичні аспекти
Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або GND-предикатів. Виділено різновиди таких предикатів, досліджено властивості їх композицій, розглянуто композиційні алгебри GND-предикатів. Описано мови...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2018 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2018
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/144580 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Логіки загальних недетермінованих предикатів: cемантичні аспекти / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2018. — № 2-3. — С. 31-45. — Бібліогр.: 10 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862746156551897088 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| citation_txt | Логіки загальних недетермінованих предикатів: cемантичні аспекти / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2018. — № 2-3. — С. 31-45. — Бібліогр.: 10 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або 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.
|
| first_indexed | 2025-12-07T20:44:22Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144580 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:44:22Z |
| publishDate | 2018 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. 2018-12-30T16:42:27Z 2018-12-30T16:42:27Z 2018 Логіки загальних недетермінованих предикатів: cемантичні аспекти / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2018. — № 2-3. — С. 31-45. — Бібліогр.: 10 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144580 004.42:510.69 Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або 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. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects Article published earlier |
| spellingShingle | Логіки загальних недетермінованих предикатів: cемантичні аспекти Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Логіки загальних недетермінованих предикатів: cемантичні аспекти |
| title_alt | Logics of general non-deterministic predicates: semantic aspects |
| title_full | Логіки загальних недетермінованих предикатів: cемантичні аспекти |
| title_fullStr | Логіки загальних недетермінованих предикатів: cемантичні аспекти |
| title_full_unstemmed | Логіки загальних недетермінованих предикатів: cемантичні аспекти |
| title_short | Логіки загальних недетермінованих предикатів: cемантичні аспекти |
| title_sort | логіки загальних недетермінованих предикатів: cемантичні аспекти |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144580 |
| work_keys_str_mv | AT níkítčenkoms logíkizagalʹnihnedetermínovanihpredikatívcemantičníaspekti AT škílʹnâkos logíkizagalʹnihnedetermínovanihpredikatívcemantičníaspekti AT škílʹnâkss logíkizagalʹnihnedetermínovanihpredikatívcemantičníaspekti AT níkítčenkoms logicsofgeneralnondeterministicpredicatessemanticaspects AT škílʹnâkos logicsofgeneralnondeterministicpredicatessemanticaspects AT škílʹnâkss logicsofgeneralnondeterministicpredicatessemanticaspects |