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

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

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


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




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

Математический сборник (новая серия), 1977, том 102(144), номер 2, страницы 289–301 (Mi sm2684)  
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)

О финитной аппроксимируемости суперинтуиционистских логик

С. К. Соболев
PDF полного текста (1361 kB) PDF английской версии (863 kB) Список цитирования (7)
Список литературы:
PDF
HTML
Аннотация: Доказывается финитная аппроксимируемость суперинтуционистских логик высказываний, порожденных формулами, удовлетворяющими некоторому достаточному условию. Как следствие получается финитная аппроксимируемость логик, порожденных формулами с одной переменной. Строится формула с двумя переменными, порождающая не финитно аппроксимируемую логику. Все ранее известные не финитно аппроксимируемые логики порождаются формулами от трех и более переменных (см. РЖМат., 1971, 5А64 и 1972, 6А84).
Рисунков: 1.
Библиография: 6 названий.
Поступила в редакцию: 10.05.1976
Англоязычная версия:
Mathematics of the USSR-Sbornik, 1977, Volume 31, Issue 2, Pages 257–268
DOI: https://doi.org/10.1070/SM1977v031n02ABEH003624
Реферативные базы данных:
УДК: 517.11
MSC: Primary 02B05, 02E05, 02C15, 02J05; Secondary 02H15, 02C99, 02J99
Образец цитирования: С. К. Соболев, “О финитной аппроксимируемости суперинтуиционистских логик”, Матем. сб., 102(144):2 (1977), 289–301; S. K. Sobolev, “On finite approximability of superintuitionistic logics”, Math. USSR-Sb., 31:2 (1977), 257–268
Цитирование в формате AMSBIB
\RBibitem{Sob77}
\by С.~К.~Соболев
\paper О финитной аппроксимируемости суперинтуиционистских логик
\jour Матем. сб.
\yr 1977
\vol 102(144)
\issue 2
\pages 289--301
\mathnet{http://mi.mathnet.ru/sm2684}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=453501}
\zmath{https://zbmath.org/?q=an:0352.02020|0386.03010}
\transl
\by S.~K.~Sobolev
\paper On finite approximability of superintuitionistic logics
\jour Math. USSR-Sb.
\yr 1977
\vol 31
\issue 2
\pages 257--268
\crossref{https://doi.org/10.1070/SM1977v031n02ABEH003624}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1977FY72200009}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm2684
  • https://www.mathnet.ru/rus/sm/v144/i2/p289
    • Эта публикация цитируется в следующих 7 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник (новая серия) - 1964–1988 Sbornik: Mathematics
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024