Axiomatization and completeness of uncountably valued approximation logic (Q1317906)

From MaRDI portal





scientific article; zbMATH DE number 536896
Language Label Description Also known as
English
Axiomatization and completeness of uncountably valued approximation logic
scientific article; zbMATH DE number 536896

    Statements

    Axiomatization and completeness of uncountably valued approximation logic (English)
    0 references
    0 references
    23 May 1994
    0 references
    vagueness
    0 references
    uncountably valued logic
    0 references
    uncertainty
    0 references
    approximation logics
    0 references
    \(LT\)-fuzzy logics
    0 references
    approximate truth-values
    0 references
    plain semi-Post algebra
    0 references

    Identifiers

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