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

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

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


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




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

Математический сборник, 2011, том 202, номер 5, страницы 63–76
DOI: https://doi.org/10.4213/sm7665 (Mi sm7665) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

О символических моделях для функциональной логики доказательств

В. Н. Крупский

Механико-математический факультет Московского государственного университета им. М. В. Ломоносова
PDF полного текста (471 kB) PDF английской версии (282 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/sm7665
Аннотация: В работе определяется понятие символической модели для функциональных логик доказательств. Получены результаты о корректности и полноте указанных логик относительно соответствующих классов символических моделей. Эта техника применяется для доказательства корректности использования термов функциональной логики доказательств в качестве обозначений для ее собственных выводов.
Библиография: 17 названий.
Ключевые слова: формальный вывод, предикат доказательств, функциональная логика доказательств, модель Мкртычева, свойство интернализации выводов.
Поступила в редакцию: 13.12.2009
Англоязычная версия:
Sbornik: Mathematics, 2011, Volume 202, Issue 5, Pages 683–695
DOI: https://doi.org/10.1070/SM2011v202n05ABEH004161
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64+510.67
MSC: 03F45
Образец цитирования: В. Н. Крупский, “О символических моделях для функциональной логики доказательств”, Матем. сб., 202:5 (2011), 63–76; V. N. Krupski, “On symbolic models for Single-Conclusion Logic of Proofs”, Sb. Math., 202:5 (2011), 683–695
Цитирование в формате AMSBIB
\RBibitem{Kru11}
\by В.~Н.~Крупский
\paper О символических моделях для~функциональной логики доказательств
\jour Матем. сб.
\yr 2011
\vol 202
\issue 5
\pages 63--76
\mathnet{http://mi.mathnet.ru/sm7665}
\crossref{https://doi.org/10.4213/sm7665}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2841518}
\zmath{https://zbmath.org/?q=an:1250.03120}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2011SbMat.202..683K}
\elib{https://elibrary.ru/item.asp?id=19066277}
\transl
\by V.~N.~Krupski
\paper On symbolic models for Single-Conclusion Logic of Proofs
\jour Sb. Math.
\yr 2011
\vol 202
\issue 5
\pages 683--695
\crossref{https://doi.org/10.1070/SM2011v202n05ABEH004161}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000294703200004}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-80051673434}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm7665
  • https://doi.org/10.4213/sm7665
  • https://www.mathnet.ru/rus/sm/v202/i5/p63
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:444
    PDF русской версии:215
    PDF английской версии:6
    Список литературы:39
    Первая страница:18
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024