Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – Хоара з частковими перед- та після-умовами. В даній роботі вивчаються LC пропозиц...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2019 |
| Main Authors: | , , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2019
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/150917 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк, Т.А. Мамедов // Проблеми програмування. — 2019. — № 1. — С. 3-13. — Бібліогр.: 14 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-150917 |
|---|---|
| record_format |
dspace |
| spelling |
Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Мамедов, Т.А. 2019-04-18T20:20:37Z 2019-04-18T20:20:37Z 2019 Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк, Т.А. Мамедов // Проблеми програмування. — 2019. — № 1. — С. 3-13. — Бібліогр.: 14 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2019.01.003 https://nasplib.isofts.kiev.ua/handle/123456789/150917 004.42:510.69 Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – Хоара з частковими перед- та після-умовами. В даній роботі вивчаються LC пропозиційного рівня – PLC. Описано пропозиційні композиційні алгебри та мови PLC, запропоновано та досліджено відношення неспростовнісного логічного наслідку за умов невизначеності. На цій основі для PLC однозначних предикатів побудовано числення секвенційного типу. В работе исследованы новые программно-ориентированные логические формализмы – логики частичных предикатов с предикатным дополнением, названные LC. Характерная особенность таких логик – наличие специальной немонотонной операции (композиции) предикатного дополнения. Подобные операции используются в различных вариантах логик Флойда – Хоара с частичными пред- и после-условиями. Свойства пропозициональных композиций LC аналогичны свойствам традиционных логических связок. Исследованы свойства новой композиции предикатного дополнения. The paper studies new software-oriented logical formalisms – the logics of partial predicates with predicate complement. Such logics are denoted LC. A characteristic feature of these logics is the presence of a special non-monotonic operation (composition) of the predicate complement. Such operations are used in various versions of the Floyd-Hoare logic with partial pre- and post-conditions. Properties of LC propositional compositions are similar to the properties of the traditional logical connectives. Properties of the new composition of the predicate complement are investigated. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Пропозиційні логіки часткових предикатів з композицією предикатного доповнення Пропозициональные логики частичных предикатов с композицией предикатного дополнения Propositional logics of partial predicates with composition of predicate complement Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення |
| spellingShingle |
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Мамедов, Т.А. Теоретичні та методологічні основи програмування |
| title_short |
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення |
| title_full |
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення |
| title_fullStr |
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення |
| title_full_unstemmed |
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення |
| title_sort |
пропозиційні логіки часткових предикатів з композицією предикатного доповнення |
| author |
Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Мамедов, Т.А. |
| author_facet |
Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Мамедов, Т.А. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2019 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Пропозициональные логики частичных предикатов с композицией предикатного дополнения Propositional logics of partial predicates with composition of predicate complement |
| description |
Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – Хоара з частковими перед- та після-умовами. В даній роботі вивчаються LC пропозиційного рівня – PLC. Описано пропозиційні композиційні алгебри та мови PLC, запропоновано та досліджено відношення неспростовнісного логічного наслідку за умов невизначеності. На цій основі для PLC однозначних предикатів побудовано числення секвенційного типу.
В работе исследованы новые программно-ориентированные логические формализмы – логики частичных предикатов с предикатным дополнением, названные LC. Характерная особенность таких логик – наличие специальной немонотонной операции (композиции) предикатного дополнения. Подобные операции используются в различных вариантах логик Флойда – Хоара с частичными пред- и после-условиями. Свойства пропозициональных композиций LC аналогичны свойствам традиционных логических связок. Исследованы свойства новой композиции предикатного дополнения.
The paper studies new software-oriented logical formalisms – the logics of partial predicates with predicate complement. Such logics are denoted LC. A characteristic feature of these logics is the presence of a special non-monotonic operation (composition) of the predicate complement. Such operations are used in various versions of the Floyd-Hoare logic with partial pre- and post-conditions. Properties of LC propositional compositions are similar to the properties of the traditional logical connectives. Properties of the new composition of the predicate complement are investigated.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/150917 |
| citation_txt |
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк, Т.А. Мамедов // Проблеми програмування. — 2019. — № 1. — С. 3-13. — Бібліогр.: 14 назв. — укр. |
| work_keys_str_mv |
AT níkítčenkoms propozicíinílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ AT škílʹnâkos propozicíinílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ AT škílʹnâkcs propozicíinílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ AT mamedovta propozicíinílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ AT níkítčenkoms propozicionalʹnyelogikičastičnyhpredikatovskompozicieipredikatnogodopolneniâ AT škílʹnâkos propozicionalʹnyelogikičastičnyhpredikatovskompozicieipredikatnogodopolneniâ AT škílʹnâkcs propozicionalʹnyelogikičastičnyhpredikatovskompozicieipredikatnogodopolneniâ AT mamedovta propozicionalʹnyelogikičastičnyhpredikatovskompozicieipredikatnogodopolneniâ AT níkítčenkoms propositionallogicsofpartialpredicateswithcompositionofpredicatecomplement AT škílʹnâkos propositionallogicsofpartialpredicateswithcompositionofpredicatecomplement AT škílʹnâkcs propositionallogicsofpartialpredicateswithcompositionofpredicatecomplement AT mamedovta propositionallogicsofpartialpredicateswithcompositionofpredicatecomplement |
| first_indexed |
2025-11-28T13:58:53Z |
| last_indexed |
2025-11-28T13:58:53Z |
| _version_ |
1850853850795212800 |