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

dc.contributor.author	Шкільняк, С.С.
dc.date.accessioned	2015-07-22T18:35:24Z
dc.date.available	2015-07-22T18:35:24Z
dc.date.issued	2013
dc.identifier.citation	Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр.	uk_UA
dc.identifier.issn	1561-5359
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/85231
dc.description.abstract	Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно- шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно- значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких числень доведено теореми коректності й повноти. Запропоновано низку секвенційних числень для чистих першопорядкових логік часткових предикатів з рівністю.	uk_UA
dc.description.abstract	Исследованы первопорядковые композиционно-номинативные логики квазиарных предикатов. Для различных отношений логического следствия в чистых первопорядковых логиках частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов построены специальные секвенциальные исчисления. Для таких исчислений доказаны теоремы корректности и полноты. Предложен ряд секвенциаль- ных исчислений для чистых первопорядковых логик частичных предикатов с равенством.	uk_UA
dc.description.abstract	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_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут проблем штучного інтелекту МОН України та НАН України	uk_UA
dc.relation.ispartof	Искусственный интеллект
dc.subject	Концептуальные проблемы создания систем искусственного интеллекта	uk_UA
dc.title	Побудова секвенційних числень логік квазіарних предикатів першого порядку	uk_UA
dc.title.alternative	Построение секвенциальных исчислений логик квазиарных предикатов первого порядка	uk_UA
dc.title.alternative	Construction of sequent calculi for first-order logics of quasiary predicates	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.42:510.69