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

Пынько, А. П.


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

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

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.

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

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

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

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

Пынько А.

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

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

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

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

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