An axiomatisation of strong negation and relational composition door M.J. Hollenber