An intermediate logic - Welton, J. (W. B. Clive, 1923)