Terminal de consulta web

O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

Milton Augustinis de Castro

DISSERTAÇÃO

Português

(Broch.)

T/UNICAMP C279m

Campinas, SP : [s.n.], 1998.

166f.

Orientador: Carlos Alberto Lungarzo

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas

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... Ver mais
Abstract: In this paper, we present an application of the method of natural deduction, via the method of subordinate proofs. By using this method, we develop a hierarchy of logical systems of natural deduction DNCn containing just deduction rules (or schemes of deduction) with no axioms schemes. We... Ver mais

O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

Milton Augustinis de Castro

										

O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

Milton Augustinis de Castro

    Exemplares

    Nº de exemplares: 2
    Não existem reservas para esta obra