Algebraic foundations of many-valued reasoning RL Cignoli, IM d'Ottaviano, D Mundici Springer Science & Business Media, 2013 | 2109 | 2013 |
The completeness and compactness of a three-valued first-order logic IML D'Ottaviano Revista colombiana de matematicas 19 (1-2), 77-94, 1985 | 104 | 1985 |
On the development of paraconsistent logic and da Costa's work IM LOFFREDO D'OTTAVIANO Journal (The) of Non-classical Logic 7 (1-2), 89-152, 1990 | 94 | 1990 |
Paraconsistency: The logical way to the inconsistent WA Carnielli, M Coniglio, IML D'ottaviano CRC Press, 2002 | 81 | 2002 |
Conservative translations HA Feitosa, IML D'Ottaviano Annals of Pure and Applied Logic 108 (1-3), 205-227, 2001 | 79 | 2001 |
Conceitos básicos de sistêmica E BRESCIANI FILHO, IML D’OTTAVIANO Auto-organização: estudos interdisciplinares. Campinas: UNICAMP, Centro de …, 2000 | 74 | 2000 |
Translations between logics JJ Da Silva, IML D'Ottaviano, AM Sette Models, Algebras, and Proofs, 435-448, 2021 | 65 | 2021 |
Algebras das logicas de Łukasiewicz RLO Cignoli, IML D'Ottaviano, D Mundici Centro de Lógica, Epistemologia e História da Ciência, 1994 | 64 | 1994 |
TRANSLATIONS BETWEEN LOGICAL SYSTEMS:" A MANIFESTO" WA Carnielli, IML D'OTTAVIANO Logique et Analyse, 67-81, 1997 | 53 | 1997 |
New dimensions on translations between logics WA Carnielli, ME Coniglio, IML D’Ottaviano Logica Universalis 3, 1-18, 2009 | 47 | 2009 |
Algebraic foundations of many-valued reasoning, ser RLO Cignoli, IML D’Ottaviano, D Mundici Trends in Logic—Studia Logica Library. Dordrecht: Kluwer Academic Publishers 7, 2000 | 34 | 2000 |
Paraconsistent logics and translations IML D’Ottaviano, HA Feitosa Synthese 125, 77-95, 2000 | 30 | 2000 |
Auto-organização e criação IML D’OTTAVIANO, E BRESCIANI FILHO MultiCiência 3, 1-23, 2004 | 29 | 2004 |
Medical equipment classification: method and decision-making support based on paraconsistent annotated logic NF Oshiyama, RA Bassani, IML D’Ottaviano, JWM Bassani Medical & biological engineering & computing 50, 395-402, 2012 | 26 | 2012 |
Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa EL Gomes, IML D'Ottaviano Editora da Unicamp, 2017 | 24 | 2017 |
Definability and Quantifier Elimination for J 3-theories ÍML D'Ottaviano Studia Logica 46, 37-54, 1987 | 24 | 1987 |
The model extension theorems for Л3-theories IML D’Ottaviano Methods in Mathematical Logic: Proceedings of the 6th Latin American …, 2006 | 23 | 2006 |
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 | 21 | 2009 |
A lógica clássica e o surgimento das lógicas não-clássicas IML D’Ottaviano Século XIX: o nascimento da ciência contemporânea 11, 65-93, 1992 | 21 | 1992 |
Auto-organização: estudos interdisciplinares IML D’OTTAVIANO, MEQ González Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 2000 | 20 | 2000 |