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

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

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



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






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


Матем. сб., 1938, том 4(46), номер 2, страницы 287–308 (Mi msb5749)  

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

Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления

Д. А. Бочвар


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

Реферативные базы данных:
Поступила в редакцию: 11.01.1938

Образец цитирования: Д. А. Бочвар, “Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления”, Матем. сб., 4(46):2 (1938), 287–308

Цитирование в формате AMSBIB
\RBibitem{Boc38}
\by Д.~А.~Бочвар
\paper Об одном трехзначном исчислении и его применении к~анализу парадоксов классического расширенного функционального исчисления
\jour Матем. сб.
\yr 1938
\vol 4(46)
\issue 2
\pages 287--308
\mathnet{http://mi.mathnet.ru/msb5749}
\zmath{https://zbmath.org/?q=an:0020.19402|64.0928.03}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/msb5749
  • http://mi.mathnet.ru/rus/msb/v46/i2/p287

    ОТПРАВИТЬ: 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. О. М. Аншаков, С. В. Рычков, “Об аксиоматизации конечнозначных логических исчислений”, Матем. сб., 123(165):4 (1984), 477–495  mathnet  mathscinet  zmath; O. M. Anshakov, S. V. Rychkov, “On the axiomatization of finite-valued logical calculi”, Math. USSR-Sb., 51:2 (1985), 473–491  crossref
    2. Комендантская Е.Ю., “Функциональная взаимовыразимость регулярных логик Клини”, Логические исследования, 2009, № 15, 116–128  elib
    3. Финн В.К., “Синтез познавательных процедур и проблема индукции”, Научно-техническая информация. Сер. 2: Информационные процессы и системы, 2009, № 6, 1–37  elib
    4. Филиппов М.Н., “Метод обработки неполных данных на основе трехзначной логики”, Автометрия, 45:5 (2009), 124–131  elib
    5. Томова Н.Е., “Возникновение трехзначных логик: логико-философский анализ”, Вестн. Моск. ун-та. Сер. 7: Философия, 2009, № 5, 68–74  elib
    6. Томова Н.Е., “Естественные \it{p}-логики”, Логические исследования, 2011, № 17, 256–268  elib
    7. Я. И. Петрухин, “Натуральные исчисления для трехзначных логик бессмысленности $\mathbf{Z}$ и $\mathbf{E}$”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2018, № 1, 60–63  mathnet  mathscinet; Ya. I. Petrukhin, “Natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$”, Moscow University Mathematics Bulletin, 73:1 (2018), 30–33  crossref  isi
    8. Я. И. Петрухин, “Теорема о нормализации выводов для логики Сетте и ее модификаций”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 1, 26–33  mathnet; Ya. I. Petrukhin, “Deduction normalization theorem for Sette's logic and its modifications”, Moscow University Mathematics Bulletin, 74:1 (2019), 25–31  crossref  isi
  • Математический сборник (новая серия) - 1936–1946
    Просмотров:
    Эта страница:743
    Полный текст:361
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020