Вестник Московского университета. Серия 1: Математика. Механика
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,\dots,p_n)$ имеет место: $\vdash_{L_2}A(p_1,\dots,p_n)$ тогда и только тогда, когда $D(p_1),\dots,D(p_n)\vdash_{L_2}A(p_1,\dots,p_n)$. Полностью описаны суперинтуиционистские исчисления, имеющие диагностические формулы относительно интуиционистского и минимального исчислений.
Библиогр. 5.
Поступила в редакцию: 12.03.1990
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.642
Образец цитирования: В. А. Успенский, В. Е. Плиско, “Диагностические пропозициональные формулы”, Вестн. Моск. ун-та. Сер. 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://mathscinet.ams.org/mathscinet-getitem?mr=1204246}
\zmath{https://zbmath.org/?q=an:0745.03008}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmumm2523
  • https://www.mathnet.ru/rus/vmumm/y1991/i3/p7
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:89
    PDF полного текста:35
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024