Terminal de consulta web

Resumo: A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1 '< ou =' n'< ou =' ¿ômega¿) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução natural 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 '< ou =' n '< ou =' ¿ômega¿) são logicamentes equivalentes aos sistemas Cn(0 '< ou =' n '< ou =' ¿ômega¿) de DA COSTA. Elaboramos uma valoração bivalente e provamos vários temas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistemas DNCn(1 '< ou =' '< ou =' ¿ômega¿). Provamos a decidibilidade dos sistemas paraconsistentes de dedução natural DNCn(1 '< ou =' n '< ou =' ¿ômega¿) pelo método de tableau. Provamos a equivalência entre os sistemas DNCn (1 '< ou =' n '< ou =' ¿ômega¿) e o sistemas de tableau TDNCn (1 '< ou =' n '< ou =' ¿ômega¿), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistemas proposicionais paraconsistentes Cn (0 '< ou =' n '< ou =' ¿ômega¿) são apresentadas