ABSTRACT

Some prerequisites are partially ordered sets (posets) and lattices.

The notion of multi-valued algebra has been introduced to characterize the Lukasiewicz infinite-valued logic.

The family L(X) offuzzy sets on a fixed universe X may be organized as an MV-algebra if the set operations are induced by T00 and S00 • This MV -algebra induces a distributive lattice with lattice operations T0 and S0 • Therefore, the operators T0 and S0 are suited to describe the order (or lattice) aspects of fuzzy sets.