Об аксиоматизации конечнозначных логических исчислений

В работе предложен общий эффективный метод построения полного относительно $L_n$-общезначимости исчисления предикатов в квази-гильбертовой форме (т.е. в гильбертовой форме, но с использованием языка расширенного конечным числом “внешних метасимволов” на базе произвольной конечнозначной логики). Для логик из весьма широкого класса, в который попадают многие из изучавшихся ранее логик, указан общий эффективный способ построения полного относительно $L_n$-общезначимости исчисления предикатов гильбертова типа. Результаты и методы настоящей работы позволяют начать развивать теорию моделей на базе произвольной конечнозначной логики.
Библиография: 25 названий.