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

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

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


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




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

Труды ордена Ленина Математического института имени В. А. Стеклова, 1972, том 121, страницы 14–56 (Mi tm3110)  
Обратный метод и тактики установления выводимости для исчисления с функциональными знаками

С. Ю. Маслов
PDF полного текста (6280 kB)
Аннотация: Подробно излагается конкретизация обратного метода (РЖМат, 1969, 2А100), позволяющая устанавливать выводимость в классическом исчислении предикатов (для исходных формул произвольной структуры). Доказаны теоремы полноты ряда тактик (в различных сочетаниях), что позволяет жестко регламентировать переборы в процессе установления выводимости; особое внимание уделено тактикам, основанным на унификации порядка членов в благоприятных наборах. Установлена связь между сложностями обоснования благоприятности и генценовского вывода (за сложность последнего принимается число применений $\exists$-правил).
Библ. 24 назв.
Реферативные базы данных:
Тип публикации: Статья
УДК: 51.01 : 164
Образец цитирования: С. Ю. Маслов, “Обратный метод и тактики установления выводимости для исчисления с функциональными знаками”, Логические и логико-математические исчисления. 2, Тр. МИАН СССР, 121, 1972, 14–56; Proc. Steklov Inst. Math., 121 (1972), 11–60
Цитирование в формате AMSBIB
\RBibitem{Mas72}
\by С.~Ю.~Маслов
\paper Обратный метод и~тактики установления выводимости для исчисления с~функциональными знаками
\inbook Логические и~логико-математические исчисления.~2
\serial Тр. МИАН СССР
\yr 1972
\vol 121
\pages 14--56
\mathnet{http://mi.mathnet.ru/tm3110}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=369033}
\zmath{https://zbmath.org/?q=an:0305.68065}
\transl
\jour Proc. Steklov Inst. Math.
\yr 1972
\vol 121
\pages 11--60
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tm3110
  • https://www.mathnet.ru/rus/tm/v121/p14
    • 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
    Статистика просмотров:
    Страница аннотации:226
    PDF полного текста:140
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024