Normal forms in BL and Ł\(\Pi\) algebras of functions (Q558198)

Let \(L\) be a BL-algebra. The paper deals with a description of an \(L\)-valued function \(f\) which is extensional w.r.t. a similarity defined on its domain. The description is given by means of an infinite expression using either supremum or infimum (so-called disjunctive and conjunctive normal form). For both normal forms it is proved that they represent precisely the original function \(f\). Further, the so-called dicrete normal forms are introduced which contain only finitely many terms. The author shows that the disjunctive (conjunctive resp.) discrete normal form is an approximation of the original function \(f\) from below (above resp.) and gives a bound of the quality of the approximation. At the end of the paper an \(L\)-valued extensional function \(f\) is considered where \(L\) is now the standard \(\L\Pi\)-algebra. Then a so-called additive normal form using Łukasiewicz sum instead of the supremum is introduced. Finally, the quality of the approximation of \(f\) given by the additive normal form is discussed.