Чисті першопорядкові логіки квазіарних предикатів
Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних алгебр та класів інтерпретацій (семантик), відношень логічного наслідку для множ...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2016 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/126392 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Чисті першопорядкові логіки квазіарних предикатів / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2016. — № 2-3. — С. 73-86. — Бібліогр.: 11 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862741515441274880 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| citation_txt | Чисті першопорядкові логіки квазіарних предикатів / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2016. — № 2-3. — С. 73-86. — Бібліогр.: 11 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних алгебр та класів інтерпретацій (семантик), відношень логічного наслідку для множин формул. Для таких відношень побудовано низку числень секвенцій ного типу, характерною особливістю цих числень є розширені умови замкненості секвенції та оригінальні форми елімінації кванторів.
Исследованы чистые первопорядковые логики частичных и тотальных, однозначных и неоднозначных квазиарных предикатов. Описаны семантические модели и языки таких логик, особое внимание уделено изучению композиционных предикатных алгебр и классов интерпретаций (семантик), отношений логического следствия для множеств формул. Для таких отношений построен ряд исчислений секвенциального типа, характерными особенностями этих исчислений являются расширенные условия замкнутости секвенции и оригинальные формы элиминации кванторов.
Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic models and languages, giving special attention in our research to composition algebras of predicates and interpretation classes (sematics), and logical consequence relations for sets of formulas. For the defined relations a number of sequent type calculi is constructed; their characteristic features are extended conditions for sequent closure and original forms for quantifier elimination.
|
| first_indexed | 2025-12-07T20:20:16Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-126392 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:20:16Z |
| publishDate | 2016 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. 2017-11-23T12:55:58Z 2017-11-23T12:55:58Z 2016 Чисті першопорядкові логіки квазіарних предикатів / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2016. — № 2-3. — С. 73-86. — Бібліогр.: 11 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/126392 004.42:510.69 Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних алгебр та класів інтерпретацій (семантик), відношень логічного наслідку для множин формул. Для таких відношень побудовано низку числень секвенцій ного типу, характерною особливістю цих числень є розширені умови замкненості секвенції та оригінальні форми елімінації кванторів. Исследованы чистые первопорядковые логики частичных и тотальных, однозначных и неоднозначных квазиарных предикатов. Описаны семантические модели и языки таких логик, особое внимание уделено изучению композиционных предикатных алгебр и классов интерпретаций (семантик), отношений логического следствия для множеств формул. Для таких отношений построен ряд исчислений секвенциального типа, характерными особенностями этих исчислений являются расширенные условия замкнутости секвенции и оригинальные формы элиминации кванторов. Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic models and languages, giving special attention in our research to composition algebras of predicates and interpretation classes (sematics), and logical consequence relations for sets of formulas. For the defined relations a number of sequent type calculi is constructed; their characteristic features are extended conditions for sequent closure and original forms for quantifier elimination. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Чисті першопорядкові логіки квазіарних предикатів Чистые логики первопорядковые порядка квазиарных предикатов Pure first-order logics of quasiary predicates Article published earlier |
| spellingShingle | Чисті першопорядкові логіки квазіарних предикатів Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Чисті першопорядкові логіки квазіарних предикатів |
| title_alt | Чистые логики первопорядковые порядка квазиарных предикатов Pure first-order logics of quasiary predicates |
| title_full | Чисті першопорядкові логіки квазіарних предикатів |
| title_fullStr | Чисті першопорядкові логіки квазіарних предикатів |
| title_full_unstemmed | Чисті першопорядкові логіки квазіарних предикатів |
| title_short | Чисті першопорядкові логіки квазіарних предикатів |
| title_sort | чисті першопорядкові логіки квазіарних предикатів |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/126392 |
| work_keys_str_mv | AT níkítčenkoms čistíperšoporâdkovílogíkikvazíarnihpredikatív AT škílʹnâkos čistíperšoporâdkovílogíkikvazíarnihpredikatív AT škílʹnâkss čistíperšoporâdkovílogíkikvazíarnihpredikatív AT níkítčenkoms čistyelogikipervoporâdkovyeporâdkakvaziarnyhpredikatov AT škílʹnâkos čistyelogikipervoporâdkovyeporâdkakvaziarnyhpredikatov AT škílʹnâkss čistyelogikipervoporâdkovyeporâdkakvaziarnyhpredikatov AT níkítčenkoms purefirstorderlogicsofquasiarypredicates AT škílʹnâkos purefirstorderlogicsofquasiarypredicates AT škílʹnâkss purefirstorderlogicsofquasiarypredicates |