A semantical analysis of the calculi Cn - Costa, Newton Carneiro Affonso da; Alves, Elias Humberto (Notre Dame Journal of Formal Logic, 1977)