Follow
Itala Maria Loffredo D'Ottaviano
Itala Maria Loffredo D'Ottaviano
Verified email at cle.unicamp.br
Title
Cited by
Cited by
Year
Algebraic foundations of many-valued reasoning
RL Cignoli, IM d'Ottaviano, D Mundici
Springer Science & Business Media, 2013
20332013
The completeness and compactness of a three-valued first-order logic
IML D'Ottaviano
Revista colombiana de matematicas 19 (1-2), 77-94, 1985
1031985
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
881990
Conceitos básicos de sistêmica
E Bresciani Filho, IML D’OTTAVIANO
Auto-organização: estudos interdisciplinares. Campinas: UNICAMP, Centro de …, 2000
772000
Paraconsistency: The logical way to the inconsistent
WA Carnielli
CRC Press, 2002
742002
Conservative translations
HA Feitosa, IML D'Ottaviano
Annals of Pure and Applied Logic 108 (1-3), 205-227, 2001
742001
Translations between logics
JJ Da Silva, IML D'Ottaviano, AM Sette
Models, Algebras, and Proofs, 435-448, 2021
632021
Algebras das logicas de Łukasiewicz
RLO Cignoli, IML D'Ottaviano, D Mundici
Centro de Lógica, Epistemologia e História da Ciência, 1994
621994
TRANSLATIONS BETWEEN LOGICAL SYSTEMS:" A MANIFESTO"
WA Carnielli, IML D'OTTAVIANO
Logique et Analyse, 67-81, 1997
531997
New dimensions on translations between logics
WA Carnielli, ME Coniglio, IML D’Ottaviano
Logica Universalis 3, 1-18, 2009
472009
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
342000
Paraconsistent logics and translations
IML D’Ottaviano, HA Feitosa
Synthese 125, 77-95, 2000
302000
Auto-organização e criação
IML D’OTTAVIANO, E BRESCIANI FILHO
MultiCiência 3, 1-23, 2004
282004
Definability and Quantifier Elimination for J 3-theories
ÍML D'Ottaviano
Studia Logica 46, 37-54, 1987
241987
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
232012
The model extension theorems for Ë3-theories
IML D’Ottaviano
Methods in Mathematical Logic: Proceedings of the 6th Latin American …, 2006
222006
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
211992
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
202000
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
192017
Sobre Leibniz, Newton e infinitésimos, das origens do cálculo infinitesimal aos fundamentos do cálculo diferencial paraconsistente
TF de Carvalho, IML D’Ottaviano
Educação Matemática Pesquisa Revista do Programa de Estudos Pós-Graduados em …, 2006
192006
The system can't perform the operation now. Try again later.
Articles 1–20