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

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

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



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






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


Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, номер 3, страницы 7–12 (Mi vmumm2523)  

Математика

Диагностические пропозициональные формулы

В. А. Успенский, В. Е. Плиско


Аннотация: Пусть $L_1$ и $L_2$ – два пропозициональных исчисления. Пропозициональная формула $D(p)$ с единственной переменной $p$ называется диагностической для $L_2$ относительно $L_1$ если для любой формулы $A(p_1,…,p_n)$ имеет место: $\vdash_{L_2}A(p_1,…,p_n)$ тогда и только тогда, когда $D(p_1),…,D(p_n)\vdash_{L_2}A(p_1,…,p_n)$. Полностью описаны суперинтуиционистские исчисления, имеющие диагностические формулы относительно интуиционистского и минимального исчислений.
Библиогр. 5.

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

Реферативные базы данных:
Тип публикации: Статья
УДК: 510.642
Поступила в редакцию: 12.03.1990

Образец цитирования: В. А. Успенский, В. Е. Плиско, “Диагностические пропозициональные формулы”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, № 3, 7–12

Цитирование в формате AMSBIB
\RBibitem{UspPli91}
\by В.~А.~Успенский, В.~Е.~Плиско
\paper Диагностические пропозициональные формулы
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 1991
\issue 3
\pages 7--12
\mathnet{http://mi.mathnet.ru/vmumm2523}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1204246}
\zmath{https://zbmath.org/?q=an:0745.03008}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vmumm2523
  • http://mi.mathnet.ru/rus/vmumm/y1991/i3/p7

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:8
    Полный текст:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020