Decidability of the weak interpolation property over the minimal logic (Q695764)

From MaRDI portal
Revision as of 23:29, 5 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Decidability of the weak interpolation property over the minimal logic
scientific article

    Statements

    Decidability of the weak interpolation property over the minimal logic (English)
    0 references
    17 December 2012
    0 references
    Johansson's minimal logic
    0 references
    extension of logic
    0 references
    weak interpolation property
    0 references
    decidability
    0 references

    Identifiers