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

Пынько, А. П.


	Наукова періодика України		Доповіді Національної академії наук України

Пынько А. П.
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доповiдi Національної академії наук України. - 2008. - № 4. - С. 51-54. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2008_4_10

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.

Повний текст PDF - 129.011 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Пынько А.

Бібліографічний опис для цитування:

Пынько А. П. Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доповiдi Національної академії наук України. - 2008. - № 4. - С. 51-54. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2008_4_10.

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача