Local β compactness as fuzzy predicates defined in Łukasiewicz logic