Семантические таблицы с метапеременными для логики нечётких неравенств

Предлагается табличное исчисление с метапеременными для логики нечётких неравенств F$\forall$ – расширения бесконечнозначной логики Лукасевича первого порядка Ł$\forall$. Множество всех Ł$\forall$-предложений, выводимых в гиперсеквенциальном исчислении Бааза и Меткалфа для Ł$\forall$, вкладывается во множество всех F$\forall$-предложений, выводимых в данном табличном исчислении. Доказывается NP-полнота задачи проверки закрываемости таблицы, и предлагается алгоритм решения этой задачи, основанный на унификации.