Normalisation for some infectious logics with non-standard disjunction elimination rulesдоклад на конференции