Itala Maria Loffredo D'Ottaviano
Itala Maria Loffredo D'Ottaviano
E-mail confirmado em cle.unicamp.br
Título
Citado por
Citado por
Ano
Algebraic foundations of many-valued reasoning
RL Cignoli, IM d'Ottaviano, D Mundici
Springer Science & Business Media, 2013
18452013
The semantic foundations of logic
RL Epstein
The Semantic Foundations of Logic Volume 1: Propositional Logics, 315-321, 1990
318*1990
The completeness and compactness of a three-valued first-order logic
IML D'Ottaviano
Revista colombiana de matematicas 19 (1-2), 77-94, 1985
951985
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. Coleção CLE, 283-306, 2000
752000
Paraconsistency: The logical way to the inconsistent
WA Carnielli, M Coniglio, IML D'ottaviano
CRC Press, 2002
722002
Conservative translations
HA Feitosa, IML D'Ottaviano
Annals of Pure and Applied Logic 108 (1-3), 205-227, 2001
662001
Translations between logics
JJ da Silva, IML D’Ottaviano, AM Sette
Models, algebras and proofs 203, 435-448, 1999
591999
Algebraic foundations of many-valued reasoning, vol. 7 of
R Cignoli, IML D’Ottaviano, D Mundici
Trends in Logic—Studia Logica Library, 2000
532000
Algebras das logicas de Lukasiewicz
RLO Cignoli, IML D'Ottaviano, D Mundici
521994
TRANSLATIONS BETWEEN LOGICAL SYSTEMS:" A MANIFESTO"
WA Carnielli, IML D'OTTAVIANO
Logique et Analyse, 67-81, 1997
501997
New dimensions on translations between logics
WA Carnielli, ME Coniglio, IML D’ottaviano
Logica Universalis 3 (1), 1-18, 2009
452009
Auto-organização e criação
IML D’OTTAVIANO, E BRESCIANI FILHO
MultiCiência 3, 1-23, 2004
272004
Paraconsistent logics and translations
IML D’Ottaviano, H de Araújo Feitosa
Synthese 125 (1), 77-95, 2000
272000
OTTAVIANO IML-MUNDICI D
RD Cignoli
Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers …, 2000
242000
Hierarquia auto-organizada em sistemas biológicos
GM Souza, AG Manzatto
Auto-organização: Estudos interdisciplinares, 153-173, 2000
242000
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. Campinas: Unicamp/CLE, 65-93, 1992
221992
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
212000
The model extension theorems for Л3-theories
IML D’Ottaviano
Methods in Mathematical Logic, 157-173, 1985
191985
Definability and Quantifier Elimination for J 3-theories
ÍML D'Ottaviano
Studia Logica 46 (1), 37-54, 1987
181987
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20