Повнота секвенційних числень модальних логік немонотонних часткових предикатів
Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2016 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/132074 |
| 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: | Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862567653038620672 |
|---|---|
| author | Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. |
| author_facet | Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. |
| citation_txt | Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми повноти опирається на теорему про існування контрмоделі для незамкненого шляху в секвенційному дереві, для її побудови використано метод систем модельних множин.
In this paper we construct sequent calculi for pure first-order composition nominative modal logics of partial non-monotone predicates. We specify various variants of the introduced calculi, their basic sequent forms and sequent closure conditions. The proof of the completeness theorem is based on the theorem about existence of a counter-model for a non-closed path in a sequent tree; the counter-model is obtained using the Hintikka sets method.
|
| first_indexed | 2025-11-26T00:18:50Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-132074 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-11-26T00:18:50Z |
| publishDate | 2016 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. 2018-04-10T16:09:07Z 2018-04-10T16:09:07Z 2016 Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/132074 004.42:510.69 Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми повноти опирається на теорему про існування контрмоделі для незамкненого шляху в секвенційному дереві, для її побудови використано метод систем модельних множин. In this paper we construct sequent calculi for pure first-order composition nominative modal logics of partial non-monotone predicates. We specify various variants of the introduced calculi, their basic sequent forms and sequent closure conditions. The proof of the completeness theorem is based on the theorem about existence of a counter-model for a non-closed path in a sequent tree; the counter-model is obtained using the Hintikka sets method. uk Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Теорія та засоби обчислювального інтелекту Повнота секвенційних числень модальних логік немонотонних часткових предикатів Completeness of sequent calculi for modal logics of non-monotone partial predicates Article published earlier |
| spellingShingle | Повнота секвенційних числень модальних логік немонотонних часткових предикатів Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. Теорія та засоби обчислювального інтелекту |
| title | Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_alt | Completeness of sequent calculi for modal logics of non-monotone partial predicates |
| title_full | Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_fullStr | Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_full_unstemmed | Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_short | Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_sort | повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| topic | Теорія та засоби обчислювального інтелекту |
| topic_facet | Теорія та засоби обчислювального інтелекту |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/132074 |
| work_keys_str_mv | AT škílʹnâkos povnotasekvencíinihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív AT kasʹânûkvs povnotasekvencíinihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív AT malûtenkolm povnotasekvencíinihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív AT škílʹnâkos completenessofsequentcalculiformodallogicsofnonmonotonepartialpredicates AT kasʹânûkvs completenessofsequentcalculiformodallogicsofnonmonotonepartialpredicates AT malûtenkolm completenessofsequentcalculiformodallogicsofnonmonotonepartialpredicates |