Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства

• Date: 2008
• Main Author: Пынько, А.П.
• Format: Article
• Language: Russian
• Published: Видавничий дім "Академперіодика" НАН України 2008
• Subjects: Інформатика та кібернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/4138
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос.

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.