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
632001
Um prelúdio à lógica
H de Araújo Feitosa
Unesp, 2005
542005
Paraconsistent logics and translations
IML D’Ottaviano, H de Araújo Feitosa
Synthese 125 (1), 77-95, 2000
272000
Traduções conservativas
HA Feitosa
[sn], 1997
211997
As álgebras dos operadores de conseqüência
MC do NASCIMENTO, H de Araújo Feitosa
Rev. Mat. Estat 23 (1), 19-30, 2005
162005
Many-valued logics and translations
ÍM Loffredo D'Ottaviano, H de Araujo Feitosa
Journal of Applied Non-classical Logics 9 (1), 121-140, 1999
161999
Deductive systems and translations
IML D’Ottaviano, HA FEITOSA, JY Béziau, A Costa-Leite
Perspectives on universal logic 1, 125-157, 2007
152007
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
142009
Traduçoes conservativas (Conservative translations)
HA Feitosa
Campinas: Tese (Doutorado em Lógica e Filosofia da Ciência)-Instituto de …, 1997
131997
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. Rio Claro: Sociedade …, 2003
112003
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-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
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
82011
Logic TK: algebric notions from Tarski's consequence operator
HA Feitosa, MC Nascimento, MCC Grácio
Principia, 47-70, 2010
82010
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, JY Beziau
Universal Logic: An Anthology, Birkhäuser, Basel, 71-88, 2012
72012
Elementos da Teoria de Números
MC NASCIMENTO, HA FEITOSA
Sao Paulo: Cultura Acadêmica, 2009
72009
Algebraic elements for the notion of'many'
HA Feitosa, MC Nascimento, MCC Grácio
CLE e-Prints 9 (1), 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20