Hercules de Araujo Feitosa
Hercules de Araujo Feitosa
Professor de Matemática e Filosofia, Universidade Estadual Paulista
Verified email at fc.unesp.br
Title
Cited by
Cited by
Year
Conservative translations
HA Feitosa, IML D'Ottaviano
Annals of pure and applied logic 108 (1-3), 205-227, 2001
612001
Um prelúdio à lógica
H de Araújo Feitosa
Unesp, 2005
532005
Paraconsistent logics and translations
IML D’Ottaviano, H de Araújo Feitosa
Synthese 125 (1-2), 77-95, 2000
262000
Traduções conservativas
HA Feitosa
[sn], 1997
191997
Many-valued logics and translations
ÍM Loffredo D'Ottaviano, H de Araujo Feitosa
Journal of Applied Non-classical Logics 9 (1), 121-140, 1999
151999
As álgebras dos operadores de conseqüência
MC do NASCIMENTO, H de Araújo Feitosa
Rev. Mat. Estat 23 (1), 19-30, 2005
142005
Deductive systems and translations
IML D’Ottaviano, HA FEITOSA, JY Béziau, A Costa-Leite
Perspectives on universal logic 1, 125-157, 2007
132007
Traduçoes conservativas (Conservative translations)
HA Feitosa
Campinas: Tese (Doutorado em Lógica e Filosofia da Ciência)-Instituto de …, 1997
131997
Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não clássicas
ÍML D’OTTAVIANO, HA FEITOSA
122009
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
112003
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: Editora Ciência Moderna Ltda, 2011
92011
A propositional version of the logic of the plausible
HA Feitosa, MC NASCIMENTO, MCC Grácio
Anais do V Simpósio Internacional Principia. Dutra, LH de A. e Mortari, CA …, 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-Theory Translations
IML D'Ottaviano, HA Feitosa
Manuscrito: revista internacional de filosofía 22 (2), 117-132, 1999
91999
Estruturas algébricas
MC NASCIMENTO, HA FEITOSA
São Paulo: Cultura Acadêmica, 2013
82013
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
On Gödel’s modal interpretation of the intuitionistic logic
IML D’Ottaviano, HA Feitosa
Universal Logic: An Anthology, Birkhäuser, Basel, 71-88, 2012
72012
Logic TK: algebric notions from Tarski's consequence operator
HA Feitosa, MC Nascimento, MCC Grácio
Principia, 47-70, 2010
72010
Elementos da Teoria de Números
MC NASCIMENTO, HA FEITOSA
Sao Paulo: Cultura Acadêmica, 2009
72009
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 …, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20