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

From MaRDI portal
Revision as of 14:21, 12 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
scientific article

    Statements

    Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (English)
    0 references
    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
    0 references
    normal modal logic
    0 references

    Identifiers