Shrajner, P. A. Intermediate predicate logic without the Beth property. (English. Russian original) Zbl 0937.03034 Algebra Logika 37, No. 1, 107-117 (1998); translation in Algebra Logic 37, No. 1, 59-64 (1998). Previously, the author has proven [Algebra Logika 35, No. 1, 105-117 (1996; Zbl 0897.03022)] that the interpolation property is missing in all predicate superintuitionistic logics which contain the logic \(J^*_{fd}\) (characterized by all Kripke frames whose domains of all nonmaximal worlds are finite) and are contained in a logic specified by all two-element frames with finite constant domains. In the article under review, it is shown that the logic \(J^*_{fd}\) lacks the Beth property. The logic is the first example of an intermediate superintuitionistic logic without the Beth property. The interpolation and the Beth properties are also proven missing in all predicate superintuitionistic logics which contain the logic \(J^{*}_{fd}\) and are contained in the logic characterized by frames of the form \(\langle N_n,\leq \{D_k\}_{k\in N_n}\rangle\). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 03B55 Intermediate logics 03B20 Subsystems of classical logic (including intuitionistic logic) Keywords:interpolation property; Beth property; predicate superintuitionistic logic; Kripke frame; intermediate superintuitionistic logic Citations:Zbl 0897.03022 PDFBibTeX XMLCite \textit{P. A. Shrajner}, Algebra Logika 37, No. 1, 107--117 (1998; Zbl 0937.03034); translation in Algebra Logic 37, No. 1, 59--64 (1998) Full Text: EuDML