A semantical analysis of the calculi Cn. - E. H. Alves; Newton C. A. da Costa (Notre Dame J. Formal Log., 1977)