Interpolation in fragments of intuitionistic propositional logic (Q3486539)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interpolation in fragments of intuitionistic propositional logic
scientific article

    Statements

    Interpolation in fragments of intuitionistic propositional logic (English)
    0 references
    1989
    0 references
    fragments of intuitionistic propositional logic
    0 references

    Identifiers