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

Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent

BR SPCLEARQ FAIA-Impr-IT470
Item

ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.

Untitled

Aspects of the historical development of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT469
Item
1980-02

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Untitled

Aspects of the Historical Development of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-EL-IT408
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.

Untitled

As idéias lógicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT464
Item

Part of Ayda Ignez Arruda

Artigo sem autor intitulado As idéias lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 54p. dat. cópia.

Untitled

As concepções lógicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT455
Item

Part of Ayda Ignez Arruda

Tradução do artigo de V.A. Smirnov, intitulado As concepções lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat

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

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

Part of Ayda Ignez Arruda

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Untitled

Arruda-da Costa P Systems And Adjacent Non-Replacement Systems

BR SPCLEARQ FAIA-PItm-IT453
Item
[1976-1978]

Part of Ayda Ignez Arruda

Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.

Untitled

Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik

BR SPCLEARQ FAIA-PItm-IT447
Item
[1983]

Part of Ayda Ignez Arruda

Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.

Untitled

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

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

Á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

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-Impr-IT561
Item
1974-03

Part of Ayda Ignez Arruda

SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT296
Item
1982-02-13

Part of Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, comunicando o atraso no recebimento de correspondências, e informando sobre novas pesquisas. Annapolis, 13 fev. 1982. Ass.: Ken. 1p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT297
Item
? - 1982-12-25

Part of Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT298
Item
? - 1983-01-05

Part of Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT299
Item
? - 1983-03-05

Part of Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.

Untitled

Abstract da palestra Implicative Systems and Modus Ponens Rule

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Part of Ayda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Untitled

A teoria de primeira ordem v

BR SPCLEARQ FAIA-PIm-EL-IT407
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Untitled

A Survey of Paraconsistent Logic. Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT468
Item
1980

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 ? 41.

Untitled

A survey of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT467
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Untitled

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.

Untitled

A partial comparison of two conditions on the intersections of regressive sets

BR SPCLEARQ FAIA-Impr-IT549
Item
1977

Part of Ayda Ignez Arruda

McLAUGHLIN, Von T.G. A partial comparison of two conditions on the intersections of regressive sets. Arch. Math. Logik, v.18, p.159-167, 1977.

Untitled

A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Untitled

A Lógica e a Matemática são idênticas?

BR SPCLEARQ FAIA-Impr-IT535
Item
1964-10

Part of Ayda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Untitled

A Evolução do Método Axiomático

BR SPCLEARQ FAIA-Impr-IT466
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221.

Untitled

Áudio Visual

BR SPCLEARQ FAIA-AV
Series
? - 1975

Part of Ayda Ignez Arruda

Untitled

Fotografias

BR SPCLEARQ FAIA-F
Series
1981

Part of Ayda Ignez Arruda

Untitled

Ayda Ignez Arruda

BR SPCLEARQ FAIA
Fonds
1932 - 2006-01-25

O fundo é constituído de documentos pessoais, administrativos e relacionados a crise de 1981 na Unicamp; correspondência; produção acadêmica e científica; artigos; recortes de jornais e fotografias.

Untitled

Narrow your results by:

Language

Creator

Name

Place

Subject

Level of description

Media type

Showing 599 results