Terminal de consulta web

Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Wagner de Campos Sanz

TESE

Português

(Broch.)

T/UNICAMP Sa59i

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

521p. : il.

Orientador: Marcelo Esteban Coniglio

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo: O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele... Ver mais
Abstract: The purpose of this thesis is to present an elucidation of negation and absurd for intuitionist and classical logics in the range of natural deduction systems. Our study could be seen as a development of a proposal presented by Russell over a hundred years ago, which he presumably... Ver mais

Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Wagner de Campos Sanz

										

Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Wagner de Campos Sanz

    Exemplares

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