Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства

dc.contributor.author	Пынько, А.П.
dc.date.accessioned	2008-09-01T14:32:02Z
dc.date.available	2008-09-01T14:32:02Z
dc.date.issued	2007
dc.identifier.citation	Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус.	en_US
dc.identifier.issn	1025-6415
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/1660
dc.description.abstract	Terminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming.	en_US
dc.language.iso	ru	en_US
dc.publisher	Видавничий дім "Академперіодика" НАН України	en_US
dc.subject	Інформатика та кібернетика	en_US
dc.title	Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	510.6