O método de dedução natural aplicado às lógicas proposicionais paraconsistentes Cn.

Aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1<n<w) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução DNCn, constituídos exclusivamente por regras de dedução (ou esquemas de dedução), dispensando, quaisquer esquemas de postulados. Provamos que esses sistemas DNCn(0<n<w) são logicamentes equivalentes aos sistemas Cn(0<n<w) de DA COSTA. Elaboramos uma valorização bivalente e provamos vários teoremas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistema SNCn(1<n<w). Provamos a decibilidade dos sistemas paraconsistentes de dedução natural DNCn(1<n<w) pelo método de tableaux. Provamos a equivalência entre sistemas DNCn(1<n<w) e o sistemas de tableaux TDNCn(1<n<w), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistema proposicionais paraconsistentes Cn (0<n<w) são apresentadas.