Mostrando 341 resultados

Descrição arquivística
Newton Carneiro Affonso da Costa
Visualizar impressão
Visualização em ficha Visualização em tabela
3 resultados com objetos digitais Exibir resultados com objetos digitais
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT023 · Item · 1980
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Elias Humberto Alves intitulado "The Semantics of the Systems Cn of Da Costa".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT031 · Item · 1984
Parte de Andrea Maria Altino de Campos Loparic
Artigo manuscrito intitulado "Paraconsistency, paracompleteness and valuations", de autoria de Andrea Loparic e Newton Carneiro Affonso da Costa, com algumas correções também manuscritas.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT041 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo manuscrito de Andrea Loparic intitulado "Um estudo do cálculo proposicional Cw de N. da Costa".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT003 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Elias Humberto Alves intitulado "Observações Históricas sobre a Semântica de Valorações para os Sistemas Paraconsistentes de da Costa".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT007 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Itala Maria Loffredo D'Ottaviano e Milton A. de Castro intitulado "On the Decidability of Da Costa's Paraconsistent Systems Cn and Cn*".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT012 · Item · 1988
Parte de Andrea Maria Altino de Campos Loparic
Cópia de artigo de Newton Carneiro Affonso da Costa e Steven French intitulado "Pragmatic probability, logical omniscience and the Popper-Miller argument".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT004 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Página inicial de dois artigos: "Logique Mathématique - Sur le calcule (inserir símbolo aqui) de N. da Costa" e "Logique Mathématique - Une sémantique et une méthode de décision pour le Calcul prepositionnel implicatif intuitionniste", com notas de Andrea Maria Altino de Campos Loparic.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT006 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Andrea Loparic intitulado "Logique Mathématique - Une étude sémantique de quelques calculs propositionnels".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT022 · Item · 1980
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantics for quantified relevant logics without replacement", publicado na Proceedings of the Third Brazilian Conference on Mathematical Logic.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT024 · Item · 1980
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Elias Humberto Alves intitulado "The Semantics of the Systems Cn of Da Costa".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT037 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Cópia de artigo escrito por Andrea Loparic e Newton Carneiro Affonso da Costa intitulado "Paraconsistency, paracompleteness, and valuations", publicado na "Logique et Analyse".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT006 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Itala Maria Loffredo D'Ottaviano e Milton Augustinis de Castro intitulado "Analytical Tableaux for da Costa's Hierarchy of Propositional Paraconsistent Logics Cn, 1?n
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT013 · Item · 1989
Parte de Andrea Maria Altino de Campos Loparic
Cópia de artigo de Newton Carneiro Affonso da Costa e Steven French intitulado "On the Logic of Belief".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT014 · Item · 1990
Parte de Andrea Maria Altino de Campos Loparic
Cópia de artigo de Newton Carneiro Affonso da Costa e Steven French intitulado "The model-theoretic approach in the philosophy of science".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT014 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Andrea Loparic intitulado "Semantical Investigation of Arruda-Da Costa P Systems and of Adjacent Relevant Systems".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT017 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantical analysis of Arruda-Da Costa P systems and adjacent non-replacement relevant systems".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT030 · Item · 1984
Parte de Andrea Maria Altino de Campos Loparic
Artigo manuscrito intitulado "Valuations, parconsistency and paracompleteness", de autoria de Andrea Loparic e Newton Carneiro Affonso da Costa.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT032 · Item · 1984
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Andrea Loparic e Newton Carneiro Affonso da Costa intitulado "Paraconsistency, paracompleteness, and valuations".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT033 · Item · 1984
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Andrea Loparic e Newton Carneiro Affonso da Costa intitulado "Paraconsistency, paracompleteness, and valuations".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT038 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Cópia de artigo escrito por Andrea Loparic e Newton Carneiro Affonso da Costa intitulado "Paraconsistency, paracompleteness, and valuations", publicado na "Logique et Analyse".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT008 · Item · 2009
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Itala Maria Loffredo D'Ottaviano e Milton Augustinis de Castro intitulado "Analytical Tableaux for da Costa's Paraconsistent Predicate Calculi Cn*".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT016 · Item · 1978
Parte de Andrea Maria Altino de Campos Loparic
Cópia do artigo escrito por Andrea Loparic e Richard Routley, publicado na "Studia Logica", intitulado "Semantical Analysis of Arruda-Da Costa P Systems and Adjacent Non-Replacement Relevant Systems".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT042 · Item · 1986
Parte de Andrea Maria Altino de Campos Loparic
Cópia de artigo manuscrito de Andrea Loparic intitulado "A semantical study of some propositional calculi", contendo alguma anotações em páginas separadas.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT011 · Item · 1988
Parte de Andrea Maria Altino de Campos Loparic
Artigo datilografado de Newton Carneiro Affonso da Costa e Steven French intitulado "Belief and Contradiction".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT015 · Item · 1990
Parte de Andrea Maria Altino de Campos Loparic
Cópia de artigo de Newton Carneiro Affonso da Costa e Steven French intitulado "The logic of self-deception".
Atestado
BR SPCLEARQ AMACL-AP-APesq-EA-IT003 · Item · 1976-05-20
Parte de Andrea Maria Altino de Campos Loparic
Atestado de participação de Andrea Loparic no III Simpósio Latino Americano de Lógica Matemática.