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

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

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



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






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


Докл. АН СССР, 1965, том 160, номер 2, страницы 274–277 (Mi dan30556)  

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

МАТЕМАТИКА

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

А. В. Кузнецов


Полный текст: PDF файл (676 kB)

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

Тип публикации: Статья
Статья представлена к публикации: П. С. Новиков
Поступила в редакцию: 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://www.ams.org/mathscinet-getitem?mr=0204277}
\zmath{https://zbmath.org/?q=an:0147.25001}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dan30556
  • http://mi.mathnet.ru/rus/dan/v160/i2/p274

    ОТПРАВИТЬ: 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. М. Ф. Раца, А. Г. Русу, “О некоторых свойствах полных по выразимости систем формул в логике доказуемости Геделя–Леба”, Дискрет. матем., 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
    2. М. Ф. Раца, “Формальное сведение общей проблемы выразимости формул в логике доказуемости Гёделя–Лёба”, Дискрет. матем., 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
    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. 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
    5. Г. В. Боков, “Неразрешимое итеративное пропозициональное исчисление”, Алгебра и логика, 55:4 (2016), 419–431  mathnet  crossref; G. V. Bokov, “Undecidable iterative propositional calculus”, Algebra and Logic, 55:4 (2016), 274–282  crossref  isi
  • Просмотров:
    Эта страница:46
    Полный текст:21

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019