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

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

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


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




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

Математические заметки, 1987, том 42, выпуск 5, страницы 729–738 (Mi mzm5038)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

О дизъюнктивном свойстве суперинтуиционистских и модальных логик

М. В. Захарьящев
PDF полного текста (928 kB) Список цитирования (3)
Аннотация: Доказывается, что если непротиворечивая суперинтуиционистская логика обладает дизъюнктивным свойством, то всякая выводимая в ней формула, не содержащая вхождений дизъюнкции, выводима также интуиционистски. Рассматривается некоторый класс расширенной модальной системы $S4$, во многом подобных суперинтуиционистским логикам, дополнительные аксиомы которых не содержат дизъюнкции, доказывается финитная аппроксимируемость всех его логик и выясняется, какие логики из этого класса обладают дизъюнктивным свойством, а какие не обладают. Библиогр. 10 назв.
Поступило: 19.11.1985
Англоязычная версия:
Mathematical Notes, 1987, Volume 42, Issue 5, Pages 901–905
DOI: https://doi.org/10.1007/BF01137437
Реферативные базы данных:
УДК: 517.11
Образец цитирования: М. В. Захарьящев, “О дизъюнктивном свойстве суперинтуиционистских и модальных логик”, Матем. заметки, 42:5 (1987), 729–738; Math. Notes, 42:5 (1987), 901–905
Цитирование в формате AMSBIB
\RBibitem{Zak87}
\by М.~В.~Захарьящев
\paper О~дизъюнктивном свойстве суперинтуиционистских
и~модальных логик
\jour Матем. заметки
\yr 1987
\vol 42
\issue 5
\pages 729--738
\mathnet{http://mi.mathnet.ru/mzm5038}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=927453}
\zmath{https://zbmath.org/?q=an:0655.03010|0642.03015}
\transl
\jour Math. Notes
\yr 1987
\vol 42
\issue 5
\pages 901--905
\crossref{https://doi.org/10.1007/BF01137437}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1987P527500013}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm5038
  • https://www.mathnet.ru/rus/mzm/v42/i5/p729
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:211
    PDF полного текста:72
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024