No label defined (Q3977997)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    0 references
    25 June 1992
    0 references
    software verification
    0 references
    software development
    0 references
    three-valued logic
    0 references
    strong validity
    0 references
    weak validity
    0 references
    deductive system of inference rules for a three- valued logic
    0 references
    semantic tableaux
    0 references
    Gentzen-style system
    0 references
    McCarthy's propositional connectives
    0 references
    Kleene's quantifiers
    0 references
    software specification
    0 references

    Identifiers