Conservative translations HA Feitosa, IML D'Ottaviano Annals of Pure and Applied Logic 108 (1-3), 205-227, 2001 | 79 | 2001 |
Um prelúdio à lógica H de Araújo Feitosa Unesp, 2005 | 69 | 2005 |
Paraconsistent logics and translations IML DOttaviano, HA Feitosa Synthese 125, 77-95, 2000 | 30 | 2000 |
Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não clássicas IML DOTTAVIANO, HA FEITOSA Página Educacional do Cle, 1-34, 2009 | 21 | 2009 |
As álgebras dos operadores de conseqüência MC do NASCIMENTO, H de Araújo Feitosa Rev. Mat. Estat 23 (1), 19-30, 2005 | 21 | 2005 |
Traduções conservativas HA Feitosa [sn], 1997 | 20 | 1997 |
Deductive systems and translations IML DOttaviano, 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 DOTTAVIANO, HA FEITOSA Coleção História da Matemática para Professores. Rio Claro: Sociedade
, 2003 | 14 | 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 | 11 | 2011 |
Logic TK: algebric notions from Tarski's consequence operator HA Feitosa, MC Nascimento, MCC Grácio Principia, 47-70, 2010 | 11 | 2010 |
Estruturas algébricas MC NASCIMENTO, HA FEITOSA São Paulo: Cultura Acadêmica, 2013 | 9 | 2013 |
Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não-clássicas. 2003 IML DOTTAVIANO, 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 ŁUKASIEWICZS LOGICS INTO CLASSICAL LOGIC: IS IT POSSIBLE? IML DOttaviano, HA Feitosa Essays in Logic and Ontology, 157-168, 2007 | 9 | 2007 |
Conservative translations and model-theoretic translations IML DOttaviano, H de Araujo Feitosa Manuscrito: Revista Internacional de Filosofia 22 (2), 117-132, 1999 | 9 | 1999 |
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 |
A propositional logic for Tarskis consequence operator HA Feitosa, MCC Grácio, MC Nascimento Campinas: CLE E-prints 7 (1), 1-13, 2007 | 8 | 2007 |
Incompletude e Auto-organização: sobre a determinação de verdades lógicas e matemáticas RP Tassinari [sn], 2003 | 8 | 2003 |