×

zbMATH — the first resource for mathematics

Basic fuzzy logic and BL-algebras. II. (English) Zbl 1018.03021
[For Part I see ibid. 2, 124-128 (1998).]
Summary: Three new (easy) results about the computational complexity of basic propositional fuzzy logic BL are presented. An important formula of predicate logic is shown 1-true in all interpretations over saturated BL-chains but is not a BL-1-tautology, i.e., is not 1-true in a safe interpretation over a non-saturated BL-algebra.

MSC:
03B52 Fuzzy logic; logic of vagueness
06D35 MV-algebras
PDF BibTeX XML Cite
Full Text: DOI