Interpolation over the minimal logic and Odintsov intervals (Q498237)

From MaRDI portal





scientific article; zbMATH DE number 6485702
Language Label Description Also known as
English
Interpolation over the minimal logic and Odintsov intervals
scientific article; zbMATH DE number 6485702

    Statements

    Interpolation over the minimal logic and Odintsov intervals (English)
    0 references
    28 September 2015
    0 references
    Johansson minimal logic
    0 references
    Craig interpolation property
    0 references
    recognizability
    0 references
    Odintsov interval
    0 references
    0 references
    0 references

    Identifiers