Bilattices for deductions in multi-valued logic