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

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

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


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




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

Вестник Московского университета. Серия 1: Математика. Механика, 2017, номер 3, страницы 63–66 (Mi vmumm72)  
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Краткие сообщения

Система натурального вывода для трехзначной логики Гейтинга

Я. И. Петрухин

Московский государственный университет имени М. В. Ломоносова, философский факультет
PDF полного текста (304 kB) Список цитирования (2)
Список литературы:
PDF
HTML
Аннотация: В статье формулируется система натурального вывода типа Генцена для пропозиционального фрагмента трехзначной логики Гейтинга.
Ключевые слова: система натурального вывода, логика Гейтинга, трехзначная логика.
Поступила в редакцию: 02.11.2016
Англоязычная версия:
Moscow University Mathematics Bulletin, 2017, Volume 72, Issue 3, Pages 133–136
DOI: https://doi.org/10.3103/S002713221703007X
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.644
Образец цитирования: Я. И. Петрухин, “Система натурального вывода для трехзначной логики Гейтинга”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, № 3, 63–66; Moscow University Mathematics Bulletin, 72:3 (2017), 133–136
Цитирование в формате AMSBIB
\RBibitem{Pet17}
\by Я.~И.~Петрухин
\paper Система натурального вывода для трехзначной логики Гейтинга
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 2017
\issue 3
\pages 63--66
\mathnet{http://mi.mathnet.ru/vmumm72}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3673262}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2017
\vol 72
\issue 3
\pages 133--136
\crossref{https://doi.org/10.3103/S002713221703007X}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000404664300007}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85021657160}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmumm72
  • https://www.mathnet.ru/rus/vmumm/y2017/i3/p63
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:151
    PDF полного текста:40
    Список литературы:35
    Первая страница:4
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024