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

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

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


Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия Академии наук СССР. Серия математическая, 1981, том 45, выпуск 1, страницы 47–68 (Mi im1547)  
Эта публикация цитируется в 47 научных статьях (всего в 47 статьях)

Предикатные и теоретико-множественные исчисления, основанные на логике без сокращений

В. Н. Гришин
PDF полного текста (2001 kB) PDF английской версии (950 kB) Список цитирования (47)
Список литературы:
PDF
HTML
Аннотация: В работе исследуется эффект удаления правил сокращения из генценовского исчисления предикатов, а также из теоретико-множественных систем, основанных на этом исчислении. Оказывается, что исчисление предикатов без правил сокращения полно относительно конечных моделей, а удаление правил сокращения из теоретико-множественных систем не изменяет запаса выводимых формул, если только системы содержат некоторые естественные аксиомы.
Библиография: 4 названия.
Поступило в редакцию: 14.05.1980
Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1982, Volume 18, Issue 1, Pages 41–59
DOI: https://doi.org/10.1070/IM1982v018n01ABEH001382
Реферативные базы данных:
УДК: 51.01.16
MSC: Primary 03B20; Secondary 03G25
Образец цитирования: В. Н. Гришин, “Предикатные и теоретико-множественные исчисления, основанные на логике без сокращений”, Изв. АН СССР. Сер. матем., 45:1 (1981), 47–68; Math. USSR-Izv., 18:1 (1982), 41–59
Цитирование в формате AMSBIB
\RBibitem{Gri81}
\by В.~Н.~Гришин
\paper Предикатные и теоретико-множественные исчисления, основанные
на логике без сокращений
\jour Изв. АН СССР. Сер. матем.
\yr 1981
\vol 45
\issue 1
\pages 47--68
\mathnet{http://mi.mathnet.ru/im1547}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=607576}
\zmath{https://zbmath.org/?q=an:0478.03009|0464.03027}
\transl
\jour Math. USSR-Izv.
\yr 1982
\vol 18
\issue 1
\pages 41--59
\crossref{https://doi.org/10.1070/IM1982v018n01ABEH001382}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im1547
  • https://www.mathnet.ru/rus/im/v45/i1/p47
    • Эта публикация цитируется в следующих 47 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:1188
    PDF русской версии:319
    PDF английской версии:33
    Список литературы:109
    Первая страница:4
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024