Аннотация:
В работе предложен общий эффективный метод построения полного относительно Ln-общезначимости исчисления предикатов в квази-гильбертовой форме (т.е. в гильбертовой форме, но с использованием языка расширенного конечным числом “внешних метасимволов” на базе произвольной конечнозначной логики). Для логик из весьма широкого класса, в который попадают многие из изучавшихся ранее логик, указан общий эффективный способ построения полного относительно Ln-общезначимости исчисления предикатов гильбертова типа. Результаты и методы настоящей работы позволяют начать развивать теорию моделей на базе произвольной конечнозначной логики.
Библиография: 25 названий.
Образец цитирования:
О. М. Аншаков, С. В. Рычков, “Об аксиоматизации конечнозначных логических исчислений”, Матем. сб., 123(165):4 (1984), 477–495; O. M. Anshakov, S. V. Rychkov, “On the axiomatization of finite-valued logical calculi”, Math. USSR-Sb., 51:2 (1985), 473–491
Alexander S. Karpenko, The History and Philosophy of Polish Logic, 2014, 13
Fomin A., “Abelian Groups in Russia”, Rocky Mt. J. Math., 32:4 (2002), 1161–1180
O. Anshakov, S. Rychkov, “On Finite-Valued Propositional Logical Calculi”, Notre Dame J. Formal Logic, 36:4 (1995)
С. В. Рычков, “К теореме о полноте для многозначных структур”, УМН, 46:6(282) (1991), 205–206; S. V. Rychkov, “On the completeness theorem for many-valued lattices”, Russian Math. Surveys, 46:6 (1991), 227–228
О. М. Аншаков, С. В. Рычков, “Многозначные логики и их алгебры”, УМН, 45:6(276) (1990), 123–124; O. M. Anshakov, S. V. Rychkov, “Many-valued logics and their algebras”, Russian Math. Surveys, 45:6 (1990), 139–140
Цитирование в формате AMSBIB
Обратная связь: