×

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\).

MSC:

03B55 Intermediate logics
03B20 Subsystems of classical logic (including intuitionistic logic)

Citations:

Zbl 0897.03022
PDFBibTeX XMLCite
Full Text: EuDML