Strong decidability and strong recognizability (Q1703280)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strong decidability and strong recognizability
scientific article

    Statements

    Strong decidability and strong recognizability (English)
    0 references
    2 March 2018
    0 references
    minimal logic
    0 references
    Johansson algebra
    0 references
    decidability
    0 references
    strong decidability
    0 references
    recognizable logic
    0 references
    admissible rule
    0 references
    0 references
    0 references

    Identifiers