Da Apresentação de Capa:
A partir de 1991 a Mathematics Subject Classification passa a registrar o verbete 03B53: Paraconsistent Logic. Isso significa que a lógica paraconsistente se torna oficialmente um domínio da atividade matemática atual, sendo que a obra aqui editada constitui o verdadeiro marco inicial desta área de investigação.
Apresentada como tese de cátedra em Análise Matemática e Análise Superior, em 1964, Sistemas Formais Inconsistentes projetou internacionalmente seu Autor.
Author(s): Newton Carneiro Affonso da Costa
Series: Série Clássicos, nº 3
Publisher: Editora da Universidade Federal do Paraná
Year: 1993
Language: Portuguese
Pages: 94
City: Curitiba, Brazil
Sistemas Formais Inconsistentes, de Newton C. A. da Costa......Page
Capa......Page scandjvutmp4a5_0001.djvu
Contracapa......Page scandjvutmp4b1_0001.djvu
Página de Título......Page scandjvutmp4a9_0001.djvu
Copyright......Page scandjvutmp4aa_0001.djvu
Sumário......Page scandjvutmp4ab_0001.djvu
Apresentação, por Décio Krause......Page scandjvutmp4ad_0001.djvu
Sistemas Formais Inconsistentes......Page 9
As lógicas paraconsistentes......Page scandjvutmp4af_0001.djvu
Os Precursores......Page scandjvutmp4b6_0001.djvu
O autor......Page scandjvutmp4b7_0001.djvu
Outras áreas de atuação......Page scandjvutmp4b9_0001.djvu
Bibliografia......Page scandjvutmp4bc_0001.djvu
Fac-símile da capa da primeira edição......Page scandjvutmp4bf_0001.djvu
Agradecimento......Page scandjvutmp4c1_0001.djvu
Introdução......Page scandjvutmp4c3_0001.djvu
Capítulo 1 – Cálculos Proposicionais para Sistemas Formais Inconsistentes......Page scandjvutmp4c7_0001.djvu
Capítulo 2 – Cálculos de Predicados para Sistemas Formais Inconsistentes......Page scandjvutmp4d9_0001.djvu
Capítulo 3 – Cálculos de Predicados com Identidade para Sistemas Formais Inconsistentes......Page scandjvutmp4e3_0001.djvu
Capítulo 4 – Descrições......Page scandjvutmp4eb_0001.djvu
Capítulo 5 – Aplicações à Teoria dos Conjuntos......Page scandjvutmp4f3_0001.djvu
Conclusões......Page scandjvutmp4ff_0001.djvu
Apêndice......Page scandjvutmp501_0001.djvu
Bibliografia......Page scandjvutmp503_0001.djvu
