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