"Functional system of BL-algebra with infinite formulas" . . . "The class of functions which can be represented by formulas of a standard BL-algebra whose basic operation is a t-norm is fully characterized. We consider formulas which are constructed from variables and constants with the help of operations from a BL-algebra. We prove that the class of functions which are represented by such formulas coincides with the class of extensional functions."@en . "1"^^ . . "17610" . "Int. Journal of Many-Valued Logic" . "1"^^ . . . "Je vy\u0159e\u0161en probl\u00E9m charakterizace t\u0159\u00EDdy funkc\u00ED reprezentovateln\u00FDch formulemi standartn\u00ED BL-algebry."@cs . "1542-3980" . "P(GA201/04/1033), P(IAA1187301)" . "Funkcion\u00E1ln\u00ED soustava BL-algebry"@cs . "Functional system of BL-algebra with infinite formulas" . "Functional system of BL-algebra with infinite formulas"@en . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . . "Perfilieva, Irina" . "183" . "Funkcion\u00E1ln\u00ED soustava BL-algebry"@cs . . . . "12" . "BL-algebra; extensional function; disjunctive and conjunctive normal forms; Lipschitz condition"@en . "18"^^ . . . "476476" . "[31FF86B46D4E]" . . "The class of functions which can be represented by formulas of a standard BL-algebra whose basic operation is a t-norm is fully characterized. We consider formulas which are constructed from variables and constants with the help of operations from a BL-algebra. We prove that the class of functions which are represented by such formulas coincides with the class of extensional functions." . . . "RIV/61988987:17610/06:00000001!RIV07-AV0-17610___" . "Functional system of BL-algebra with infinite formulas"@en . "RIV/61988987:17610/06:00000001" . . . .