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

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

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


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




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

Математические заметки, 1986, том 40, выпуск 3, страницы 407–413 (Mi mzm5174)  
Конечная аксиоматизируемость локально-табличных суперинтуиционистских логик

А. И. Циткин
PDF полного текста (588 kB)
Аннотация: Доказывается следующая теорема:
Пусть $L$ – конечно аксиоматизируемая локально-табличная суперинтуиционистская логика. Тогда $L$ наследственно конечно-аксиоматизируема, если и только если $L$ имеет не более, чем счетное множество расширений. Библиогр. 9 назв.
Поступило: 27.03.1985
Англоязычная версия:
Mathematical Notes, 1986, Volume 40, Issue 3, Pages 739–742
DOI: https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics
Реферативные базы данных:
УДК: 512
Образец цитирования: А. И. Циткин, “Конечная аксиоматизируемость локально-табличных суперинтуиционистских логик”, Матем. заметки, 40:3 (1986), 407–413; Math. Notes, 40:3 (1986), 739–742
Цитирование в формате AMSBIB
\RBibitem{Cit86}
\by А.~И.~Циткин
\paper Конечная аксиоматизируемость локально-табличных суперинтуиционистских логик
\jour Матем. заметки
\yr 1986
\vol 40
\issue 3
\pages 407--413
\mathnet{http://mi.mathnet.ru/mzm5174}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=869932}
\zmath{https://zbmath.org/?q=an:0627.03008}
\transl
\jour Math. Notes
\yr 1986
\vol 40
\issue 3
\pages 739--742
\crossref{https://doi.org/Finite axiomatizability of locally tabular superintuitionistic logics}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1986J376200013}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm5174
  • https://www.mathnet.ru/rus/mzm/v40/i3/p407
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:262
    PDF полного текста:95
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024