AXIOMATIC APPROACH TO IMPLICATION FOR APPROXIMATE REASONING WITH FUZZY LOGIC