Omitting Types Theorem for Fuzzy Logics | IEEE Journals & Magazine | IEEE Xplore