Logics without Craig's interpolation property (Q1254250)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logics without Craig's interpolation property
scientific article

    Statements

    Logics without Craig's interpolation property (English)
    0 references
    0 references
    0 references
    1978
    0 references
    0 references
    Intermediate Propositional Logic
    0 references
    Craig's Interpolation Property
    0 references
    Superclassical Predicate Logics
    0 references
    Intuitionistic Mathematics
    0 references
    0 references