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

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

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


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




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

Сибирский математический журнал, 2007, том 48, номер 2, страницы 396–407 (Mi smj33)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Критерий допустимости правил вывода с метапеременными в модальной логике $S4.\alpha_N$

А. Н. Руцкий

Красноярский государственный педагогический университет им. В. П. Астафьева
PDF полного текста (251 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Представлен критерий допустимости правил вывода с метапеременными в модальной логике $S4.\alpha_N$. Тем самым в логике $S4.\alpha_N$ решена проблема подстановки и получен алгоритм, распознающий разрешимость логических уравнений. Другим следствием критерия является разрешимость соответствующей квазиэквациональной теории свободной модальной алгебры в сигнатуре, обогащенной константами для свободных порождающих.
Ключевые слова: допустимое правило вывода, метапеременная, модальная логика, правило вывода.
Статья поступила: 14.02.2005
Англоязычная версия:
Siberian Mathematical Journal, 2007, Volume 48, Issue 2, Pages 317–326
DOI: https://doi.org/10.1007/s11202-007-0033-1
Реферативные базы данных:
УДК: 510.643
Образец цитирования: А. Н. Руцкий, “Критерий допустимости правил вывода с метапеременными в модальной логике $S4.\alpha_N$”, Сиб. матем. журн., 48:2 (2007), 396–407; Siberian Math. J., 48:2 (2007), 317–326
Цитирование в формате AMSBIB
\RBibitem{Rut07}
\by А.~Н.~Руцкий
\paper Критерий допустимости правил вывода с~метапеременными в~модальной логике
$S4.\alpha_N$
\jour Сиб. матем. журн.
\yr 2007
\vol 48
\issue 2
\pages 396--407
\mathnet{http://mi.mathnet.ru/smj33}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2330069}
\zmath{https://zbmath.org/?q=an:1164.03303}
\transl
\jour Siberian Math. J.
\yr 2007
\vol 48
\issue 2
\pages 317--326
\crossref{https://doi.org/10.1007/s11202-007-0033-1}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000245965600013}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-34147167646}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj33
  • https://www.mathnet.ru/rus/smj/v48/i2/p396
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024