|
Математический сборник (новая серия), 1984, том 123(165), номер 4, страницы 477–495
(Mi sm2032)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Об аксиоматизации конечнозначных логических исчислений
О. М. Аншаков, С. В. Рычков
Аннотация:
В работе предложен общий эффективный метод построения полного относительно $L_n$-общезначимости исчисления предикатов в квази-гильбертовой форме (т.е. в гильбертовой форме, но с использованием языка расширенного конечным числом “внешних метасимволов” на базе произвольной конечнозначной логики). Для логик из весьма широкого класса, в который попадают многие из изучавшихся ранее логик, указан общий эффективный способ построения полного относительно $L_n$-общезначимости исчисления предикатов гильбертова типа. Результаты и методы настоящей работы позволяют начать развивать теорию моделей на базе произвольной конечнозначной логики.
Библиография: 25 названий.
Поступила в редакцию: 09.02.1982
Образец цитирования:
О. М. Аншаков, С. В. Рычков, “Об аксиоматизации конечнозначных логических исчислений”, Матем. сб., 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
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sm2032 https://www.mathnet.ru/rus/sm/v165/i4/p477
|
Статистика просмотров: |
Страница аннотации: | 364 | PDF русской версии: | 128 | PDF английской версии: | 12 | Список литературы: | 33 |
|