Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504)

From MaRDI portal
scientific article; zbMATH DE number 7166056
Language Label Description Also known as
English
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
scientific article; zbMATH DE number 7166056

    Statements

    Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (English)
    0 references
    0 references
    0 references
    11 February 2020
    0 references
    proof search
    0 references
    correspondence analysis
    0 references
    three-valued logic
    0 references
    strong Kleene logic
    0 references
    natural deduction
    0 references
    proof theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references