 All authors having studied slash logic, apart from Hodges himself, have opted for not following Hodges’s terminological recommendation mentioned at the beginning of Section 3: they have referred to slash logic as ‘IF logic.’