Побудова секвенційних числень логік квазіарних предикатів першого порядку
Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно- шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно- значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких ч...
Збережено в:
| Опубліковано в: : | Искусственный интеллект |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/85231 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-85231 |
|---|---|
| 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 |
| 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 |
2013 |
| language |
Ukrainian |
| container_title |
Искусственный интеллект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Построение секвенциальных исчислений логик квазиарных предикатов первого порядка Construction of sequent calculi for first-order logics of quasiary predicates |
| 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.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/85231 |
| citation_txt |
Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T21:00:55Z |
| last_indexed |
2025-12-07T21:00:55Z |
| _version_ |
1850884756921647104 |