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

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

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


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




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

Алгебра и логика, 1990, том 29, номер 3, страницы 350–367 (Mi al2109)  
Эта публикация цитируется в 10 научных статьях (всего в 10 статьях)

Неразрешимые свойства расширений логики доказуемости. I

А. В. Чагров
PDF полного текста (5341 kB) Список цитирования (10)
Аннотация: Доказывается, что не существует алгоритмов, которые по аксиоматике исчисления в нормальных расширениях логики доказуемости $GL$ определяли бы, обладает ли это исчисление следующими свойствами: разрешимостью, финитной аппроксимируемостью, дизъюнктивным свойством, интерполяционным свойством.
Поступило: 06.12.1988
Англоязычная версия:
Algebra and Logic
DOI: https://doi.org/10.1007/BF01979939
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.11
Образец цитирования: А. В. Чагров, “Неразрешимые свойства расширений логики доказуемости. I”, Алгебра и логика, 29:3 (1990), 350–367
Цитирование в формате AMSBIB
\RBibitem{Cha90}
\by А.~В.~Чагров
\paper Неразрешимые свойства расширений логики доказуемости.~I
\jour Алгебра и логика
\yr 1990
\vol 29
\issue 3
\pages 350--367
\mathnet{http://mi.mathnet.ru/al2109}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1118930}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2109
  • https://www.mathnet.ru/rus/al/v29/i3/p350
    Цикл статей
    Эта публикация цитируется в следующих 10 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:68
    PDF полного текста:33
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024