Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT376
Item

Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

Untitled

Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”

BR SPCLEARQ FAIA-PIm-V-IT375
Item

Part of Ayda Ignez Arruda

Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia

Untitled

Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT374
Item

Part of Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év. S.l., S.d. S.ass. 12p. dat.

Untitled

Resenha sobre Lógica e Metalógica, de N. A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT373
Item

Part of Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.

Untitled

Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT372
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

Untitled

Críticas de Smirnov à lógica de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT371
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Untitled

Os sistemas P e P*,

BR SPCLEARQ FAIA-PIm-A-IT370
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Untitled

Artigo sem título

BR SPCLEARQ FAIA-PIm-A-IT369
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Untitled

Une sémantique pour le calcul C1=

BR SPCLEARQ FAIA-PIm-A-IT368
Item

Part of Ayda Ignez Arruda

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Untitled

Sur la Théorie des Sytèmes Formels Inconsistants

BR SPCLEARQ FAIA-PIm-A-IT367
Item

Part of Ayda Ignez Arruda

Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.

Untitled

Silogismos Não-Aristotélicos

BR SPCLEARQ FAIA-PIm-A-IT365
Item

Part of Ayda Ignez Arruda

Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

Untitled

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-PIm-A-IT364
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Untitled

Resumo de AIA intitulado On Griss' Propositional Calculus

BR SPCLEARQ FAIA-PIm-A-IT363
Item

Part of Ayda Ignez Arruda

Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

Untitled

Observações sobre o conjunto de Russell

BR SPCLEARQ FAIA-PIm-A-IT362
Item

Part of Ayda Ignez Arruda

Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.

Untitled

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361
Item

Part of Ayda Ignez Arruda

Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.

Untitled

Carta de Luiz Paulo de Alcântara para AIA

BR SPCLEARQ FAIA-C-Cp-IT307
Item
? - 1982-09-27

Part of Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Untitled

Estudo sobre a completude de C+

BR SPCLEARQ FAIA-PIm-SC-IT391
Item

Part of Ayda Ignez Arruda

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Untitled

Estudo de AIA

BR SPCLEARQ FAIA-PIm-SC-IT392
Item

Part of Ayda Ignez Arruda

Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.

Untitled

Estudo de AIA Capítulo I: Os Cálculos Cn

BR SPCLEARQ FAIA-PIm-SC-IT386
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Os Cálculos Cn. S.l., S.d. S.ass. 18p. dat. cópia.

Untitled

Álgebras de conjuntos não-clássicas

BR SPCLEARQ FAIA-PIm-A-IT360
Item
? - 1966-10-17

Part of Ayda Ignez Arruda

Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia.

Untitled

Carta de Maria da Graça Rodrigues

BR SPCLEARQ FAIA-C-Cp-IT312
Item

Part of Ayda Ignez Arruda

Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.

Untitled

Carta de Luiz Paulo de Alcântara para AIA

BR SPCLEARQ FAIA-C-Cp-IT307
Item
? - 1982-09-27

Part of Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Untitled

Ofício GR n. 329/83 de José Aristodemo Pinotti

BR SPCLEARQ FAIA-C-Cp-IT293
Item
1983-04-13

Part of Ayda Ignez Arruda

Ofício GR n. 329/83 de José Aristodemo Pinotti, reitor da Unicamp, para AIA, agradecendo e cancelando o jantar que lhe seria oferecido. Cidade Universitária ?Zeferino Vaz?, 13 abr. 1983. Ass.: José Aristodemo Pinotti. 2p. dat.

Untitled

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT284
Item
1982-07-23

Part of Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat.

Untitled

Carta de Cecylia Rauszer para AIA

BR SPCLEARQ FAIA-C-Cp-IT265
Item
1982-11-15

Part of Ayda Ignez Arruda

Carta, em inglês, de Cecylia Rauszer para AIA, lamentando sobre o estado de saúde de AIA e informando sobre sua visita ao Brasil. Warsaw, 15 nov. 1982. Ass.: Cecylia. 1p. dat.

Untitled

Carta de AIA a Steve Giambrone

BR SPCLEARQ FAIA-C-Ca-IT241
Item
1982-02-10

Part of Ayda Ignez Arruda

Carta, em inglês, de AIA a Steve Giambrone enviando lista de suas publicações, indicando pesquisadores em lógica paraconsistente e informando sobre publicação de Itala M.L. D?Ottaviano. Campinas, 10 fev. 1982. Ass.: Ayda Ignez Arruda. 2p. dat.

Untitled

Carta de AIA a Solomon Feferman

BR SPCLEARQ FAIA-C-Ca-IT240
Item
1982-06-16

Part of Ayda Ignez Arruda

Carta, em inglês, de AIA a Solomon Feferman, informando os problemas de comunicação com a ASL e as conseqüências disto para o Comitê Latino-Americano e na organização dos encontros Latino Americanos. Campinas, 16 jun. 1982. S.ass. 1p. dat. cópia.

Untitled

Carta de AIA a Solomon Feferman

BR SPCLEARQ FAIA-C-Ca-IT239
Item
1982-04-12

Part of Ayda Ignez Arruda

Carta, em inglês, de AIA ao professor Solomon Feferman, aprovando proposta de número de membros para a Association for Symbolic Logic e sugerindo a inclusão de um membro. S.l., 12 abr. 1982. S.ass. 1p. dat. cópia.

Untitled

Carta de AIA a Sava Petrov

BR SPCLEARQ FAIA-C-Ca-IT238
Item
1983-03-14

Part of Ayda Ignez Arruda

Carta, em inglês, de AIA para Sava Petrov, comunicando a retomada dos trabalhos administrativos, seua planos para a realização de novos trabalhos científicos e viagens ao exterior. Campinas, 14 mar. 1983. S.ass. 2p. dat. cópia.

Untitled

Carta de AIA a Sava Petrov

BR SPCLEARQ FAIA-C-Ca-IT236
Item
1982-03-30

Part of Ayda Ignez Arruda

Carta, em inglês, de AIA a Sava Petrov, mencionando a crise na Universidade, comunicando que está escrevendo outro artigo sobre a lógica de Vasil'év e o envio de dois artigos sobre esse assunto. S.l., 30 mar. 1982. S.ass. 1p. dat. cópia.

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 697 results