lukasiewicz