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