• Nenhum resultado encontrado

TSUJI, Marcelo. Suppes predicates for meta-ranking structures. Separata de:Synthese, v.212, p.281-299, 1997 (NCAC é citado nesse documento).

WHO’S WHO in Science and Engeneering. Sumário (anos 1994-1995, p.188). Separata. 4p.

SUMÁRIOS dos volumes I-VII da Revista Portuguesa de Filologia. Lisboa: Livraria Portugual;

Coimbra: Casa do Castelo, Editora, s.d., 16p., (v.1, Tomo I, 1947-v.7, Tomo I e II, 1956).

COSTA, N. C. A.; DÓRIA, F. A. Mathematics is dramatically incomplete. Theoria (San Sebastián) (2) 7, n. 16-18, A, p. 411-422, 1992. Resenha de: CONSUEGRA, Francisco A. Rodrigues.

Mathematical Reviews, p. 6518.

NATURE, v. 352, n.6337, p. 664, 1991. Resenha de: Ciência Hoje, Decidindo o Indecidível., v. 13, n. 77.

ARRUDA, Ayda Ignez. Sur les systèmes NFi de da Costa. Separata de: C. R. Acad. Sc. Paris,t.270, p. 1081-1084, 27 de abril de 1970 (NCAC é citado nesse documento),

ARRUDA, A. I.; COSTA, N. C. A. Proceedings of the Third Brazilian Conference on Mathematical Logic. Sociedad Brasileira de Lógica, São Paulo, IV, 336p., 1980. Resenha de: DELGADO, Vicente Muñoz. Cuadernos Salmantinos de Filosofia, n.10, p.352-353, 1983. (NCAC é citado nesse documento).

COSTA, Newton C. A. The philosofical import of paraconsistent logic. J. Non-Classical Logic 1, n.

1, p. 1-19, 1982. Resenha de: DZIK, Wojciech. Mathematical Reviews, p.3262.

LOPARIC, Andréa; COSTA, Newton C. A. Paraconsistency, paracompleteness, and valuations.

Logique et Anal. (N.S). 27, n. 106, p. 119-131, 1984. Resenha de: GUCCIONE, Salvatore.

Mathematical Reviews, p. 936.

LOPARIC, Andréa; COSTA, Newron C. A. Paraconsistency, paracompleteness, and valuations.

Logique et Anal. (N.S). 29, n. 113, p. 73-80, 1986. Resenha de: HAVRÁNEK, Tomás.

Mathematical Reviews, p. 1225.

COSTA, Newton C. A.; ALVES, Elias H. Relations between paraconsistent logic and many-valued logic. Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic 10, n. 4, p. 185-191, 1981. Resenha de: KOTAS, Jerzy. Mathematical Reviews, p. 2113.

ARRUDA, A. I., CHUAQUI, R., COSTA, N. C. A. Non-Classical Logics, Model Theory and Computability. (Proceedings of the Third Latin-American Symposium on Mathematical Logic, São Paulo, 11-17 de julho de 1976, p. 154-159). Anexo: Retificacion, 21 fev. 1983. Resenha de:

LUNGARZO, Carlos. Critica, v. XII, n. 34, de abril de 1980. 2 docs.

COSTA, Newton C. A. New systems of predicate deontic logic. Journal of Non-Classical Logic 5, n. 2, p. 75-80, 1988. Resenha de: MAKINSON, David. Mathematical Reviews, p. 6168, de novembro de 1994.

COSTA, Newton C. A. The concept of structure in science (Portuguese. English summary). Bol.

Soc. Paran. Mat. (2) 8, n. 1, p. 1-22, 1987. Resenha de: MOULINES, C. Ulises. Mathematical Reviews, p. 1210-1211.

COSTA, Newton C. A.; DÓRIA, F. A. Classical physics and Pensore’s thesis. Found. Phys. Lett. 4, n. 4, p. 363-373, 1991. Resenha de: MURAWSKI, Roman. Mathematical Reviews, p. 3567, de julho de 1992.

PUGA, Leila Z.; COSTA, Newton C. A. On the imaginary logic of N. A. Vasiliev. Z. Math. Logik Grundlag. Math. 34, n. 3, p. 205-211, 1988. Resenha de: OMYLA, Mieczyslaw. Mathematical Reviews, p. 2442, 1989.

COSTA, Newton C. A. Tarski, Sebastião e Silva and the concept of structure. Bol. Soc. Paran. Mat.

(2) 7, n. 2, p. 137-145, 1986. Resenha de: RAY, Yehuda. Mathematical Reviews, p. 1675.

REALE, Miguel. COSTA (Newton C. A. da). Logos – Enciclopédia Luso-Brasileira de Filosofia, v.

1, de janeiro de 1989. Resenha.

COSTA, Newton C. A. Nota sobre o conceito de contradição (Portuguese. English summary).

Anuário da Sociedade Paranaense de Matemática, ser. 2, vol. 1, p. 6-8, 1958. Resenha de:

RIBEIRO, Hugo. Journal of Symbolic Logic, v. 25, n. 2, p. 160, de junho de 1960.

MIRÓ QUESADA, Francisco. N. C.A. da Costa's philosophy of logic. Bol. Soc. Paran. Mat. (2) 6 n. 1, p. 35-58, 1985. Resenha de: SPERANZA, F. Mathematical Reviews, p. 1132. (NCAC é citado nesse documento).

COSTA, Newton C. A.; SUBRAHMANIAN, V. S.; VAGO, Carlo. The paracosistent logics P Math. Logik Grundlag. Math. 37, n. 2, p. 139-148, 1991. Resenha de: SURMA, Stanislaw.

Mathematical Reviews, p. 1204,de março de 1993.

COSTA, Newton C. A.; WOLF, Robert G. Studies in paraconsistent logic. I. The dialetical principle of the unity of opposites. Philosophia 9, n. 2, p. 189-217, 1980. Resenha de: THOMASON, S. K.

Mathematical Reviews, p. 6758.

COSTA, Newton Carneiro Affonso da; FRENCH, Steven. Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning, Oxford, 2003, 272p. Resenha de: TUCHANSKA, Barbara. Notre Dame Philosophical Review, 3p., 9 de março de 2004.

Pasta 8

FNCAC, GPI, Se, Cx. 542, P.8 AKKER, Johan van den; TAN, Yao Hua. QML, A paraconsistent default logic. Separata de:

Logique & Analyse, v.143-144, p.311-328, 1993 (NCAC é citado nesse documento).

ALAS, O. T.Cardinalidade de alguns conjuntos de topologies compactas. Separata de: Gazeta de Matemática,p.41-43 (NCAC é citado nesse documento). Obs: contém dedicatória de Ofélia Tereza Alas.

ALAS, O. T.Cardinality of a set of topologies. Separata de: Gazeta de Matemática, p.45. (NCAC é citado nesse documento).

ALVES, Elias Humberto. Capítulo 11 - Aspectos da Lógica Matemática no Brasil. Separata,p. 389-410 (NCAC é citado nesse documento).

ARTIGAS, Jorge N.; PAPAVERO, Nelson; SERRA, Armando L. The american genera of asilidade (diptera): keis for identification with an atlas of female, spermathecae and other morphological details.Separata de: Gayana Zool,v.55(1), p.53-85, 1991 (NCAC é citado nesse documento).

Pasta 9

FNCAC, GPI, Se, Cx. 542, P.9 BLASZCZUK, Jerzy J.; DZIOBIAK, Wieslaw. An axiomatization of Mn-Counterparts for some modal calculi. Separata de:Reports on Mathematical Logic, v.6, p.3-6, 1976 (NCAC é citado nesse documento).

BOBENRIETH M., Andrés. Lógica paraconsistente: um logro latinoamericano. Separata de:

Congresso Latinoamericano sobre Filosofía y Democracia, p. 357-365, de novembro de 1997 (NCAC é citado nesse documento).

BROWN, Bryson. Old quantum theory: a paraconsistent approach.PSA 1992, v. 2, p. 397-411, 1992 (NCAC é citado nesse documento). Obs: Com comentários de Steven French. 2 exemplares.

BROWN, Bryson. Yes, Virginia, there really are paraconsistent logics. Separata de: Journal of Philosophical Logic, v.28, p. 489-500, 1999 (NCAC é citado nesse documento).

BUNDER, M. W.The logic of inconsistency.v.6, n.1, p.57-62, may 1989 (NCAC é citado nesse documento).

CAIERO, Roque da C.; SOUZA, Edelcio G. de. A new paraconsistent set theory: ML1.Separata de:

Logique & Analyse, v.157, p.115-141, 1997 (NCAC é citado nesse documento).

CARBOGIM, Daniela Vasconcelos; SILVA, Flávio Soares Corrêa da. Programação em lógica anotada, teoria e aplicações(NCAC é citado nesse documento) p. 517-528.

Pasta 10

FNCAC, GPI, Se, Cx. 542, P.10 COSTA, Newton C. A. Ensaio sobre os fundamentos da lógica. São Paulo: Editora Hucitec, Editora da Universidade de São Paulo, 1980. Resenha de: ASENJO, F. G. Journal of Symbolic Logic, v.56, fasc.4, p. 1500-1504, de dezembro de 1991.

ABE, Jair M.; ÁVILA, Bráulio Coelho; PRADO, José Pacheco de Almeida. Multi-agents and inconsistency. Separata de: ICCIMA 1998,p.137-142, 1998 (NCAC é citado nesse documento).

AVRON, Arnon. Natural 3-valued logics - characterization and proof theory. Separata de:The Journal of Symbolic Logic, v.56, n.1, p. 276-294,de março de 1991 (NCAC é citado nesse documento).

AVRON, Arnon. Relevance and paraconsistency - A new approach. Separata de: The Journal of Symbolic Logic, v.55, n.2, p. 707-732, de junho de 1990 (NCAC é citado nesse documento).

BATENS, Diderik. A bridge between two-valued and many-valued semantic systems: N-tuple semantics.

BATENS, Diderik. Embedding and interpolation for some paralogics. The propositional case.

Separata de: Reports on Mathematical Logic, n.33, p.29-44, 1999 (NCAC é citado nesse documento).

BERESTOVOY, Susana. Sobre sistemas formales no clásicos. Separata de: CRÍTICA,v.12, n.34, p.73-89, abril 1980 (NCAC é citado nesse documento).

ASENJO, F. G. A calculus of antinomies. Separata de: Notre Dame Journal of Formal Logic, Nortre Dame, v. VIII, n. 1, p. 103-105, 1966 (NCAC é citado nesse documento).

Corsi, Giovanna. Chiara, Maria Luisa Dalla. Ghirardi, Gian Carlo. Separata: Bridging the gap.

Philosophy, Mathematics and Physics. Lectures on the Foudantions os Science. V 140. 1993.

Driankov, Dimiter. Eklund W. Peter. Ralescu, Anca. Fuzzy Logic and Fuzzy control. 1991

Havas G. Katalin. Changing the world- changing the meaning. Editado por: Jadacki, Jacek Juliusz. Strawi´nski Witold. In the world of signs, essays in honour of professor Jerzy Pelc. (com anotação de Hava para Newton).

No documento INVENTÁRIO NEWTON CARNEIRO AFFONSO DA COSTA (páginas 154-158)