Fuzzy inference in a formal theory of semantic equivalence (Q1119563)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fuzzy inference in a formal theory of semantic equivalence
scientific article

    Statements

    Fuzzy inference in a formal theory of semantic equivalence (English)
    0 references
    0 references
    1989
    0 references
    This paper is devoted to fuzzy inference in a formal theory of semantic equivalence. The author shows how ten different fuzzy implication operators can be represented within a formal axiomatization of the theory of approximate reasoning. The aim of this work is to move the theory of approximate reasoning one step closer to providing a sound basis for a new system of fuzzy-logic programming.
    0 references
    fuzzy inference in a formal theory of semantic equivalence
    0 references
    fuzzy implication operators
    0 references
    approximate reasoning
    0 references
    fuzzy-logic programming
    0 references

    Identifiers