Conservative translations HA Feitosa, IML D'Ottaviano Annals of Pure and Applied Logic 108 (1-3), 205-227, 2001 | 78 | 2001 |
Um prelúdio à lógica H de Araújo Feitosa Unesp, 2005 | 69 | 2005 |
Paraconsistent logics and translations IML D’Ottaviano, HA Feitosa Synthese 125, 77-95, 2000 | 30 | 2000 |
As álgebras dos operadores de conseqüência MC do NASCIMENTO, H de Araújo Feitosa Rev. Mat. Estat 23 (1), 19-30, 2005 | 22 | 2005 |
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, 2003 | 21 | 2003 |
Traduções conservativas H Feitosa PhD thesis, Universidade Federal de Campinas, Instituto de Filosofia e …, 1997 | 20 | 1997 |
Deductive systems and translations IML D’Ottaviano, HA FEITOSA, JY Béziau, A Costa-Leite Perspectives on universal logic. Polimetrica International Scientific …, 2007 | 18 | 2007 |
Many-valued logics and translations ÍM Loffredo D'Ottaviano, H de Araujo Feitosa Journal of Applied Non-Classical Logics 9 (1), 121-140, 1999 | 18 | 1999 |
Traduções conservativas (Conservative translations) HA Feitosa Portuguese. Ph. D Thesis, IFCH, State University of Campinas, 1997 | 15 | 1997 |
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 | 13 | 2003 |
Teoria dos conjuntos: sobre a fundamentação matemática e a construção de conjuntos numéricos HA FEITOSA, MC NASCIMENTO, AB ALFoNSo Rio de Janeiro: Ciência Moderna, 2011 | 12 | 2011 |
Logic TK: Algebraic Notions from Tarski´ s Consequence Operator H de Araújo Feitosa, MC do Nascimento, MCC Grácio Principia: an international journal of epistemology 14 (1), 47-70, 2010 | 11 | 2010 |
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 | 9 | 2011 |
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 | 9 | 2009 |
TRANSLATING FROM ŁUKASIEWICZ’S LOGICS INTO CLASSICAL LOGIC: IS IT POSSIBLE? IML D’Ottaviano, HA Feitosa Essays in Logic and Ontology, 157-168, 2007 | 9 | 2007 |
Conservative translations and model-theoretic translations IML D’Ottaviano, H de Araujo Feitosa Manuscrito: Revista Internacional de Filosofia 22 (2), 117-132, 1999 | 9 | 1999 |
Estruturas algébricas MC NASCIMENTO, HA FEITOSA São Paulo: Cultura Acadêmica, 2013 | 8 | 2013 |
The quasi-lattice of indiscernible elements M Cunha do Nascimento, D Krause, H de Araújo Feitosa Studia Logica 97 (1), 101-126, 2011 | 8 | 2011 |
Uma nova abordagem para a noção de quase-verdade L Silverstrini Campinas: UNICAMP, 2011 | 8 | 2011 |
Elementos da teoria dos números MC NASCIMENTO, HA FEITOSA São Paulo: Cultura, 2009 | 8 | 2009 |