On the decidability of axiomatized mereotopological theories (Q2354622)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the decidability of axiomatized mereotopological theories
scientific article

    Statements

    On the decidability of axiomatized mereotopological theories (English)
    0 references
    0 references
    20 July 2015
    0 references
    mereotopology
    0 references
    mereology
    0 references
    decidability
    0 references
    separability
    0 references
    finite separability
    0 references

    Identifiers