Extension of Lukasiewicz Logic by Product Connective