Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведе...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2020 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2020
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/180464 |
| 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: | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862735202977054720 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| citation_txt | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведено базові секвенційні форми цих числень та умови замкненості секвенцій. Для пропонованих числень доведено теореми коректності, теореми про існування контрмоделей та теореми повноти.
Исследованы новые классы программно-ориентированных логик – чистые первопорядковые логики частичных квазиарных предикатов с расширенными реноминациями и композицией предикатного дополнения. Описаны отношення логического следствия в таких логиках, для этих отношений построены исчисления секвенциального типа. Приведены базовые секвенциальные формы этих исчислений и условия замкнутости секвенций. Для предложенных исчислений доказаны теоремы корректности, теоремы о существовании контрмоделей и теоремы полноты.
We study new classes of program-oriented logical formalisms – pure first-order logics of quasiary predicates with extended renominations and a composition of predicate complement. For these logics, various logical consequence relations are specified and corresponding calculi of sequent type are constructed. We define basic sequent forms for the specified calculi and closeness conditions. The soundness, completeness, and counter-model existence theorems are proved for the introduced calculi
|
| first_indexed | 2025-12-07T19:46:54Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180464 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T19:46:54Z |
| publishDate | 2020 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. 2021-09-29T16:31:05Z 2021-09-29T16:31:05Z 2020 Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр. 1727-4907 DOI; https://doi.org/10.15407/pp2020.02-03.184 https://nasplib.isofts.kiev.ua/handle/123456789/180464 004.42:510.69 Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведено базові секвенційні форми цих числень та умови замкненості секвенцій. Для пропонованих числень доведено теореми коректності, теореми про існування контрмоделей та теореми повноти. Исследованы новые классы программно-ориентированных логик – чистые первопорядковые логики частичных квазиарных предикатов с расширенными реноминациями и композицией предикатного дополнения. Описаны отношення логического следствия в таких логиках, для этих отношений построены исчисления секвенциального типа. Приведены базовые секвенциальные формы этих исчислений и условия замкнутости секвенций. Для предложенных исчислений доказаны теоремы корректности, теоремы о существовании контрмоделей и теоремы полноты. We study new classes of program-oriented logical formalisms – pure first-order logics of quasiary predicates with extended renominations and a composition of predicate complement. For these logics, various logical consequence relations are specified and corresponding calculi of sequent type are constructed. We define basic sequent forms for the specified calculi and closeness conditions. The soundness, completeness, and counter-model existence theorems are proved for the introduced calculi uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення Секвенциальные исчисления первопорядкових логик частичных предикатов с расширенными реноминациями и композицией предикатного дополнения Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement Article published earlier |
| spellingShingle | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_alt | Секвенциальные исчисления первопорядкових логик частичных предикатов с расширенными реноминациями и композицией предикатного дополнения Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement |
| title_full | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_fullStr | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_full_unstemmed | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_short | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_sort | секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180464 |
| work_keys_str_mv | AT níkítčenkoms sekvencíiníčislennâperšoporâdkovihlogíkčastkovihpredikatívzrozširenimirenomínacíâmitakompozicíêûpredikatnogodopovnennâ AT škílʹnâkos sekvencíiníčislennâperšoporâdkovihlogíkčastkovihpredikatívzrozširenimirenomínacíâmitakompozicíêûpredikatnogodopovnennâ AT škílʹnâkss sekvencíiníčislennâperšoporâdkovihlogíkčastkovihpredikatívzrozširenimirenomínacíâmitakompozicíêûpredikatnogodopovnennâ AT níkítčenkoms sekvencialʹnyeisčisleniâpervoporâdkovihlogikčastičnyhpredikatovsrasširennymirenominaciâmiikompozicieipredikatnogodopolneniâ AT škílʹnâkos sekvencialʹnyeisčisleniâpervoporâdkovihlogikčastičnyhpredikatovsrasširennymirenominaciâmiikompozicieipredikatnogodopolneniâ AT škílʹnâkss sekvencialʹnyeisčisleniâpervoporâdkovihlogikčastičnyhpredikatovsrasširennymirenominaciâmiikompozicieipredikatnogodopolneniâ AT níkítčenkoms sequentcalculioffirstorderlogicsofpartialpredicateswithextendedrenominationsandcompositionofpredicatecomplement AT škílʹnâkos sequentcalculioffirstorderlogicsofpartialpredicateswithextendedrenominationsandcompositionofpredicatecomplement AT škílʹnâkss sequentcalculioffirstorderlogicsofpartialpredicateswithextendedrenominationsandcompositionofpredicatecomplement |