Приложение логического программирования к многозначной логике с относительной истиной

dc.contributor.author	Пынько, А.П.
dc.date.accessioned	2015-06-15T14:53:31Z
dc.date.available	2015-06-15T14:53:31Z
dc.date.issued	2013
dc.identifier.citation	Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос.	uk_UA
dc.identifier.issn	0130-5395
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83131
dc.description.abstract	Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики.	uk_UA
dc.description.abstract	The procedures are suggested of automatic deduction in propositional many-valued logics with relative truth (that is, logics, which have several sets of distinguished values) based on the many-sided sequent deductive apparatus, which is implemented by logic programming methods in the PROLOG language and enables one to cover all finitely-valued logics.	uk_UA
dc.description.abstract	Запропоновано процедури автоматичного виведення в пропозиційних багатозначних логіках з відносною істиною (таких, що мають кілька множин вилучених значень) на засадах багатобічного секвенційного дедуктивного апарата, що реалізується методами логічного програмування на мові ПРОЛОГ та надає можливість охопити усі скінченнозначні логіки.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України	uk_UA
dc.relation.ispartof	Управляющие системы и машины
dc.subject	Программная инженерия и программные средства	uk_UA
dc.title	Приложение логического программирования к многозначной логике с относительной истиной	uk_UA
dc.title.alternative	The Application of the Logic Programming to Many-Valued Logic with the Relative Truth	uk_UA
dc.title.alternative	Застосування логічного програмування до багатозначної логіки з відносною істиною	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	510.6