Интерполяционная теорема для исчислений частичных предикатов Хао Вана.

##plugins.themes.bootstrap3.article.main##

M.N. Bezhanishvili

Abstract

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##

Section
Статьи