Busca avançada
Ano de início
Entree


Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa

Texto completo
Autor(es):
Milton Augustinis de Castro
Número total de Autores: 1
Tipo de documento: Tese de Doutorado
Imprenta: Campinas, SP.
Instituição: Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Data de defesa:
Membros da banca:
Itala Maria Loffredo D'Ottaviano; Newton Carneiro Affonso da Costa; Daniel Durante Pereira Alves; Hercules de Araujo Feitosa
Orientador: Itala Maria Loffredo D'Ottaviano
Processo FAPESP: 99/03213-6 - Normalização das lógicas paraconsistentes de Da Costa
Beneficiário:Milton Augustinis de Castro
Modalidade de apoio: Bolsas no Brasil - Doutorado