Lukasiewicz fuzzy logic