Implication and linear inference. by Bernard Bosanquet.