Proof of theorems in fuzzy logic based on structural resolution (Q2320255)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof of theorems in fuzzy logic based on structural resolution
scientific article

    Statements

    Proof of theorems in fuzzy logic based on structural resolution (English)
    0 references
    22 August 2019
    0 references
    automatic proof of theorems
    0 references
    fuzzy theorem
    0 references
    principle of resolutions
    0 references
    fuzzy logic
    0 references
    approximate reasoning
    0 references
    generalized rule of modus ponens
    0 references
    composition rule
    0 references
    fuzzy predicate
    0 references
    fuzzy variable
    0 references
    linguistic variable
    0 references

    Identifiers