Studia Logica, vol. 41, no. 4 (1982), pp. 381–413.