Fibred Tableaux for multi-implication logics