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

Домашня сторінка
→
Загальнонаукова періодика
→
Доповіді Національної академії наук України
→
Доповіді НАН України, 2011
→
Доповіді НАН України, 2011, № 09
→
Переглянути статтю

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

Пынько, А.П.

Інші назви: Optimization of sequent calculi for finitely-valued logics with equality determinant

Тема: Інформатика та кібернетика

УДК: 510.6

URI: http://dspace.nbuv.gov.ua/handle/123456789/38682

Посилання: Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос.

Дата: 2011

Завантажень: 442

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

Анотація:

Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності.

An effective procedure of minimization of the number of premises for the introduction rules of sequent calculi for propositional finitely-valued logics with equality determinant is proposed.

Показати повний запис статті