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

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

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


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




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

Труды ордена Ленина Математического института имени В. А. Стеклова, 1972, том 121, страницы 136–164 (Mi tm3115)  
Секвенциальные варианты прикладных исчислений предикатов без структурных правил вывода

М. Г. Рогава
PDF полного текста (3401 kB)
Аннотация: Устанавливается результат о специализации формы вывода в исчислении предикатов с равенством (возможность ограничиться “сукцедентными применениями” правил для равенства), допускающий многочисленные приложения. В качестве приложения этой леммы доказывается теорема о нормализации для исчисления предикатов с равенством. Строятся свободные от сечения и не содержащие других структурных правил генценовские варианты для аксиоматически охарактеризованных математических теорий, задаваемых конечным списком или перечислимым множеством специфических аксиом и имеющих в качестве аппарата логического вывода логические средства классического исчисления предикатов первой ступени с постоянными функциональными знаками и равенетвом (любая такая математическая теория называется прикладным исчислением предикатов).
Библ. 22 назв.
Реферативные базы данных:
Тип публикации: Статья
УДК: 51.01 : 164
Образец цитирования: М. Г. Рогава, “Секвенциальные варианты прикладных исчислений предикатов без структурных правил вывода”, Логические и логико-математические исчисления. 2, Тр. МИАН СССР, 121, 1972, 136–164; Proc. Steklov Inst. Math., 121 (1972), 151–181
Цитирование в формате AMSBIB
\RBibitem{Rog72}
\by М.~Г.~Рогава
\paper Секвенциальные варианты прикладных исчислений предикатов без структурных правил
вывода
\inbook Логические и~логико-математические исчисления.~2
\serial Тр. МИАН СССР
\yr 1972
\vol 121
\pages 136--164
\mathnet{http://mi.mathnet.ru/tm3115}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=424535}
\zmath{https://zbmath.org/?q=an:0286.02037}
\transl
\jour Proc. Steklov Inst. Math.
\yr 1972
\vol 121
\pages 151--181
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tm3115
  • https://www.mathnet.ru/rus/tm/v121/p136
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды Математического института имени В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024