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.
KeywordsComputational Complexity Fuzzy Logic Predicate Logic Basic Fuzzy Logic Important Formula
Unable to display preview. Download preview PDF.