Fuzzy logic as a basis for a theory of hierarchical definability (THD) | IEEE Conference Publication | IEEE Xplore