Fuzzy Logic Theory