 |
Доповіді НАН України. – 2008. – N 4. – С. 51–54.
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
А.П. Пынько
Abstract
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-форматі
| Назад до номера | Вибір номера | Головна сторінка журналу | Головна сторінка Порталу |