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

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

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


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




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

Математические заметки, 1980, том 27, выпуск 1, страницы 89–94 (Mi mzm6557)  
Не финитно аппроксимируемые интуиционистские модальные логики

В. Х. Сотиров
PDF полного текста (454 kB)
Аннотация: Строится система $LCT^+$, которая является не финитно аппроксимируемым модальным расширением логики $LC$ Даммета (известно, что все немодальные расширения $LC$ финитно аппроксимируемы). Кроме того, на всех конечных моделях $LCT^+$ общезначима эквивалентность $\square A\equiv A$, и поэтому на таких моделях она является модальной только фиктивно; классический аналог $LCT^+$ совпадает с немодальной классической логикой. Библ. 3 назв.
Поступило: 17.03.1978
Англоязычная версия:
Mathematical Notes, 1980, Volume 27, Issue 1, Pages 47–49
DOI: https://doi.org/10.1007/BF01149813
Реферативные базы данных:
УДК: 511
Образец цитирования: В. Х. Сотиров, “Не финитно аппроксимируемые интуиционистские модальные логики”, Матем. заметки, 27:1 (1980), 89–94; Math. Notes, 27:1 (1980), 47–49
Цитирование в формате AMSBIB
\RBibitem{Sot80}
\by В.~Х.~Сотиров
\paper Не финитно аппроксимируемые интуиционистские модальные логики
\jour Матем. заметки
\yr 1980
\vol 27
\issue 1
\pages 89--94
\mathnet{http://mi.mathnet.ru/mzm6557}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=562479}
\zmath{https://zbmath.org/?q=an:0457.03020|0443.03011}
\transl
\jour Math. Notes
\yr 1980
\vol 27
\issue 1
\pages 47--49
\crossref{https://doi.org/10.1007/BF01149813}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1980KN24800008}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm6557
  • https://www.mathnet.ru/rus/mzm/v27/i1/p89
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:207
    PDF полного текста:85
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024