Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведе...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2020 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2020
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/180464 |
| 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: | Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-180464 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| spellingShingle |
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title_short |
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_full |
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_fullStr |
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_full_unstemmed |
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| title_sort |
секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення |
| author |
Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2020 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Секвенциальные исчисления первопорядкових логик частичных предикатов с расширенными реноминациями и композицией предикатного дополнения Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement |
| 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
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/180464 |
| citation_txt |
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T19:46:54Z |
| last_indexed |
2025-12-07T19:46:54Z |
| _version_ |
1850880099956555776 |