Математический сборник (новая серия)
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. сб.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математический сборник (новая серия), 1984, том 123(165), номер 4, страницы 477–495 (Mi sm2032)  
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

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

О. М. Аншаков, С. В. Рычков
PDF полного текста (1123 kB) PDF английской версии (1023 kB) Список цитирования (5)
Список литературы:
PDF
HTML
Аннотация: В работе предложен общий эффективный метод построения полного относительно $L_n$-общезначимости исчисления предикатов в квази-гильбертовой форме (т.е. в гильбертовой форме, но с использованием языка расширенного конечным числом “внешних метасимволов” на базе произвольной конечнозначной логики). Для логик из весьма широкого класса, в который попадают многие из изучавшихся ранее логик, указан общий эффективный способ построения полного относительно $L_n$-общезначимости исчисления предикатов гильбертова типа. Результаты и методы настоящей работы позволяют начать развивать теорию моделей на базе произвольной конечнозначной логики.
Библиография: 25 названий.
Поступила в редакцию: 09.02.1982
Англоязычная версия:
Mathematics of the USSR-Sbornik, 1985, Volume 51, Issue 2, Pages 473–491
DOI: https://doi.org/10.1070/SM1985v051n02ABEH002870
Реферативные базы данных:
УДК: 510.6
MSC: Primary 03B50; Secondary 03G25
Образец цитирования: О. М. Аншаков, С. В. Рычков, “Об аксиоматизации конечнозначных логических исчислений”, Матем. сб., 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
Цитирование в формате AMSBIB
\RBibitem{AnsRyc84}
\by О.~М.~Аншаков, С.~В.~Рычков
\paper Об аксиоматизации конечнозначных логических исчислений
\jour Матем. сб.
\yr 1984
\vol 123(165)
\issue 4
\pages 477--495
\mathnet{http://mi.mathnet.ru/sm2032}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=740674}
\zmath{https://zbmath.org/?q=an:0566.03010|0551.03015}
\transl
\by O.~M.~Anshakov, S.~V.~Rychkov
\paper On the axiomatization of finite-valued logical calculi
\jour Math. USSR-Sb.
\yr 1985
\vol 51
\issue 2
\pages 473--491
\crossref{https://doi.org/10.1070/SM1985v051n02ABEH002870}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm2032
  • https://www.mathnet.ru/rus/sm/v165/i4/p477
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник (новая серия) - 1964–1988 Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:363
    PDF русской версии:128
    PDF английской версии:12
    Список литературы:33
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024