Loading [MathJax]/jax/output/SVG/config.js
Доклады Академии наук
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

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

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


Докл. РАН:
Год:
Том:
Выпуск:
Страница:
Найти




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

Доклады Академии наук, 1965, том 160, номер 2, страницы 274–277 (Mi dan30556)  
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

МАТЕМАТИКА

Аналоги “штриха Шеффера” в конструктивной логике

А. В. Кузнецов
PDF полного текста (676 kB) Список цитирования (5)
Статья представлена к публикации: П. С. Новиков
Поступило: 29.06.1964
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. В. Кузнецов, “Аналоги “штриха Шеффера” в конструктивной логике”, Докл. АН СССР, 160:2 (1965), 274–277
Цитирование в формате AMSBIB
\RBibitem{Kuz65}
\by А.~В.~Кузнецов
\paper Аналоги ``штриха Шеффера'' в~конструктивной логике
\jour Докл. АН СССР
\yr 1965
\vol 160
\issue 2
\pages 274--277
\mathnet{http://mi.mathnet.ru/dan30556}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0204277}
\zmath{https://zbmath.org/?q=an:0147.25001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/dan30556
  • https://www.mathnet.ru/rus/dan/v160/i2/p274
    • Эта публикация цитируется в следующих 5 статьяx:
    1. Г. В. Боков, “Неразрешимое итеративное пропозициональное исчисление”, Алгебра и логика, 55:4 (2016), 419–431  mathnet  crossref; G. V. Bokov, “Undecidable iterative propositional calculus”, Algebra and Logic, 55:4 (2016), 274–282  crossref  isi
    2. A. Rusu, “Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2007, no. 1, 66–72  mathnet  mathscinet  zmath
    3. G. Mints, A. A. Kojevnikov, “Intuitionistic frege systems are polynomially equivalent”, Теория сложности вычислений. IX, Зап. научн. сем. ПОМИ, 316, ПОМИ, СПб., 2004, 129–146  mathnet  mathscinet  zmath; J. Math. Sci. (N. Y.), 134:5 (2006), 2392–2402  crossref
    4. М. Ф. Раца, “Формальное сведение общей проблемы выразимости формул в логике доказуемости Гёделя–Лёба”, Дискрет. матем., 14:2 (2002), 95–106  mathnet  crossref  mathscinet  zmath; M. F. Raţă, “A formal reduction of the general problem of the expressibility of formulas in the Gödel-Löb provability logic”, Discrete Math. Appl., 12:3 (2002), 279–290
    5. М. Ф. Раца, А. Г. Русу, “О некоторых свойствах полных по выразимости систем формул в логике доказуемости Геделя–Леба”, Дискрет. матем., 12:4 (2000), 63–82  mathnet  crossref  mathscinet  zmath; M. F. Raţă, A. G. Russu, “On some properties of systems, complete with respect to expressibility, of formulas in the Gödel–Löb provability logic”, Discrete Math. Appl., 10:6 (2000), 553–570
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:211
    PDF полного текста:86
    Список литературы:1
     
      Обратная связь:
    math-net2025_03@mi-ras.ru     		 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025