, I-IV, A simplified strong completeness proof for Q C =, in L. Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 83-96.
, 1995, On axiomatizing free logic: and inclusive logic in the bargain, in M. Marion & R. S. Cohen (eds.), Québec studies in the philosophy of science, part I, Dordrecht, Springer, pp. 1-22.
, 1959, 'On chances and estimated chances of being true', Revue philosophique de Louvain 57 (54), 225-239.
, 1954a, 'Évidence logique et degré de confirmation', Revue philosophique de Louvain 52 (36), 619-625.