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

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

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



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






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


Матем. сб., 1985, том 128(170), номер 3(11), страницы 321–338 (Mi msb2162)  

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

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

В. В. Рыбаков


Аннотация: Доказывается, что свободная псевдобулева алгебра $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 названий.

Полный текст: PDF файл (1207 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Mathematics of the USSR-Sbornik, 1987, 56:2, 311–331

Реферативные базы данных:

УДК: 510.6+512
MSC: Primary 03B45; Secondary 03F55
Поступила в редакцию: 07.06.1984

Образец цитирования: В. В. Рыбаков, “Базисы допустимых правил модальной системы 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/msb2162}
\mathscinet{http://www.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}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/msb2162
  • http://mi.mathnet.ru/rus/msb/v170/i3/p321

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. В. В. Рыбаков, “Допустимость правил вывода и логические уравнения в модальных логиках, аксиоматизирующих доказуемость”, Изв. АН СССР. Сер. матем., 54:2 (1990), 357–377  mathnet  mathscinet  zmath  adsnasa; V. V. Rybakov, “Admissibility of rules of inference, and logical equations, in modal logics axiomatizing provability”, Math. USSR-Izv., 36:2 (1991), 369–390  crossref
    2. V.V. Rybakov, “Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus”, Annals of Pure and Applied Logic, 50:1 (1990), 71  crossref  mathscinet  zmath
    3. Rybakov V., “Admission of the Inherence Rules with Parameters for the Intuitionistic Logics and the Intuitionistic Kripke Models”, 312, no. 1, 1990, 42–45  mathscinet  zmath  isi
    4. Ronald Fagin, J.Y.. Halpern, M.Y.. Vardi, “What is an inference rule?”, J. symb. log, 57:03 (1992), 1018  crossref  mathscinet  zmath
    5. Vladimir V. Rybakov, “Intermediate logics preserving admissible inference rules of heyting calculus”, MLQ-Math Log Quart, 39:1 (1993), 403  crossref  mathscinet  zmath
    6. Б. Р. Федоришин, “Явный базис для допустимых правил вывода логики Гёделя — Леба $GL$”, Сиб. матем. журн., 48:2 (2007), 423–430  mathnet  mathscinet  zmath; B. R. Fedorishin, “An explicit basis for the admissible inference rules in the Gödel–Löb logic $GL$”, Siberian Math. J., 48:2 (2007), 339–345  crossref  isi  elib
    7. В. В. Римацкий, “Явный базис допустимых правил вывода табличных модальных логик ширины 2”, Алгебра и логика, 48:1 (2009), 122–148  mathnet  mathscinet  zmath  elib; V. V. Rimatskii, “An explicit basis for admissible inference rules in table modal logics of width 2”, Algebra and Logic, 48:1 (2009), 72–86  crossref  isi  elib
    8. В. В. Римацкий, “Таблично допустимые правила вывода”, Алгебра и логика, 48:3 (2009), 400–414  mathnet  mathscinet  zmath  elib; V. V. Rimatskii, “Table admissible inference rules”, Algebra and Logic, 48:3 (2009), 228–236  crossref  isi  elib
  • Математический сборник (новая серия) - 1964–1988 Sbornik: Mathematics (from 1967)
    Просмотров:
    Эта страница:220
    Полный текст:72
    Литература:22
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020