Побудова секвенційних числень логік квазіарних предикатів першого порядку
Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно- шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно- значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких ч...
Збережено в:
| Опубліковано в: : | Искусственный интеллект |
|---|---|
| Дата: | 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| Резюме: | Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно-
шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно-
значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких
числень доведено теореми коректності й повноти. Запропоновано низку секвенційних числень для чистих першопорядкових логік часткових предикатів з рівністю.
Исследованы первопорядковые композиционно-номинативные логики квазиарных предикатов. Для
различных отношений логического следствия в чистых первопорядковых логиках частичных однозначных,
тотальных неоднозначных и частичных неоднозначных предикатов построены специальные секвенциальные
исчисления. Для таких исчислений доказаны теоремы корректности и полноты. Предложен ряд секвенциаль-
ных исчислений для чистых первопорядковых логик частичных предикатов с равенством.
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 |