
doi: 10.1007/bf02684086
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\).
intermediate superintuitionistic logic, Kripke frame, Beth property, Subsystems of classical logic (including intuitionistic logic), interpolation property, Intermediate logics, predicate superintuitionistic logic
intermediate superintuitionistic logic, Kripke frame, Beth property, Subsystems of classical logic (including intuitionistic logic), interpolation property, Intermediate logics, predicate superintuitionistic logic
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
