Does anyone know of work on axiomatizing the equations true in the natural numbers with addition and (partial) subtraction? This arises from the remark made to me by Li Ping Ma that Chinese teachers teach the rule a-b -c = a- (b+c). (There is hidden convention that we associate to the left in the expession on the left side of the equation.)