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

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

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


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




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

Математический сборник (новая серия), 1985, том 128(170), номер 3(11), страницы 321–338 (Mi sm2162)  
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)

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

В. В. Рыбаков
PDF полного текста (1207 kB) PDF английской версии (1194 kB) Список цитирования (12)
Список литературы:
PDF
HTML
Аннотация: Доказывается, что свободная псевдобулева алгебра $F_\omega(\mathrm{Int})$ и свободная топобулева алгебра $F_\omega(\mathrm{Grz})$ не имеют базисов квазитождеств от конечного числа переменных. Как следствие получается, что интуиционистская логика высказываний $\mathrm{Int}$ и модальная система $\mathrm{Grz}$ не имеют конечных базисов допустимых правил. Найдены бесконечные рекурсивные базисы квазитождеств для $F_\omega(\mathrm{Int})$ и $F_\omega(\mathrm{Grz})$. Отсюда следует, что проблема допустимости правил в логиках $\mathrm{Grz}$ и $\mathrm{Int}$ алгоритмически разрешима.
Библиография: 14 названий.
Поступила в редакцию: 07.06.1984
Англоязычная версия:
Mathematics of the USSR-Sbornik, 1987, Volume 56, Issue 2, Pages 311–331
DOI: https://doi.org/10.1070/SM1987v056n02ABEH003038
Реферативные базы данных:
УДК: 510.6+512
MSC: Primary 03B45; Secondary 03F55
Образец цитирования: В. В. Рыбаков, “Базисы допустимых правил модальной системы Grz и интуиционистской логики”, Матем. сб., 128(170):3(11) (1985), 321–338; V. V. Rybakov, “Bases of admissible rules of the modal system Grz and of intuitionistic logic”, Math. USSR-Sb., 56:2 (1987), 311–331
Цитирование в формате AMSBIB
\RBibitem{Ryb85}
\by В.~В.~Рыбаков
\paper Базисы допустимых правил модальной системы Grz и~интуиционистской логики
\jour Матем. сб.
\yr 1985
\vol 128(170)
\issue 3(11)
\pages 321--338
\mathnet{http://mi.mathnet.ru/sm2162}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=815267}
\zmath{https://zbmath.org/?q=an:0617.03007}
\transl
\by V.~V.~Rybakov
\paper Bases of admissible rules of the modal system Grz and of intuitionistic logic
\jour Math. USSR-Sb.
\yr 1987
\vol 56
\issue 2
\pages 311--331
\crossref{https://doi.org/10.1070/SM1987v056n02ABEH003038}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm2162
  • https://www.mathnet.ru/rus/sm/v170/i3/p321
    • Эта публикация цитируется в следующих 12 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник (новая серия) - 1964–1988 Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:337
    PDF русской версии:116
    PDF английской версии:19
    Список литературы:40
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024