BCK and BCI Logics, Condensed Detachment and the 2-Property