ये लॉजिक्स, जिन्हें फ़ज़ी टाइप थ्यौरी भी कहा जाता है, प्रेडिकेट फ़ज़ी लॉजिक्स का विस्तार करते हैं ताकि प्रेडिकेट्स और हाइयर-ऑर्डर ऑब्जेक्ट्स को भी क्वांटिफाइ करने में सक्षम हो सके। फ़ज़ी टाइप थ्यौरी, बी. रसेल द्वारा शुरू की गई क्लासिकल सिंपल टाइप थ्यौरी का एक सामान्यीकरण है 

और इसका गणितीय रूप से सविस्तार ए. चर्च 

अनुप्रयोग के क्षेत्र
भाषाई वेरिएबल्स (भाषाई अस्थिरता) (भाषाई अस्थिरता)
हाइयर-ऑर्डर फ़ज़ी लॉजिक्स
प्रोपोज़िशनल फ़ज़ी लॉजिक्स