Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
Property / author
 
Property / author: Q384402 / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Osamu Sonobe / rank
Normal rank
 

Revision as of 22:56, 19 February 2024

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
    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

    Identifiers