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

dc.contributor.author	Пынько, А.П.
dc.date.accessioned	2009-07-16T09:08:10Z
dc.date.available	2009-07-16T09:08:10Z
dc.date.issued	2008
dc.identifier.citation	Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос.	en_US
dc.identifier.issn	1025-6415
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/4138
dc.description.abstract	The derivable rules of axiomatic extensions of sequent calculi with structural rules for the prepositional finitely valued logics with an equality determinant are analyzed with the use of methods 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