Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401)

From MaRDI portal





scientific article; zbMATH DE number 3957056
Language Label Description Also known as
English
Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
scientific article; zbMATH DE number 3957056

    Statements

    Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (English)
    0 references
    1983
    0 references
    This is one in a series of papers by the author on interpolation theorems in non-classical propositional logics. It is proved, by constructing a counterexample, that for any normal modal logic L such that S4.3\(\subseteq L\subseteq S4.3+Grz\), L does not have the weakened interpolation property.
    0 references
    normal modal logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers