Seguir
Hercules de Araujo Feitosa
Hercules de Araujo Feitosa
Professor de Matemática e Filosofia, Universidade Estadual Paulista
E-mail confirmado em unesp.br
Título
Citado por
Citado por
Ano
Conservative translations
HA Feitosa, IML D'Ottaviano
Annals of Pure and Applied Logic 108 (1-3), 205-227, 2001
742001
Um prelúdio à lógica
H de Araújo Feitosa
Unesp, 2005
662005
Paraconsistent logics and translations
IML D’Ottaviano, HA Feitosa
Synthese 125, 77-95, 2000
302000
As álgebras dos operadores de conseqüência
MC Nascimento, HA Feitosa
São Paulo: Revista de Matemática e Estatística 23 (1), 19-30, 2005
212005
Traduções conservativas
HA Feitosa
[sn], 1997
201997
Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não clássicas
IML D’OTTAVIANO, HA FEITOSA
Página Educacional do Cle, 1-34, 2009
192009
Many-valued logics and translations
ÍM Loffredo D'Ottaviano, H de Araujo Feitosa
Journal of Applied Non-Classical Logics 9 (1), 121-140, 1999
181999
Deductive systems and translations
IML D’Ottaviano, HA FEITOSA, JY Béziau, A Costa-Leite
Perspectives on universal logic. Polimetrica International Scientific …, 2007
172007
História da lógica e o surgimento das lógicas não-clássicas
IML D’OTTAVIANO, HA FEITOSA
Coleção História da Matemática para Professores, SBHM/UNESP 1, 01-66, 2003
142003
Traduções conservativas (Conservative translations)
HA Feitosa
Portuguese. Ph. D Thesis, IFCH, State University of Campinas, 1997
141997
Logic TK: algebric notions from Tarski's consequence operator
HA Feitosa, MC Nascimento, MCC Grácio
Principia, 47-70, 2010
112010
Teoria dos conjuntos: sobre a fundamentaçao matemática e a construçao de conjuntos numéricos
HA FEITOSA, MC NASCIMENTO, AB Alfonso
Rio de Janeiro: Ciência Moderna, 2011
102011
Estruturas algébricas
MC NASCIMENTO, HA FEITOSA
São Paulo: Cultura Acadêmica, 2013
92013
Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não-clássicas. 2003
IML D’OTTAVIANO, HA Feitosa
Disponível em:< ftp://ftp. cle. unicamp. br/pub/arquivos/educacional/ArtGT …, 2011
92011
A propositional version of the logic of the plausible
HA Feitosa, MC NASCIMENTO, MCC Grácio
Rumos da Epistemologia. Florianópolis: NEL/UFSC 9, 185-196, 2009
92009
TRANSLATING FROM ŁUKASIEWICZ’S LOGICS INTO CLASSICAL LOGIC: IS IT POSSIBLE?
IML D’Ottaviano, HA Feitosa
Essays in Logic and Ontology, 157-168, 2007
92007
Conservative translations and model-theoretic translations
IML D’Ottaviano, H de Araujo Feitosa
Manuscrito: Revista Internacional de Filosofia 22 (2), 117-132, 1999
91999
Elementos da teoria dos números
MC NASCIMENTO, HA FEITOSA
São Paulo: Cultura, 2009
82009
A propositional logic for Tarski’s consequence operator
HA Feitosa, MCC Grácio, MC Nascimento
Campinas: CLE E-prints 7 (1), 1-13, 2007
82007
Incompletude e auto-organização: sobre a determinação de verdades logicas e matemáticas
RP Tassinari
[sn], 2003
82003
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20