. "formal fuzzy mathematics" . . "formal fuzzy mathematics" .