Metamathematics of Fuzzy Logic (Trends in Logic)