N. J. Smith, “A Theory of Propositions”, LLP, vol. 25, no. 1, pp. 83–125, Nov. 2015.