Интерполяционная теорема для исчислений частичных предикатов Хао Вана.
##plugins.themes.bootstrap3.article.main##
Аннотация
The paper deals with the Hao Wang calculi o f partial predicates PP and EP. It is shown that an analogue o f the Craig interpolation theorem holds in PP and EP.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
Как цитировать
Бежанишвили М. Интерполяционная теорема для исчислений частичных предикатов Хао Вана. // Логические исследования / Logical Investigations. 2000. Т. 7. C. 148-158.
Выпуск
Раздел
Статьи