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

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

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



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






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


Сибирский математический журнал, 1991, том 32, номер 2, страницы 140–153 (Mi smj4618)  

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике

В. В. Рыбаков
Аннотация: Исследуется разрешимость логических уравнений и допустимость правил вывода с параметрами в модальной системе $\operatorname{Grz}$. Построены алгоритмический и семантический критерии допустимости правил вывода с параметрами в $\operatorname{Grz}$. На их основе найдены алгоритмы, распознающие разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистском исчислении высказываний $\operatorname{Int}$. Как следствие, получены алгоритмы, распознающие разрешимость уравнений в свободной модальной алгебре $\mathscr{F}_\omega(\operatorname{Grz})$ и свободной псевдобулевой алгебре $\mathscr{F}_\omega(\operatorname{Int})$ и строящие в случае разрешимости их решения.
Библиогр. 10.
Статья поступила: 09.11.1988
Англоязычная версия:
Siberian Mathematical Journal, 1991, Volume 32, Issue 2, Pages 297–308
DOI: https://doi.org/10.1007/BF00972777
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.11+519.48
Образец цитирования: В. В. Рыбаков, “Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике”, Сиб. матем. журн., 32:2 (1991), 140–153; Siberian Math. J., 32:2 (1991), 297–308
Цитирование в формате AMSBIB
\RBibitem{Ryb91}
\by В.~В.~Рыбаков
\paper Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике
\jour Сиб. матем. журн.
\yr 1991
\vol 32
\issue 2
\pages 140--153
\mathnet{http://mi.mathnet.ru/smj4618}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1138449}
\zmath{https://zbmath.org/?q=an:0729.03014}
\transl
\jour Siberian Math. J.
\yr 1991
\vol 32
\issue 2
\pages 297--308
\crossref{https://doi.org/10.1007/BF00972777}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1991GY08300014}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj4618
  • https://www.mathnet.ru/rus/smj/v32/i2/p140
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:55
    PDF полного текста:36
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024