A Study on the logic of Abduction