×

zbMATH — the first resource for mathematics

Superintuitionistic logics and the projective Beth property. (English. Russian original) Zbl 0965.03037
Algebra Logika 38, No. 6, 680-696 (1999); translation in Algebra Logic 38, No. 6, 374-382 (1999).
The author studies the projective Beth property in superintuitionistic logics. A series of conditions equivalent to this property is proven. In particular, it is shown that the projective Beth property is not equivalent to the Craig interpolation property on this class of logics, although the first property follows from the second one.

MSC:
03B55 Intermediate logics
PDF BibTeX XML Cite
Full Text: EuDML