Algebraic foundations of many-valued reasoning RL Cignoli, IM d'Ottaviano, D Mundici Springer Science & Business Media, 2013 | 2125 | 2013 |
The completeness and compactness of a three-valued first-order logic IML D'Ottaviano Revista colombiana de matematicas, 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 | 95 | 1990 |
Paraconsistency: The logical way to the inconsistent WA Carnielli, M Coniglio, IML D'ottaviano CRC Press, 2002 | 83 | 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 DOTTAVIANO Auto-organização: estudos interdisciplinares. Campinas: UNICAMP, Centro de
, 2000 | 75 | 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 DOttaviano Logica Universalis 3, 1-18, 2009 | 47 | 2009 |
Algebraic foundations of many-valued reasoning, ser RLO Cignoli, IML DOttaviano, D Mundici Trends in LogicStudia Logica Library. Dordrecht: Kluwer Academic Publishers 7, 2000 | 34 | 2000 |
Paraconsistent logics and translations IML DOttaviano, HA Feitosa Synthese 125, 77-95, 2000 | 30 | 2000 |
Auto-organização e criação IML DOTTAVIANO, 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 DOttaviano, JWM Bassani Medical & biological engineering & computing 50, 395-402, 2012 | 27 | 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 | 25 | 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 DOttaviano 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 DOTTAVIANO, 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 DOttaviano Século XIX: o nascimento da ciência contemporânea 11, 65-93, 1992 | 21 | 1992 |
Auto-organização: estudos interdisciplinares IML DOTTAVIANO, MEQ González Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 2000 | 20 | 2000 |