Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
Тема:
Інформатика та кібернетика
УДК:
510.6
Посилання:
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос.
Дата:
2008
Переглядів:
978
Завантажень:
432
Анотація:
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.
