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

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

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


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




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

Записки научных семинаров ПОМИ, 2012, том 407, страницы 111–128 (Mi znsl5488)  
Правило сечения в методе резолюций

В. П. Оревков

С.-Петербургское отделение Математического института им. В. А. Стеклова РАН, Санкт-Петербург, Россия
PDF полного текста (225 kB)
Список литературы:
PDF
HTML
Аннотация: В работе метод резолюций расширяется новым правилом, которое аналогично правилу сечения генценовских секвенциальных исчислений. Получены верхние и нижние оценки сложности опровержений с аналогом правила сечения и без этого правила. Сложность опровержений сравнивается также со сложностью секвенциальных доказательств с сечениями по формулам, которые не содержат импликаций, конъюнкций и квантора $\exists$ и в которые отрицание может входить только непосредственно перед элементарными формулами. Библ. – 3 назв.
Ключевые слова: метод резолюций, опровержение, сечение, секвенция, верхняя оценка, нижняя оценка.
Поступило: 16.04.2012
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2014, Volume 199, Issue 1, Pages 56–65
DOI: https://doi.org/10.1007/s10958-014-1832-0
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.635+510.57+510.635+510.57
Образец цитирования: В. П. Оревков, “Правило сечения в методе резолюций”, Исследования по конструктивной математике и математической логике. XII, Посвящается памяти Николая Александровича ШАНИНА, Зап. научн. сем. ПОМИ, 407, ПОМИ, СПб., 2012, 111–128; J. Math. Sci. (N. Y.), 199:1 (2014), 56–65
Цитирование в формате AMSBIB
\RBibitem{Ore12}
\by В.~П.~Оревков
\paper Правило сечения в~методе резолюций
\inbook Исследования по конструктивной математике и математической логике.~XII
\bookinfo Посвящается памяти Николая Александровича ШАНИНА
\serial Зап. научн. сем. ПОМИ
\yr 2012
\vol 407
\pages 111--128
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl5488}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3032186}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2014
\vol 199
\issue 1
\pages 56--65
\crossref{https://doi.org/10.1007/s10958-014-1832-0}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84902299791}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl5488
  • https://www.mathnet.ru/rus/znsl/v407/p111
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024