Побудова секвенційних числень логік квазіарних предикатів першого порядку

• Veröffentlicht in: Искусственный интеллект
• Datum: 2013
• 1. Verfasser: Шкільняк, С.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Schlagworte: Концептуальные проблемы создания систем искусственного интеллекта
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/85231
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр.

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