Секвенційні системи логічного виведення першопорядкових логік часткових предикатів

dc.contributor.author	Шкільняк, С.С.
dc.date.accessioned	2015-07-14T15:46:38Z
dc.date.available	2015-07-14T15:46:38Z
dc.date.issued	2013
dc.identifier.citation	Секвенційні системи логічного виведення першопорядкових логік часткових предикатів / С.С. Шкільняк // Компьютерная математика. — 2013. — № 2. — С. 88-96. — Бібліогр.: 9 назв. — укр.	uk_UA
dc.identifier.issn	ХХХХ-0003
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/84752
dc.description.abstract	Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено коректність і повноту таких числень.	uk_UA
dc.description.abstract	Для чистых первопорядковых логик частичных однозначных и частичных неоднозначных предикатов построены секвенциальные исчисления. При этом использованы специальные предикаты-индикаторы наличия значения для переменных. Доказаны корректность и полнота таких исчислений.	uk_UA
dc.description.abstract	We construct sequent calculi for pure first-order logics of partial single-valued and partial multivalued predicates. Special variable definedness predicates are used for the construction. The soundness and completeness of this calculi are proved.	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	Sequent systems of logical deduction for pure first-order logics of partial predicates	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.42:510.69