Theorem proving for classical logic with partial functions by reduction to Kleene logic (Q2987064)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theorem proving for classical logic with partial functions by reduction to Kleene logic
scientific article

    Statements

    Theorem proving for classical logic with partial functions by reduction to Kleene logic (English)
    0 references
    0 references
    17 May 2017
    0 references
    automated theorem proving
    0 references
    partial functions
    0 references
    three-valued logic
    0 references
    sequent calculus
    0 references
    finite model search
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers