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

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

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



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






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


Математический сборник (новая серия), 1977, том 102(144), номер 2, страницы 314–323 (Mi sm2686)  

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

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

А. И. Циткин
Список литературы:
Аннотация: Изучаются модусные правила вывода, допустимые в интуиционистской логике высказываний (правило называется модусным, если оно соответствует некоторой секвенции и позволяет переходить от результатов любой подстановки в формулы, принадлежащие ее антецеденту, к результату той же подстановки в ее сукцедент). Рассматриваются примеры таких правил и выводимость одних правил из других средствами интуиционистского исчисления высказываний. Строится бесконечная независимая система допустимых модусных правил. Доказывается, что конечные геделевы псевдобулевы алгебры, на которых верны все допустимые модусные правила (т.е. верны соответствующие им квазитождества), изоморфны последовательному соединению булевых алгебр мощности не более 4.
Рисунков: 3.
Библиография: 17 названий.
Поступила в редакцию: 27.01.1976
Англоязычная версия:
Mathematics of the USSR-Sbornik, 1977, Volume 31, Issue 2, Pages 279–288
DOI: https://doi.org/10.1070/SM1977v031n02ABEH002303
Реферативные базы данных:
УДК: 517.12
MSC: Primary 02B05, 02C15, 02J05, 02D99, 02E05, 06A35; Secondary 02B99, 02E99, 06A25, 02H10, 06A40, 08A15
Образец цитирования: А. И. Циткин, “О допустимых правилах интуиционистской логики высказываний”, Матем. сб., 102(144):2 (1977), 314–323; A. I. Citkin, “On admissible rules of intuitionistic propositional logic”, Math. USSR-Sb., 31:2 (1977), 279–288
Цитирование в формате AMSBIB
\RBibitem{Cit77}
\by А.~И.~Циткин
\paper О допустимых правилах интуиционистской логики высказываний
\jour Матем. сб.
\yr 1977
\vol 102(144)
\issue 2
\pages 314--323
\mathnet{http://mi.mathnet.ru/sm2686}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=465801}
\zmath{https://zbmath.org/?q=an:0355.02016|0386.03011}
\transl
\by A.~I.~Citkin
\paper On admissible rules of intuitionistic propositional logic
\jour Math. USSR-Sb.
\yr 1977
\vol 31
\issue 2
\pages 279--288
\crossref{https://doi.org/10.1070/SM1977v031n02ABEH002303}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1977FY72200011}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm2686
  • https://www.mathnet.ru/rus/sm/v144/i2/p314
  • Эта публикация цитируется в следующих 34 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математический сборник (новая серия) - 1964–1988 Sbornik: Mathematics
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024