On decision procedures for sentential logics (Q1181478)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On decision procedures for sentential logics
scientific article

    Statements

    On decision procedures for sentential logics (English)
    0 references
    0 references
    27 June 1992
    0 references
    decidability
    0 references
    Tarski consequence operators
    0 references
    Ɓukasiewicz-style refutation procedures
    0 references
    Harrop's criterion
    0 references

    Identifiers