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

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

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


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




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

Математические заметки, 2010, том 88, выпуск 2, страницы 261–274
DOI: https://doi.org/10.4213/mzm8804 (Mi mzm8804) 		 
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

Об аксиоматике квадратов модальных логик с выделенной диагональю

С. П. Кикоть

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (676 kB) Список цитирования (8)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/mzm8804
Аннотация: В работе рассматриваются модальные логики квадратов шкал Крипке с выделенной диагональю. Показано, что многие такие логики, в отличие от обычных двумерных произведений, не могут быть аксиоматизированы формулами с конечным числом переменных. Используемый метод похож на тот, которым был установлен аналогичный результат для произведений модальных логих размерности $\ge3$. В частности, в доказательстве используются обобщенные формулы Салквиста.
Библиография: 11 названий.
Поступило: 26.01.2009
Англоязычная версия:
Mathematical Notes, 2010, Volume 88, Issue 2, Pages 238–250
DOI: https://doi.org/10.1134/S0001434610070229
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.643
Образец цитирования: С. П. Кикоть, “Об аксиоматике квадратов модальных логик с выделенной диагональю”, Матем. заметки, 88:2 (2010), 261–274; Math. Notes, 88:2 (2010), 238–250
Цитирование в формате AMSBIB
\RBibitem{Kik10}
\by С.~П.~Кикоть
\paper Об аксиоматике квадратов модальных логик с~выделенной диагональю
\jour Матем. заметки
\yr 2010
\vol 88
\issue 2
\pages 261--274
\mathnet{http://mi.mathnet.ru/mzm8804}
\crossref{https://doi.org/10.4213/mzm8804}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2867053}
\transl
\jour Math. Notes
\yr 2010
\vol 88
\issue 2
\pages 238--250
\crossref{https://doi.org/10.1134/S0001434610070229}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000284088200022}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77956510434}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm8804
  • https://doi.org/10.4213/mzm8804
  • https://www.mathnet.ru/rus/mzm/v88/i2/p261
    • Эта публикация цитируется в следующих 8 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:497
    PDF полного текста:181
    Список литературы:54
    Первая страница:6
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024