Applications of weak Kripke semantics to intermediate consequences (Q1097261)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Applications of weak Kripke semantics to intermediate consequences
scientific article

    Statements

    Applications of weak Kripke semantics to intermediate consequences (English)
    0 references
    1986
    0 references
    The author first proves the completeness of weak Kripke semantics for intermediate consequences, then he applies the completeness theorem to the study of minute structure of so-called counterslices. Implicationless fragments are also treated.
    0 references
    intermediate logic
    0 references
    completeness of weak Kripke semantics for intermediate consequences
    0 references
    counterslices
    0 references
    Implicationless fragments
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers