, 1975, Semantic representation of the probability of formulas in formalized theories, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 205-219.