|
Вестник Московского университета. Серия 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
Образец цитирования:
В. А. Успенский, В. Е. Плиско, “Диагностические пропозициональные формулы”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, № 3, 7–12
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm2523 https://www.mathnet.ru/rus/vmumm/y1991/i3/p7
|
Статистика просмотров: |
Страница аннотации: | 89 | PDF полного текста: | 35 |
|