ABSTRACT
ITALA M. LOFFREDO D'OTTAVIANO Universidade Estadual de Campinas italaOreitoria.unicamp.br
I INTRODUCTION The system here introduced, NCGW, is a presentation of da Costa's Cu (in [1]) in the form of a sequent calculus ([2]), derived from the system CGU (of [3]).
