Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
Завантаження...
Файли
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Видавничий дім "Академперіодика" НАН України
Анотація
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.
Опис
Теми
Інформатика та кібернетика
Цитування
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос.