Побудова секвенційних числень логік квазіарних предикатів першого порядку
Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно-
 шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно-
 значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числен...
Saved in:
| Published in: | Искусственный интеллект |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/85231 |
| 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: | Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862749581813481472 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр. |
| collection | DSpace DC |
| container_title | Искусственный интеллект |
| description | Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно-
шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно-
значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких
числень доведено теореми коректності й повноти. Запропоновано низку секвенційних числень для чистих першопорядкових логік часткових предикатів з рівністю.
Исследованы первопорядковые композиционно-номинативные логики квазиарных предикатов. Для
различных отношений логического следствия в чистых первопорядковых логиках частичных однозначных,
тотальных неоднозначных и частичных неоднозначных предикатов построены специальные секвенциальные
исчисления. Для таких исчислений доказаны теоремы корректности и полноты. Предложен ряд секвенциаль-
ных исчислений для чистых первопорядковых логик частичных предикатов с равенством.
We study first-order composition-nominative logics of quasiary predicates. Special sequent calculi for various
consequence relations in pure first-order logics of partial single-valued, total multiple-valued and partial multiplevalued
predicates are constructed. For the defined calculi the soundness and completeness theorems are proved. We
introduce a number ofsequent calculi for pure first-order logics of partial predicates with equality.
|
| first_indexed | 2025-12-07T21:00:55Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-85231 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-12-07T21:00:55Z |
| publishDate | 2013 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Шкільняк, С.С. 2015-07-22T18:35:24Z 2015-07-22T18:35:24Z 2013 Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/85231 004.42:510.69 Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно-
 шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно-
 значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких
 числень доведено теореми коректності й повноти. Запропоновано низку секвенційних числень для чистих першопорядкових логік часткових предикатів з рівністю. Исследованы первопорядковые композиционно-номинативные логики квазиарных предикатов. Для
 различных отношений логического следствия в чистых первопорядковых логиках частичных однозначных,
 тотальных неоднозначных и частичных неоднозначных предикатов построены специальные секвенциальные
 исчисления. Для таких исчислений доказаны теоремы корректности и полноты. Предложен ряд секвенциаль-
 ных исчислений для чистых первопорядковых логик частичных предикатов с равенством. We study first-order composition-nominative logics of quasiary predicates. Special sequent calculi for various
 consequence relations in pure first-order logics of partial single-valued, total multiple-valued and partial multiplevalued
 predicates are constructed. For the defined calculi the soundness and completeness theorems are proved. We
 introduce a number ofsequent calculi for pure first-order logics of partial predicates with equality. uk Інститут проблем штучного інтелекту МОН України та НАН України Искусственный интеллект Концептуальные проблемы создания систем искусственного интеллекта Побудова секвенційних числень логік квазіарних предикатів першого порядку Построение секвенциальных исчислений логик квазиарных предикатов первого порядка Construction of sequent calculi for first-order logics of quasiary predicates Article published earlier |
| spellingShingle | Побудова секвенційних числень логік квазіарних предикатів першого порядку Шкільняк, С.С. Концептуальные проблемы создания систем искусственного интеллекта |
| title | Побудова секвенційних числень логік квазіарних предикатів першого порядку |
| title_alt | Построение секвенциальных исчислений логик квазиарных предикатов первого порядка Construction of sequent calculi for 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/85231 |
| work_keys_str_mv | AT škílʹnâkss pobudovasekvencíinihčislenʹlogíkkvazíarnihpredikatívperšogoporâdku AT škílʹnâkss postroeniesekvencialʹnyhisčisleniilogikkvaziarnyhpredikatovpervogoporâdka AT škílʹnâkss constructionofsequentcalculiforfirstorderlogicsofquasiarypredicates |