Bibliografia de Lógica em Portugal no Século XX

Referências

ABRANCHES, Cassiano (1947). «A logística». Revista Portuguesa de Filosofia, 3: 4, pp. 364-377.
ABRANCHES, Cassiano (1948). «Logística das classes». Revista Portuguesa de Filosofia, 4: 2, pp. 120-130.
ALBUQUERQUE, José Ribeiro (1944). «Ensembles de Borel». Portugaliae Mathematica, 4, pp. 161-198.
ALBUQUERQUE, José Ribeiro (1945). «Ensembles de Borel II». Portugaliae Mathematica, 4, pp. 217-224.
ALBUQUERQUE, José Ribeiro (1945). «Sobre a existência não-contraditória». Gazeta de Matemática [Lisboa], 6: 25, pp. 4-6.
ALBUQUERQUE, José Ribeiro (1951). «Teoria dos conjuntos projectivos I». Bull Soc Math Belg, 1, pp. 345-400.
ALBUQUERQUE, José Ribeiro (1952). «Theorie des ensembles projectifs». Portugaliae Mathematica, 11, pp. 11-33.
ALBUQUERQUE, José Ribeiro (1952). «Teoria dos conjuntos projectivos II». Bull Soc Math Belg, 2, pp. 5-44.
ALBUQUERQUE, José Ribeiro (1952). «Un theorème sur les ensembles cribles». Portugaliae Mathematica, 11, pp. 95-103.
ALBUQUERQUE, José Ribeiro (1955). «Conjuntos finitos». Gazeta de Matemática [Lisboa], 15: 60-61, pp. 24-28.
ALBUQUERQUE, Matheus D'Andrade (1933). «Infinito e transfinito». O Instituto, 14: 4, pp. 404-408.
ALMEIDA, António Ferreira de (1948). «O papel do método axiomático na matemática». Vértice, 6: 60, pp. 88-91.
ALMEIDA, Francisco Vieira de (1944). Lógica Elementar. (Col. Studium, 39). Coimbra: Arménio Amado, 182 pp.
ALMEIDA, Francisco Vieira de (1944). «Lógica e sintaxe». Revista de Portugal, série A [Coimbra], 5: 25.
ALMEIDA, Francisco Vieira de (1947). «Lógica e sintaxe». Revista de Portugal, série A [Coimbra], 12: 58.
ALMEIDA, Francisco Vieira de (1948). «Lógica e sintaxe». Revista de Portugal, série A [Coimbra], 13: 66.
ALMEIDA, Francisco Vieira de (1948). «Lógica e sintaxe». Revista de Portugal, série A [Coimbra], 13: 67.
ALMEIDA, Francisco Vieira de (1952). «Ainda lógica e sintaxe». Revista de Portugal, série A [Coimbra], 17: 108-109.
ALMEIDA, Francisco Vieira de (1956). Iniciação Lógica. (Col. «Saber», 4SE.) Lisboa: Publicações Europa-América, 133 pp.
ALMEIDA, Francisco Vieira de (1986). Obra Filosófica. Vol. I, 1911-1940. Lisboa: Fundação Calouste Gulbenkian, 532 pp.
ALMEIDA, Francisco Vieira de (1987). Obra Filosófica. Vol. II, 1941-1947. Lisboa: Fundação Calouste Gulbenkian, 785 pp.
ALMEIDA, Francisco Vieira de (1988). Obra Filosófica. Vol. III, 1948-1961. Lisboa: Fundação Calouste Gulbenkian, 637 pp.
ALMEIDA, J. e RIBEIRO, H. B. (1990). Introdução à Logica. Porto: Faculdade de Ciências da Universidade do Porto.
ALMEIDA, P. A.; FERREIRA, José M.; e OLIVEIRA, A. J. Franco de (eds.)(1989). Colóquio de Lógica Matemática à Memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, 201 pp.
ALVES, Vitorino de Sousa (1947). «Digressão físico-matemática». Revista Portuguesa de Filosofia, 3, pp. 116-185.
ALVES, Vitorino de Sousa (1955). «Limites conceptuais da filosofia e da matemática». Revista Portuguesa de Filosofia, 11, pp. 216-232.
ALVES, Vitorino de Sousa (1957). «Teorema do infinito». Revista Portuguesa de Filosofia, 13, pp. 34-41.
ALVES, Vitorino de Sousa (1963). «Para a fundamentação do contínuo». Revista Portuguesa de Filosofia, 19: 2, pp. 142-166.
ALVES, Vitorino de Sousa (1965). «A lógica moderna». Revista Portuguesa de Filosofia, 21: 4, pp. 402-436.
ALVES, Vitorino de Sousa (1972). «Bertrand Russell e a sua crítica analítica». Revista Portuguesa de Filosofia, 28, pp. 490-525.
ALVES, Vitorino de Sousa (1978). «Conceito de estrutura na lógica e na matemática». Revista Portuguesa de Filosofia, 32: 2, pp. 113-142.
ALVES, Vitorino de Sousa (1980). «Análise lógica dos primeiros princípios». Revista Portuguesa de Filosofia, 36: 3-4, pp. 279-299.
ALVES, Vitorino de Sousa (1991). «Lógica matemática». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 3. Lisboa: Verbo, coll. 459-474.
ALVES, Vitorino de Sousa (1992). «O Conceito de Verdade na Lógica Formal». Revista Portuguesa de Filosofia, 48: 3, Julho-Setembro, pp. 411 - 422.
ALVES, Vitorino Mendes de Sousa (1998). Ensaio de Filosofia das Ciências. Braga: Publicações da Faculdade de Filosofia da Universidade Católica Portuguesa, 558 pp.
C.E.L.I.J.S. de la Universidad de Carabobo, Venezuela (eds.)(s/d). Antologia de la Lógica en America Latina. Madrid: Fundación Banco Exterior, 680 pp.
BARBOSA, Arnaldo de Miranda (1940). Lógica. Ensaio Esquemático de Uma Lógica Pura como Fundamentação Mediata de Uma Teoria Axiológica. Primeira Parte: Analítica e Sistemática. [Dissertação de Licenciatura em Ciências Históricas e Filosóficas, Faculdade de Letras da Universidade de Coimbra]. Coimbra: edição do autor, 241 pp.
BARBOSA, Arnaldo de Miranda (1947). A Essência do Conhecimento. [Dissertação de Doutoramento em Filosofia, Faculdade de Letras da Universidade de Coimbra]. Coimbra: edição do autor, 242 pp.
BARBOSA, Arnaldo de Miranda (1996). Obras Filosóficas. Ed. de Alexandre Fradique Morujão. Lisboa: Imprensa Nacional Casa da Moeda, 672 pp.
BORGES, Carlos Rego (1973). Lógica Elementar. [Licões policopiadas, University of California, Universidade de Coimbra]. S.l., s.e., 36 pp.
BRANQUINHO, João (1989). «Curvelo, Edmundo». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 1. Lisboa: Verbo, coll. 1265-1266.
BRANQUINHO, João (1991). «Lógica Filosófica». In Manuel Maria Carrilho, ed., Dicionário do Pensamento Contemporâneo. Lisboa: Dom Quixote, pp. 211-234.
BRANQUINHO, João, e LOURENÇO, Manuel dos Santos (1986). «A consequência proposicional na teoria da demonstração». In Ao Encontro das Palavras. Homenagem a Manuel Antunes. Lisboa: Faculdade de Letras, pp. 359-425.
CAEIRO, F. Gama (1989). «ALMEIDA (Francisco Lopes Vieira de)». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 1. Lisboa: Verbo, coll. 177-180.
CARAÇA, Bento de Jesus (1998 [1942]). Conceitos Fundamentais da Matemática. Edição revista por Paulo Almeida. Lisboa: Gradiva, 295 pp.
CARMO, José Manuel C. L. M. (1987). Lógicas Temporais para a Especificação e Verificação de Sistemas de Informação. Lisboa: Instituto Superior Técnico, 352 pp.
CARNIELLI, Walter A. e PEREIRA, Luiz Carlos P. D. (eds.)(1995). Logic, Sets and Information. Proceedings of the 10th Brazilian Conference on Mathematical Logic. Campinas: Centro de Lógica, Epistemologia e História da Ciência, 274 pp.
CERQUEIRA. L. A., e OLIVA, A. (1982). Introdução à Lógica. Rio de Janeiro: Zahar.
COELHO, Helder, e COTTA, José C. (1988). Prolog by Example. How to Learn, Teach and Use It. Berlin: Springer-Verlag, 382 p.
COIMBRA, Leonardo (1923). A Razão Experimental (Lógica e Metafísica). Porto: A Renascença Portuguesa, 398 pp.
COIMBRA, Leonardo (1927). Notas sôbre a Abstracção Scientífica e o Silogismo. Porto: Maranus, 101 pp.
COSTA, Newton C. A. da, e FRENCH, Steven (1990). «Belief, contradiction and the logic of self-deception». American Philosophical Quarterly, 27: 3, pp. 179-197.
COSTA, Newton C. A. da; BUENO, Otávio; e FRENCH, Steven (1998). «Is there a Zande logic?». History and Philosophy of Logic, 19, pp. 41-54.
CUNHA, Norberto (1992). «A Ética como Ciência Natural em Edmundo Curvelo». Revista Portuguesa de Filosofia, 48: 2, pp. 161 - 207.
CUNHA, Pedro José da (1922). «Reflexões sôbre a teoria dos conjuntos». Jornal de Sciências Matemáticas, Físicas e Naturais, 3ª série, nº 10, 62 pp.
CURADO, José Manuel (1996). «A utopia linguística de Dantas Pereira: da escriptura pasigraphica à impossível língua perfeita». Diacrítica, 11, pp. 409-497.
CURVELO, Edmundo (1943). Introdução à Lógica. Lisboa: Cosmos, 160 pp.
CURVELO, Edmundo (1944). Plano de um Laboratório de Psicologia e Pedagogia Experimental (Fundado no Colégio Militar em 1946). Lisboa: , p.
CURVELO, Edmundo (1945). Fundamentos Lógicos da Psicologia. Coimbra: Atlântida, 319 pp.
CURVELO, Edmundo (1946). Relações Lógicas, Psicológicas e Sociais da Ética. Coimbra: Coimbra Editora, 135 pp.
CURVELO, Edmundo (1946). «Tombam Ídolos dos Altares». Vértice: Revista de Cultura e Arte [Coimbra], 1: 5, Fevereiro, pp. 45 - 50.
CURVELO, Edmundo (1946). A Bomba Atómica, a Tabuada e o mais que adiante se verá. (Com desenhos de Noémia Cruz.) Lisboa.
CURVELO, Edmundo (1946). O Resto da Bomba Atómica. (Desenhos de Noémia Cruz.) Lisboa.
CURVELO, Edmundo (1947). Os Princípios da Logificação da Psicologia. Lisboa: Ática, 350 pp.
CURVELO, Edmundo (1947). Multiplicidades Lógicas Discretas. Tese de Doutoramento em Filosofia na Universidade de Lisboa. [Distr. Mem Martins: Europa-América], 159 pp.
CURVELO, Edmundo (1947). «Sobre os Fundamentos da Lógica. (Complementaridade e Valência)». Revista da Faculdade de Letras da Universidade de Lisboa, XIII: 2, 2ª série, pp. 9 - 17.
CURVELO, Edmundo (1947). Os Paradoxos de Mestre Xis. Paradoxos Lógico-Matemáticos. (Desenhos de Noémia Cruz.) Lisboa.
CURVELO, Edmundo (1948). «Principia Logicalia. I. Noções e Sistemas da Lógica Elementar Encarados de Ponto de Vista Superior». Revista da Faculdade de Letras da Universidade de Lisboa, 2ª série, XIV: 2, pp. 20 - 61.
CURVELO, Edmundo (1948). «Principia Logicalia. II. Estruturas Lógicas». Revista da Faculdade de Letras da Universidade de Lisboa, 2ª série, XIV: 3, pp. 49 - 134.
CURVELO, Edmundo (1948). «Quaestiones Logicales. I. Do Substantivo, do Adjectivo e, em geral, da Lógica e da Gramática». Revista da Faculdade de Letras da Universidade de Lisboa, XIV: 2, 2ª série, pp. 117 - 125.
CURVELO, Edmundo (1948). «Quaestiones Logicales. II. Sur l'invariance logique». Revista da Faculdade de Letras da Universidade de Lisboa, 2ª série, XIV: 3, pp. 219 - 223.
CURVELO, Edmundo (1949). «Prefácio a História do Neo-Realismo Americano, por William P. Montague». Coimbra: Atlântida, XLVI pp.
CURVELO, Edmundo (1950). «Questiones logicales. III. Pour la théorie des systèmes logiques de transformation duale». Revista da Faculdade de Letras da Universidade de Lisboa, XVI: 3, 2ª série, pp. 149 - 166.
CURVELO, Edmundo (1950). «Problemática Filosófica da Probabilidade». In XIII Congresso Luso-Espanhol para o Progresso das Ciências. Tomo VII, 6ª Secção: Ciências Filosóficas e Teológicas. Lisboa, pp. 195 - 206.
CURVELO, Edmundo (1950). «Opuscula Psychologica. I. Da teoria e da prática da psicotécnica». Boletim do Instituto de Orientação Profissional, 3ª Série, nº 1, pp. 85 - 122.
CURVELO, Edmundo (1951). «Opuscula Psychologica. II. Fundamentação Epistemológica da Psicologia». Boletim do Instituto de Orientação Profissional, 3ª Série, nº 2, pp. 5 - 99.
CURVELO, Edmundo (1951). «Opuscula Psychologica. III. Teoria dos Factores». Boletim do Instituto de Orientação Profissional, 3ª Série, nº 2, pp. 100 - 148.
CURVELO, Edmundo (1951). «Questiones logicales. IV, Problemática filosófica da probabilidade». Revista da Faculdade de Letras da Universidade de Lisboa, XVII: 1, 2ª série, pp. 128 - 139.
CURVELO, Edmundo (1951). «Pour la Théorie des Systèmes de Transformation Duale». Actualités Scientifiques et Industrielles, nº 1134. Paris: Hermann.
CURVELO, Edmundo (1952). «Conhecimento Científico». Ciência. Revista dos Estudantes da Faculdade de Ciências de Lisboa, III: 6, pp. 1 - 7.
DURÃO, Paulo (1955). «Doutor Edmundo de Carvalho Curvelo. 1913-1954.» Boletim do Instituto de Orientação Profissional [Lisboa], 4ª série, nº 1, pp. 201 - 203.
GRAGA, Gustavo de (1958). «As técnicas de informação e o pensamento contemporâneo». Filosofia, 5, sep. 15 pp.
FREITAS, A. César de (1966). Introdução à Álgebra de Boole e Aplicações Técnicas. Lisboa: Instituto de Alta Cultura/Centro de Estudos Matemáticos de Lisboa, 62 pp.
GABBAY, D., e GUENTHNER, F. (eds.)(1983). Handbook of Philosophical Logic. Vol. 1, Elements of Classical Logic. Dordrecht: D. Reidel, 493 pp.
GABBAY, D., e GUENTHNER, F. (eds.)(1984). Handbook of Philosophical Logic. Vol. 2, Extensions of Classical Logic. Dordrecht: D. Reidel, 776 pp.
GABBAY, D., e GUENTHNER, F. (eds.)(1986). Handbook of Philosophical Logic. Vol. 3, Alternatives to Classical Logic. Dordrecht: D. Reidel, 520 pp.
GABBAY, D., e GUENTHNER, F. (eds.)(1989). Handbook of Philosophical Logic. Vol. 4, Topics in the Philosophy of Language. Dordrecht: D. Reidel, 717 pp.
GIL, Fernando (1977-78). «O Pensamento Categorial: das simetrias às contradições». Filosofia e Epistemologia, pp. 149 - 208.
GIL, Fernando (1979). Provas. Lisboa: Imprensa Nacional Casa da Moeda, 208 pp.
GIL, Fernando (1984). Mimésis e Negação. Lisboa: Imprensa Nacional Casa da Moeda, 520 pp.
GODINHO, Vitorino Magalhães (1940). Razão e História. Introdução a Um Problema. Lisboa: s.e., 166 pp. [Reimpr. in Godinho (1971, pp. 4-131).]
GODINHO, Vitorino Magalhães (s/d[1943]). Esboços sobre alguns problemas da lógica. (Col. Universitas, 9). Coimbra: Coimbra Editora, 135 pp.
GODINHO, Vitorino Magalhães (1971). Ensaios IV, Humanismo Científico e Reflexão Filosófica. Lisboa: Livraria Sá da Costa Editora, 270 pp.
GOMES, Alfredo Pereira (1946). «Introdução ao estudo duma noção funcional em espaços sem pontos». Portugaliae Mathematica, 5.
GOMES, Ruy Luís e REAL, Luís Neves (1955). «De Poincaré ao intuicionismo actual na crítica dos fundamentos da matemática; reflexos no pensamento filosófico e matemático português». Revista Portuguesa de Filosofia, XII (Actas do I Congresso Nacional de Filosofia, Braga, 1955), vol. II, fasc. 3-4, pp. 233-255.
GOMES, Ruy Luís e REAL, Luís Neves (1995). «De Poincaré ao intuicionismo actual na crítica dos fundamentos da matemática; reflexos no pensamento filosófico e matemático português». In ALMEIDA, P. A.; FERREIRA, José M.; e OLIVEIRA, A. J. Franco de (eds.)(1989). Colóquio de Lógica Matemática à Memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, pp. 61-67.
GONÇALVES, J. Vicente (1964). «Elogio Histórico de Pedro José da Cunha». Memórias da Academia de Ciências de Lisboa (Classe de Ciências), IX, 21 pp.
GUETMANOVA, Alexandra (1989). Lógica. Trad. José Milhazes Pinto. Moscovo: Progresso, 349 pp.
LEITE, Manuel da Costa (1991). «Sobre as Lógicas do Tempo». Análise, 15, pp. 133 - 142.
LOPES, Óscar (1944). «Preliminares de uma gramática». Gazeta de Filosofia, 3.
LOPES, Óscar (1958). «Lógica gramatical». Labor.
LOPES, Óscar (1958). «Lógica simbólica». Labor.
LOURENÇO, M. S. (ed.)(1979). O Teorema de Gödel e a Hipótese do Contínuo. Lisboa: Fundação Calouste Gulbenkian, 900 pp.
LOURENÇO, M. S. (1985). «O contorno do conceito de identidade na teoria clássica da dedução». Revista da Faculdade de Letras, 5ª série, 4, pp. 107-116.
LOURENÇO, M. S. (1964). «Sobre o ensino de lógica no liceu». O Tempo e o Modo, 15, pp. 52-55.
LOURENÇO, M. S. (1991). Teoria Clássica da Dedução. Lisboa: Assírio e Alvim, 315 pp.
MACHADO, Armando (1975). Lógica para Matemáticos. Lisboa: CMAF.
MONTEIRO, Aniceto Ribeiro; e PAULO, José da Silva (1945). Aritmética Racional. Lisboa: Livraria Avelar Machado.
MONTEIRO, A. (1941). «La notion de fermeture et les axiomes de separation». An Fac Cienc Porto, 26, pp. 193-203.[Reimpr. in Portugaliae Mathematica, 2 (1941), pp. 290-298.]
MONTEIRO, A. (1941). «Les ensembles fermes et les fondements de la topologie». Portugaliae Mathematica, 2, pp. 56-66.
MONTEIRO, A. (1955). «Axiomes independants pour les algebres de Boruwer». Rev Union Mat Argentina, 17, pp. 149-160.
MONTEIRO, A. (1960). «Matrices de Morgan characteristiques pour le calcul propositionnel classique». Anais Acad. Bras. Cienc, 32, pp. 1-7.
MONTEIRO, A. (1962). «Linearisation de la logique positive de Hilbert-Bernays». Rev Union Mat Argentina, 20, pp. 308-309.
MONTEIRO, A. (1965). «Generalisation d'un theorème de R. Sikorski sur les algèbres de Boole». Bull. Sci. Math., ser. 2, 89, pp. 65-74. [Reimpr. in Notas Logica Mat. 10 (1974), 10 pp.]
MONTEIRO, A. (1974). «Matrices de Morgan caracteristiques pour le calcul propositionnel classique». Notas Logica Mat, 6, 7 pp.
MONTEIRO, A. (1974). «L'arithmetique des filtres et les espaces topologiques I». Notas Logica Mat, 29, 114 pp.
MONTEIRO, A. (1974). «L'arithmetique des filtres et les espaces topologiques II». Notas Logica Mat, 30, pp. 126-162.
MORGADO, José (1989). «Hugo Baptista Ribeiro: matemático português que só pôde ensinar numa universidade portuguesa depois do 25 de Abril». Boletim da Sociedade Portuguesa de Matemática, 12, Março, pp. 31-42.
MORGADO, José (1995). Para a História da Sociedade Portuguesa de Matemática. Coimbra: DM-UC, 90 pp.
MORUJÃO, Alexandre Fradique (1989). «BARBOSA (Arnaldo Casimiro de Miranda)». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 1. Lisboa: Verbo, coll. 600-603.
MORUJÃO, Alexandre Fradique (1991). «Lógica». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 3. Lisboa: Verbo, coll. 444-457.
MORUJÃO, Alexandre Fradique (1991). «Lógica dialéctica». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 3. Lisboa: Verbo, coll. 457-459.
MORUJÃO, Alexandre Fradique (1991). «Logicismo». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 3. Lisboa: Verbo, coll. 474-475.
MÜLLER, Gert H., in collaboration with Wolfgang Lenski (ed.)(1987). O-Bibliography of Mathematical Logic. Vol. I, Classical Logic, edited by Wolfgang Rautenberg. Berlin: Springer-Verlag, 485 pp.
MÜLLER, Gert H., in collaboration with Wolfgang Lenski (ed.)(1987). O-Bibliography of Mathematical Logic. Vol. II, Non-Classical Logics, edited by Wolfgang Rautenberg. Berlin: Springer-Verlag, 469 pp.
MÜLLER, Gert H., in collaboration with Wolfgang Lenski (ed.)(1987). O-Bibliography of Mathematical Logic. Vol. III, Model Theory, edited by Heinz-Dieter Ebbinghaus. Berlin: Springer-Verlag, 617 pp.
MÜLLER, Gert H., in collaboration with Wolfgang Lenski (ed.)(1987). O-Bibliography of Mathematical Logic. Vol. IV, Recursion Theory, edited by Peter G. Hinman. Berlin: Springer-Verlag, 697 pp.
MÜLLER, Gert H., in collaboration with Wolfgang Lenski (ed.)(1987). O-Bibliography of Mathematical Logic. Vol. V, Set Theory, edited by Andreas R. Blass. Berlin: Springer-Verlag, 791 pp.
MÜLLER, Gert H., in collaboration with Wolfgang Lenski (ed.)(1987). O-Bibliography of Mathematical Logic. Vol. VI, Proof Theory. Constructive Mathematics, edited by Jane E. Kister, Dirk van Dalen and Anne S. Trolstra. Berlin: Springer-Verlag.
NAMORADO, Egídio (1945). A Escola de Viena e Alguns Problemas do Conhecimento. Coimbra: Atlântida, 127 pp.
NAMORADO, Egídio (1946). «Permanência, devir e lógica». Seara Nova, 987, 13-7-46, pp. 171-173; 988, 20-7-46, pp. 189-190.
NETO, A. L. Machado (1970). «A lógica deôntica de Kelsen e Cossio. (A norma e o imperativo». Scientia Ivridica [Braga, Livraria Cruz], XIX, 107, pp. 3-12.
OLIVEIRA, A. J. Franco de (1967-68). Alguns Aspectos da Lógica Moderna e suas Aplicações à Teoria de Modelos e à Análise Não-standard. Lisboa: s. n. 183 pp.
OLIVEIRA, A. J. Franco de (1980). Lógica Elementar. Lisboa: AEFCL.
OLIVEIRA, A. J. Franco de (1982). Teoria dos Conjuntos, Intuitiva e Axiomática (ZFC). Lisboa: Escolar Editora.
OLIVEIRA, A. J. Franco de (1985). Lógica e Fundamentos I. Linguagens, Estruturas e Teorias Elementares. («Textos e Notas do CMAF», 31). Lisboa: CMAF, 133 pp.
OLIVEIRA, A. J. Franco de (1986). Lógica e Fundamentos II. Computabilidade, Incompletude e Indecidibilidade. («Textos e Notas do CMAF», 33). Lisboa: CMAF.
OLIVEIRA, Augusto José Franco de (1989). Fundamentos da Matemática Não-Standard e Aplicações Lógica-Matemáticas. [Tese de doutoramento em Matemática, especialidade de Álgebra, Lógica e Fundamentos, apresentada à Faculdade de Ciências da Universidade de Lisboa]. Lisboa: s.e., 183 pp.
OLIVEIRA, A. J. Franco de (1989). «A lógica de pendor científico». In P. A. Almeida, José M. Ferreira e A. J. Franco de Oliveira, eds., Colóquio de Lógica Matemática à memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, pp. 71-72.
OLIVEIRA, A. J. Franco de (1989). «Obra lógica de Sebastião e Silva». In P. A. Almeida, José M. Ferreira e A. J. Franco de Oliveira, eds., Colóquio de Lógica Matemática à memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, p. 111.
OLIVEIRA, A. J. Franco de (1989). «Aspectos lógicos e formativos do ensino da matemática». In P. A. Almeida, José M. Ferreira e A. J. Franco de Oliveira, eds., Colóquio de Lógica Matemática à memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, pp. 181-184. [1ª ed., Ensino da Matemática, Anos 80. Actas do Colóquio de Homenagem a José Sebastião e Silva. Lisboa: Sociedade Portuguesa de Matemática, 1982.]
OLIVEIRA, A. J. Franco de (1989). «O que é a lógica matemática?». In P. A. Almeida, José M. Ferreira e A. J. Franco de Oliveira, eds., Colóquio de Lógica Matemática à memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, pp. 185-196. [de Lógica Elementar (Introdução à Lógica Matemática, Associação de Estudantes da Faculdade de Ciências de Lisboa, 1979-80, pp.]
OLIVEIRA, A. J. Franco de (1990). O Advento da Matemática Não-Standard. Monografias da Sociedade Paranaense de Matemática, 8.
OLIVEIRA, Augusto J. Franco de (1991). Lógica e Aritmética. Uma Introdução Informal aos Métodos Formais. Lisboa: Gradiva, 204 pp.
PETITOT, Jean (1988). «Centrado/acentrado.» In Ruggiero Romano, ed., Enciclopédia Einaudi. Vol. 13, Lógica-Combinatória. Lisboa: Imprensa Nacional Casa da Moeda, pp. 336 - 394.
PINHO, Clemente Segundo (1973). «Lógica e pensamento formal». Ocidente, 84, pp. 81-87.
POMBO, Olga (1997). Leibniz e o Problema de uma Língua Universal. Lisboa: Junta Nacional de Investigação Científica e Tecnológica, 320 pp.
PORTELA, António Gouvêa (1957). «Lógica simbólica». Técnica. Revista de Engenharia dos Alunos do I. S. T., sep. 42 pp.
REALE, Miguel (1989). «COSTA (Newton C. A. da)». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 3. Lisboa: Verbo, coll. 1203-1204.
RIBEIRO, Hugo (1941). «Caracterisations des espaces reguliers normaux et completement normaux au moyen de l'operation de derivation». Portugaliae Mathematica, 2, pp. 13-19.
RIBEIRO, Hugo (1941). «La coherence d'un ensemble et les ensembles denses en soi». Portugaliae Mathematica, 2, pp. 67-76.
RIBEIRO, Hugo (1941). «Une extension de la notion de convergence». Portugaliae Mathematica, 2, pp. 153-161.
RIBEIRO, Hugo (1951). «On the universal completeness of classes of relational systems». Arch Math Logik Grundlagenforsch, 5, pp. 90-95.
RIBEIRO, Hugo (1956). «The notion of universal completeness». Portugaliae Mathematica, 15, pp. 83-86.
RIBEIRO, Hugo (1957). «Universal completeness». Summer Inst. Symb Log, 1957, Ithaca, pp. 81-82.
RIBEIRO, Hugo, e SCHWABAUER, R. (1965). «A remark on equational completeness». Arch Math Logik Grundlagenforsch, 7, pp. 122-123.
RIBEIRO, Hugo (1969). «Linguagens elementares e estruturas matemáticas». Gazeta de Matemática [Lisboa], 30: 113-116, pp. 1-8.
RIBEIRO, Hugo (1988). «Curriculum vitae de Hugo Baptista Ribeiro». Boletim da Sociedade Portuguesa de Matemática, 11, Dezembro, pp. 18-20.
RIBEIRO, Hugo Baptista (1989). «Linguagens elementares e estruturas matemáticas (breve iniciação)». In P. A. Almeida, José M. Ferreira e A. J. Franco de Oliveira, eds., Colóquio de Lógica Matemática à memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, pp. 160-165. [Gazeta de Matemática, 113-116, pp. 1-8.]
RIBEIRO, João Mário Salvado (1954). «Cibernética e máquinas pensantes». Esmeraldo, I, pp. 32-43.
ROCHA, Filipe (1974). «Modelaçäo cibernética e analogia tomista». Revista Portuguesa de Filosofia, 30, pp. 163 - 184.
ROCHA, Filipe (1975). «Humanismo cibernético». Revista Portuguesa de Filosofia, 31: 1, pp. 68 - 85.
ROCHA, Filipe (1976). Cibernética e Liberdade. A Maneira Nova de Pensar o Homem? Braga: Faculdade de Filosofia, 368 pp.
ROCHA, Filipe (1982). «A racionalidade da cibernética». Revista Portuguesa de Filosofia, , pp. 343 - 354.
SALAZAR, Abel (1937). «O Pensamento Positivo Contemporâneo. A Crise das Matemáticas e das Lógicas». O Diabo [Lisboa], 4: 158, p. 4.
SALAZAR, Abel (1938). «O Pensamento Positivo Contemporâneo. Rudolfo Carnap. A Lógica Simbólica. A Logica das Relações. As Antinomias Lógicas». O Diabo [Lisboa], 4: 193, p. 5.
SANTOS, Alexandre Júlio Teixeira dos, et al. (1988). «Temporal Logic and Concurrent Logic Programming in Protocol Specifications.» In Research into Networks and Distributed Applications. Amsterdam: Elsevier, pp. 939 - 951.
SANTOS, Délio Nobre dos (1946). «Nota sobre as condições dos postulados em qualquer teoria dedutiva e a noção de evidência». Revista da Faculdade de Letras, 2ª série, 12: 1-2, pp. 87-96.
SANTOS, Délio Nobre dos (1950). «Lógica e tautologia». In XIII Congresso Luso-Espanhol para o Progresso das Ciências, tomo 7, pp. 173-179.
SANTOS, Délio Nobre dos (1959). «Pensée refléxive et ordre des raisons». Revista da Faculdade de Letras, 3, pp. 5-10.
SERRA, José Antunes (1959). «Da dialéctica e cibernética em relação ao real e ao factual». Vértice, 90-91, pp. 402-406.
SILVA, José Sebastião e (1941). «A lógica matemática e o ensino médio, I, II e III». Gazeta de Matemática, 5, 6 e 7.
SILVA, José Sebastião e (1947). «Sobre o cálculo simbólico». Gazeta de Matemática [Lisboa], 31, 32, 33.
SILVA, José Sebastião e (1958). «Sobre o cálculo simbólico geral para n elementos de uma álgebra topológica». [Comunicação enviada ao Congresso Luso-Espanhol de 1958.]
SILVA, José Sebastião e (1950). «Filósofos e Matemáticos». Ciência. Revista da Associação de Estudantes da Faculdade de Ciências de Lisboa, vol. 1, ano 3, nº 3, pp. 16-19.
SILVA, José Sebastião e (1959). «Introdução à lógica simbólica e aos fundamentos da matemática.» Palestra, 6, pp. 12 - 74 [sep. de 65 pp.]
SILVA, José Sebastião e Silva (1959). «Aspectos modernos do cálculo simbólico; suas relações com a física e a técnica». [Comunicação à Academia das Ciências de Lisboa]
SILVA, José Sebastião e (1985). «On Automorphisms of Arbitrary Mathematical Systems». [Trans. by A. J. Franco de Oliveira.] History and Philosophy of Logic, 6, pp. 91-116
SILVA, José Sebastião e (1982-3). Obras de José Sebastião e Silva. 3 vols. Lisboa: INIC.
SILVA, José Sebastião e (1989). «Sur l'introduction des mathématiques modernes dans l'enseignement secondaire». In P. A. Almeida, José M. Ferreira e A. J. Franco de Oliveira, eds., Colóquio de Lógica Matemática à memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, pp. 119-121. [Gazeta de Matemática, 88-9, 1962.]
SILVA, José Sebastião e (1989). «A lógica matemática e o ensino médio». In P. A. Almeida, José M. Ferreira e A. J. Franco de Oliveira, eds., Colóquio de Lógica Matemática à memória de Hugo Ribeiro. Textos sobre Lógica em Portugal. (27-29 de Abril, Lisboa, Instituto Superior Técnico). Lisboa: Sociedade Portuguesa de Matemática, pp. 122-129. [Gazeta de Matemática, 5, 6 e 7, 1941.]
SILVA, Lúcio Craveiro da (1989). «ALVES (Victorino de Sousa)». In Logos. Enciclopédia Luso-Brasileira de Filosofia, vol. 1. Lisboa: Verbo, col. 203.
SILVA, Manuel Lopes da (1968). «A inteligência artificial». Rumo, 7, sep. 9 pp.
SILVA, Manuel Lopes da (1968). «A matematização das ciências do homem e da natureza». Rumo, 12: 139-140, pp. 184-195.
SOVERAL, Eduardo Abranches do (1997). «Algumas notas sobre a génese do pensamento de Miranda Barbosa». In Alexandre Fradique Morujão et al., Introdução ao Pensamento Filosófico de A. Miranda Barbosa. Lisboa: Imprensa Nacional-Casa da Moeda, pp. 37-70.
TORRES, Raúl da Costa (1953). Tratado da Lógica, I. Lisboa: edição do autor, 277 pp.
TORRES, Raúl da Costa (1954). Logística. Notas e Comentários em Defesa da Lógica Clássica. Lisboa: edição do autor, 118 pp.

José Manuel Curado
(Universidade do Minho: [email protected])