. "formal fuzzy logic" . "formal fuzzy logic" . .