Applications of weak Kripke semantics to intermediate consequences
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.
completeness of weak Kripke semantics for intermediate consequences
scientific article; zbMATH DE number 4033706
scientific article