Rede de Colaboração
Diretório de grupos de pesquisa

Itala Maria Loffredo D'Ottaviano
Bolsista de Produtividade em Pesquisa do CNPq - Nível 1A

possui graduação em Matemática pela Pontifícia Universidade Católica de Campinas (1966), graduação em - Conservatório Musical Carlos Gomes, Campinas (1960), mestrado em Matemática pela Universidade Estadual de Campinas (1974) e doutorado em Matemática pela Universidade Estadual de Campinas (1982). Atualmente é professor titular da Universidade Estadual de Campinas, colaborador - Journal of Symbolic Logic, assessor ad hoc da Fundação de Amparo à Pesquisa do Estado de São Paulo, consultora da Pontifícia Universidade Católica de Campinas, assessoria da Pontifícia Universidade Católica de São Paulo, consultor da Fundação de Apoio à Pesquisa do Distrito Federal, colaboradora - Zentralblatt Für Mathematik, colaborador - Mathematical Reviews, colaborador - Editora Vozes, colaborador - Cadernos de História e Filosofia da Ciência, colaborador da Sociedade Paranaense de Matemática, colaborador - Studia Logica, colaborador - Ludus Vitalis Journal Of Philosophy Of Life Sciences, colaborador - Ciência e Cultura, membro da Associação Paulista de Ex Alunos da Grã Bretanha, membro - American Mathematical Society, membro da Sociedade Brasileira de História da Ciência, membro da Sociedade Brasileira de Matemática, consultora da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, consultora do Instituto Venezolano de Investigaciones Científicas, membro da Sociedade Brasileira de História da Matemática, membro da Sociedade Brasileira de Ciência Cognitiva, colaborador - Manuscrito - Revista Internacional de Filosofia, colaborador - Journal of Applied Non Classical Logics e membro fundador da Sociedade Brasileira de Lógica. Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: lógicas não-clássicas, lógica paraconsistente, lógica polivalente e teoria da auto-organização.
(Texto informado pelo autor)

Última atualização do currículo em 03/11/2009
Endereço para acessar este CV:
http://lattes.cnpq.br/7607464709853156
Dados pessoais
NomeItala Maria Loffredo D'Ottaviano
Nome em citações bibliográficasD'OTTAVIANO, I. M. L.
SexoFeminino
Endereço profissionalUniversidade Estadual de Campinas.
Instituto de Filosofia e Ciências Humanas
Cidade Universitária
13083-970 - Campinas, SP - Brasil - Caixa-Postal: 6133
Telefone: (19) 35216517 Fax: (19) 32893269

Formação acadêmica/Titulação
1987Livre-docência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Aprovação em Concurso Público, Ano de obtenção: 1987.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.
1988 - 1988Pós-Doutorado .
University of Oxford, UO, Inglaterra.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
1984 - 1985Pós-Doutorado .
University of California, U.C., Estados Unidos.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
1984 - 1985Pós-Doutorado .
Stanford University, SU, Estados Unidos.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
1979 - 1982Doutorado em Matemática .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Sobre uma Teoria de Modelos Trivalente, Ano de Obtenção: 1982.
Orientador: Newton Carneiro Affonso da Costa.
Palavras-chave: Teorias Polivalentes; Teorias-J3; Teoria de Modelos-J3.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
1971 - 1974Mestrado em Matemática .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Fechos Caracterizados por Interpretações, Ano de Obtenção: 1974.
Orientador: Mario Tourasse Teixeira.
Palavras-chave: Geracao de Estruturas; Interpretacao; Operador de Fecho.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.
1963 - 1966Graduação em Matemática .
Pontifícia Universidade Católica de Campinas, PUC Campinas, Brasil.
1957 - 1960Graduação .
Conservatório Musical Carlos Gomes, Campinas.

Atuação profissional
Consejo Nacional de Investigaciones Científicas y Tecnológicas, Argentina, CONICIT, Argentina.
Vínculo institucional
2005 - Atual Vínculo: Outro, Enquadramento Funcional: Consultor Científico ad hoc, Carga horária: 0
Atividades
01/2005 - AtualConselhos, Comissões e Consultoria, Consejo Nacional de Investigaciones Científicas y Tecnológicas, .
Cargo ou função
Consultor Científico ad hoc.
Universidade Técnica de Lisboa, U.T.LISBOA, Portugal.
Vínculo institucional
2005 - Atual Vínculo: Consultor Científico, Enquadramento Funcional: Membro do Conselho de Consultores Científicos, Carga horária: 0
Outras informações Membro do Conselho de Consultores Científicos da Episteme - Revista Multidisciplinar da Universidade Técnica de Lisboa
Atividades
2005 - AtualConselhos, Comissões e Consultoria, Universidade Técnica de Lisboa, .
Cargo ou função
Membro do Conselho de Consultores Científicos da Episteme - Revista Multidisciplinar da Universidade Técnica de Lisboa.
Agencia Nac. de Promoción Científica,Tecnológica y de Innovación, Argentina, FONCYT, Argentina.
Vínculo institucional
2005 - Atual Vínculo: Membro de Banco de Avaliadores, Enquadramento Funcional: Membro de Banco de Avaliadores, Carga horária: 0
Atividades
2005 - AtualOutras atividades técnico-científicas , Ministério de Educación, Ciência y Tecnologia, .
Atividade realizada
Membro de Banco de Avaliadores do Fondo para la Investigación Científica y Tecnológica (FONCYT).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional
2004 - Atual Vínculo: Colaborador, Enquadramento Funcional: Consultora, Carga horária: 0
Atividades
2008 - AtualOutras atividades técnico-científicas , Pró-Reitoria de Pesquisa, .
Atividade realizada
Consultor da Pró-Reitoria de Pesquisa.
2004 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro da Consultoria Editorial da Revista Vivência.
Editora da Unesp, UNESP, Brasil.
Vínculo institucional
2003 - Atual Vínculo: Membro do Conselho Científico, Enquadramento Funcional: Membro do Conselho Científico, Carga horária: 0
Outras informações Membro do Conselho Científico da Editora Cultura Acadêmica - UNESP
Atividades
2003 - AtualOutras atividades técnico-científicas , Cultura Acadêmica, .
Atividade realizada
Membro do Conselho Científico da Revista Transformação.
Sociedade Brasileira de Ciência Cognitiva, SBCC, Brasil.
Vínculo institucional
2003 - Atual Vínculo: Outro, Enquadramento Funcional: Membro, Carga horária: 0
Atividades
2003 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro do Conselho da Sociedade.
Sociedade Brasileira de História da Matemática, SBHMAT, Brasil.
Vínculo institucional
2000 - Atual Vínculo: Outro, Enquadramento Funcional: Membro, Carga horária: 0
Atividades
2000 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro.
Consejo Nacional de Investigaciones Científicas y Tecnológicas, Chile, CONICIT, Chile.
Vínculo institucional
2000 - Atual Vínculo: Outro, Enquadramento Funcional: Consultor Científico ad hoc, Carga horária: 0
Atividades
2000 - AtualConselhos, Comissões e Consultoria, Consejo Nacional de Investigaciones Científicas y Tecnológicas, .
Cargo ou função
Consultor Científico ad hoc.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional
1998 - Atual Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Regime: Dedicação exclusiva.
Vínculo institucional
1996 - 1998 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 0, Regime: Dedicação exclusiva.
Vínculo institucional
1987 - 1996 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Livre Docente, Carga horária: 0, Regime: Dedicação exclusiva.
Vínculo institucional
1982 - 1987 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente Doutor, Regime: Dedicação exclusiva.
Vínculo institucional
1969 - 1982 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assitente, Regime: Dedicação exclusiva.
Atividades
2009 - AtualDireção e administração, Reitoria, Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN).
Cargo ou função
Coordenadora.
2009 - AtualDireção e administração, Reitoria, Comissão de Atividades Interdisciplinares do Conselho Universitário (CAI).
Cargo ou função
Presidente.
2009 - AtualDireção e administração, Reitoria, Comissão Central de Pesquisa (CCP).
Cargo ou função
Membro.
2009 - AtualDireção e administração, Reitoria, Comissão de Planejamento Estratégico Institucional (COPEI).
Cargo ou função
Membro.
2009 - AtualAtividades de Participação em Projeto, Centro de Lógica, Epistemologia e História da Ciência, .
Projetos de pesquisa
Traduções entre Lógicas
2005 - AtualDireção e administração, Instituto de Filosofia e Ciências Humanas, Congregação do Instituto.
Cargo ou função
Membro de Órgão Colegiado.
2005 - AtualAtividades de Participação em Projeto, Centro de Lógica, Epistemologia e História da Ciência, .
Projetos de pesquisa
Consequence and Combinations of Logics - Fundaments and Efficient Applications
1997 - AtualAtividades de Participação em Projeto, Centro de Lógica, Epistemologia e História da Ciência, .
Projetos de pesquisa
Sistêmica, Auto-Organização e Informação
8/1993 - AtualEnsino, Nível: Graduação.
Disciplinas ministradas
Introdução à Lógica
8/1993 - AtualEnsino, Filosofia, Nível: Pós-Graduação.
Disciplinas ministradas
Computabilidade
Introdução à Lógica
Lógicas não Clássicas
Seminário de Lógica I
Teoria de Conjuntos
Teoria de Modelos
Tópicos Especiais de Lógica III
Tópicos Especiais de Lógica IV
3/1993 - AtualPesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.
Linhas de pesquisa
Fundamentos e Aplicações das Lógicas Não-Clássicas: Lógicas Polivalentes e Lógicas Paraconsistentes
Traduções entre Lógicas
História de Lógica
Métodos Automáticos de Prova
1990 - AtualServiços técnicos especializados , Pro Reitoria de Pesquisa, Fundo de Apoio ao Ensino e Pesquisa (FAEP).
Serviço realizado
Assessora.
1987 - AtualOutras atividades técnico-científicas , Centro de Lógica, Epistemologia e História da Ciência (CLE), .
Atividade realizada
Criadora e Editora da COLEÇÃO CLE, coleção de livros publicados pelo CLE-UNICAMP, com títulos anuais, cujo objetivo é a publicação de pesquisas originais, monografias e teses nas área de Lógicas Epistemologia e História da Ciência.
1977 - AtualOutras atividades técnico-científicas , Centro de Lógica Epistemologia e História da Ciência, .
Atividade realizada
Membro fundador do CLE.
2007 - 2009Direção e administração, Conselho Universitário, CONSU.
Cargo ou função
Membro de Colegiado Superior.
2007 - 2009Direção e administração, Câmara de Ensino e Pesquisa do Conselho Universitário, CEPE/CONSU.
Cargo ou função
Membro de Colegiado Superior.
2005 - 2009Direção e administração, Reitoria, Comissão de Atividades Interdisciplinares.
Cargo ou função
Membro de Comissão Permanente.
2004 - 2009Direção e administração, Centro de Lógica, Epistemologia e História da Ciência (CLE), .
Cargo ou função
Diretora.
1996 - 2004Direção e administração, Instituto de Filosofia e Ciências Humanas, Congregação do Instituto.
Cargo ou função
Membro de Órgão Colegiado.
1999 - 2002Direção e administração, Reitoria, Comissão de Atividades Interdisciplinares.
Cargo ou função
Presidente de Comissão Permanente.
1998 - 2002Direção e administração, Reitoria, Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN).
Cargo ou função
Coordenadora.
1997 - 1999Direção e administração, Reitoria, Conselho Universitário (CONSU).
Cargo ou função
Membro de colegiado superior.
1997 - 1998Outras atividades técnico-científicas , Reitoria, Comissão de Legislação e Normas (CLN/CONSU).
Atividade realizada
Membro da Comissão de Legislação e Normas.
1995 - 1998Direção e administração, Pro Reitoria de Graduação, Comissão Central de Graduação (CCG).
Cargo ou função
Membro de Comissão Permanente.
1995 - 1998Direção e administração, Pro Reitoria de Graduação, Comissão Permanente para os Vestibulares (COMVEST).
Cargo ou função
Membro de Comissão Permanente.
1997 - 1997Direção e administração, Instituto de Filosofia e Ciências Humanas, Comissão de Pós-Graduação.
Cargo ou função
Membro de Comissão Permanente.
1993 - 1996Direção e administração, Centro de Lógica, Epistemologia e História da Ciência (CLE), .
Cargo ou função
Vice Diretora.
1992 - 1996Direção e administração, Reitoria, Núcleo de Política Científica e Tecnológica (NPCT).
Cargo ou função
Membro de Conselho Científico.
1969 - 1995Ensino, Nível: Graduação.
Disciplinas ministradas
CALCULO DIFERENCIAL E INTEGRAL I, II, III, IV
EQUACOES DIFERENCIAIS ORDINÁRIAS
GEOMETRIA ANALITICA E VETORES
MATEMATICA PARA CIENCIAS HUMANAS
ALGEBRA LINEAR
TEORIA DE CONJUNTOS
FUNDAMENTOS DA MATEMATICA ELEMENTAR
HISTORIA DA MATEMATICA
INTRODUÇÃO À LOGICA
TOPICOS ESPECIAIS DE LOGICA
1969 - 1995Ensino, Matemática, Nível: Pós-Graduação.
Disciplinas ministradas
TÓPICOS DE LOGICA MATEMATICA I: Teoria de Modelos Saturados
TEORIA DE CONJUNTOS
TEORIA DE MODELOS
1986 - 1993Direção e administração, Centro de Lógica, Epistemologia e História da Ciência (CLE), .
Cargo ou função
Diretora.
1986 - 1993Direção e administração, Centro de Lógica Epistemologia e História da Ciência, .
Cargo ou função
Membro de Conselho Científico.
1970 - 1993Pesquisa e desenvolvimento , Instituto de Matemática Estatística e Ciência da Computação, Departamento de Matemática.
Linhas de pesquisa
Operadores de Conseqüência e Interpretações
Teorias-J3 (1970-1982)
Teoria de Modelos-J3 (1979-1993)
Álgebra da Lógica (1982-1993)
1989 - 1991Direção e administração, Reitoria, Comissão de Atividades Interdisciplinares.
Cargo ou função
Membro de Comissão Permanente.
1989 - 1991Direção e administração, Reitoria, Conselho Universitário (CONSU).
Cargo ou função
Membro.
1980 - 1986Direção e administração, Reitoria, Conselho Universitário (CONSU).
Cargo ou função
Membro de Colegiado Superior.
1980 - 1982Direção e administração, Instituto de Matemática Estatística e Ciência da Computação, Congregação do Instituto.
Cargo ou função
Membro de Órgão Colegiado.
1980 - 1982Outras atividades técnico-científicas , Reitoria, Comissão de Orçamento e Patrimônio (COP/CONSU).
Atividade realizada
Membro.
Associação Paulista de Ex Alunos da Grã Bretanha, APEA-GB, Brasil.
Vínculo institucional
1997 - Atual Vínculo: Outro, Enquadramento Funcional: Membro, Carga horária: 0
Atividades
1997 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro da associação (criada pelo British Council).
Journal of Symbolic Logic, JSL-USA, Estados Unidos.
Vínculo institucional
1997 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Outras informações Publicação Internacional
Atividades
1997 - AtualOutras atividades técnico-científicas .
Atividade realizada
Reviewer.
Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional
2006 - Atual Vínculo: Outro, Enquadramento Funcional: Pesquisador Nível - IA, Carga horária: 0
Vínculo institucional
1993 - 2001 Vínculo: Outro, Enquadramento Funcional: Pesquisador Nível - I A, Carga horária: 0
Vínculo institucional
1989 - 1993 Vínculo: Outro, Enquadramento Funcional: Pesquisador Nível - I B, Carga horária: 0
Vínculo institucional
1987 - 1989 Vínculo: Outro, Enquadramento Funcional: Pesquisador Nível - I B, Carga horária: 0
Atividades
01/2009 - AtualPesquisa e desenvolvimento , Diretoria de Unidades de Pesquisa, .
Linhas de pesquisa
Traduções entre Lógicas
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Consultor Científico.
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Assessora.
01/2006 - 12/2009Pesquisa e desenvolvimento , Presidência, .
Linhas de pesquisa
Tableaux Analíticos para as Lógicas Paraconsistentes
Cálculos de Seqüentes
Sistemas de Dedução Natural
10/1987 - 10/2001Pesquisa e desenvolvimento .
Linhas de pesquisa
Álgebra das Lógicas de Lukasiewicz
Teoria da Quase-Verdade
Ludus Vitalis Journal Of Philosophy Of Life Sciences, LV, México.
Vínculo institucional
1993 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Outras informações Publicação internacional editada na Espanha
Atividades
1993 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro do Corpo Editorial.
Journal of Applied Non-Classical Logics - JANCL, JANCL, França.
Vínculo institucional
1991 - Atual Vínculo: Colaborador, Enquadramento Funcional: Colaborador, Carga horária: 0
Atividades
1991 - AtualOutras atividades técnico-científicas , Journal of Applied Non-Classical Logics - JANCL, .
Atividade realizada
Membro do Corpo Editorial.
1991 - AtualOutras atividades técnico-científicas , Journal of Applied Non-Classical Logics - JANCL, .
Atividade realizada
Referee.
Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Assessor Ad Hoc, Carga horária: 0
Atividades
2005 - AtualPesquisa e desenvolvimento .
Linhas de pesquisa
Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications (Pesquisador Principal de Projeto Temático)
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Consultor Científico.
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Assessora.
1996 - 1999Pesquisa e desenvolvimento .
Linhas de pesquisa
Auto-Organização, Sistêmica e Informação (Coordenadora)
1995 - 1997Pesquisa e desenvolvimento .
Linhas de pesquisa
Aspectos Matemáticos e Computacionais das Traduções entre Lógicas (Vice-Coordenadora do Grupo Temático)
Pontifícia Universidade Católica de Campinas, PUC Campinas, Brasil.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Consultora
Vínculo institucional
1967 - 1968 Vínculo: Outro, Enquadramento Funcional: Professor, Carga horária: 20
Atividades
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Consultora Científica.
1967 - 1968Ensino, Nível: Graduação.
Disciplinas ministradas
Estatística
Cálculo Diferencial e Integral
Fundação de Apoio à Pesquisa do Distrito Federal, FAP/DF, Brasil.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Consultor, Carga horária: 0
Atividades
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Consultor Científico.
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Assessora "ad-hoc".
Association For Symbolic Logic, ASL-USA, Estados Unidos.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Membro, Carga horária: 0
Atividades
1993 - 1999Outras atividades técnico-científicas , Committee on Logic in Latin America, .
Atividade realizada
Presidente.
Editora Vozes, VOZES, Brasil.
Vínculo institucional
1990 - Atual Vínculo: Membro do Conselho Editorial, Enquadramento Funcional: Membro do Conselho Editorial, Carga horária: 0
Outras informações Membro do Conselho Editorial dos Livros Textos da Editora Vozes
Atividades
1990 - AtualConselhos, Comissões e Consultoria, Editora Vozes, .
Cargo ou função
Membro do Conselho Editorial dos Livros Textos da Editora Vozes.
Cadernos de História e Filosofia da Ciência, CHFC, Brasil.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Outras informações Publicação
Atividades
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Referee.
Sociedade Paranaense de Matemática, SPM, Brasil.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Atividades
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Referee do Boletim da Sociedade Paranaense de Matemática.
Studia Logica, SL-POLONIA, Polônia.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Outras informações Publicação Internacional
Atividades
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Referee.
American Mathematical Society, AMS, Estados Unidos.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Membro, Carga horária: 0
Atividades
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro.
Instituto Venezolano de Investigaciones Científicas, Venezuela, IVIC, Venezuela.
Vínculo institucional
1990 - Atual Vínculo: Outro, Enquadramento Funcional: Consultora, Carga horária: 0
Atividades
1990 - AtualOutras atividades técnico-científicas , Instituto Venezolano de Investigaciones Científicas, Venezuela, .
Atividade realizada
Consultora.
Mathematical Reviews, MR-USA, Estados Unidos.
Vínculo institucional
1989 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador
Outras informações Publicação internacional
Atividades
1989 - AtualOutras atividades técnico-científicas .
Atividade realizada
Reviewer nas áreas de Lógica e Fundamentos da Matemática.
Ciência e Cultura, C&C, Brasil.
Vínculo institucional
1989 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Outras informações Publicação
Atividades
1989 - AtualOutras atividades técnico-científicas .
Atividade realizada
Referee.
Manuscrito - Revista Internacional de Filosofia, MANUSCRITO, Brasil.
Vínculo institucional
1989 - Atual Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Atividades
1989 - AtualOutras atividades técnico-científicas .
Atividade realizada
Referee.
Zentralblatt Für Mathematik, ZM, Alemanha.
Vínculo institucional
1987 - Atual Vínculo: Outro, Enquadramento Funcional: Colaboradora
Outras informações Publicação internacional
Atividades
1987 - AtualOutras atividades técnico-científicas .
Atividade realizada
Reviewer nas áreas de Lógica e Fundamentos da Matemática.
Sociedade Brasileira de História da Ciência, SBHC, Brasil.
Vínculo institucional
1987 - Atual Vínculo: Outro, Enquadramento Funcional: Membro, Carga horária: 0
Atividades
1987 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro.
Pontifícia Universidade Católica de São Paulo, PUC/SP, Brasil.
Vínculo institucional
1986 - Atual Vínculo: Outro, Enquadramento Funcional: Assessoria, Carga horária: 0
Atividades
1986 - AtualOutras atividades técnico-científicas , Comissão de Pesquisa, .
Atividade realizada
Assesora "Ad-hoc".
Sociedade Brasileira de Lógica, SBL, Brasil.
Vínculo institucional
1981 - Atual Vínculo: Outro, Enquadramento Funcional: Membro Fundador, Carga horária: 0
Atividades
2006 - AtualDireção e administração, Sociedade Brasileira de Lógica, .
Cargo ou função
Tesoureira.
1977 - AtualDireção e administração, Sociedade Brasileira de Lógica, .
Cargo ou função
Membro.
1993 - 2003Direção e administração, .
Cargo ou função
Presidente.
1983 - 1984Direção e administração, .
Cargo ou função
Secretária.
1981 - 1982Direção e administração, .
Cargo ou função
Sub-Secretária.
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Vínculo institucional
1980 - Atual Vínculo: Outro, Enquadramento Funcional: Consultora, Carga horária: 0
Vínculo institucional
1980 - 1981 Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 0
Atividades
1990 - AtualOutras atividades técnico-científicas .
Atividade realizada
Consultora.
1980 - 1981Treinamentos ministrados .
Treinamentos ministrados
Cálculo Diferencial e Integral e Álgebra Linear: Curso de Especialização e Aperfeiçoamento para Professores Universitários
Sociedade Brasileira de Matemática, SBM, Brasil.
Vínculo institucional
1972 - Atual Vínculo: Outro, Enquadramento Funcional: Membro, Carga horária: 0
Atividades
1972 - AtualOutras atividades técnico-científicas .
Atividade realizada
Membro.
Universitá di Torino, UNITO, Itália.
Vínculo institucional
1991 - 1991 Vínculo: Professor Visitante, Enquadramento Funcional: Professor convidado
Atividades
1/1991 - 12/1991Pesquisa e desenvolvimento , Dipartamento di Informatica, .
Linhas de pesquisa
Lógica e Fundamentos da Matemática
The Journal of Non-Classical Logic, JNCL-BR, Brasil.
Vínculo institucional
1990 - 1991 Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 0
Atividades
1990 - 1991Outras atividades técnico-científicas .
Atividade realizada
Editora.
University of Oxford, UO, Inglaterra.
Vínculo institucional
1988 - 1988 Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Scholar
Atividades
4/1988 - 7/1988Direção e administração, Wolfson College, .
Cargo ou função
Visiting Member.
University of California, U.C., Estados Unidos.
Vínculo institucional
1984 - 1985 Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Scholar, Carga horária: 0
Stanford University, SU, Estados Unidos.
Vínculo institucional
1984 - 1985 Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Scholar, Carga horária: 0
Prefeitura Municipal de Campinas, PREFEITURA/CAMPI, Brasil.
Vínculo institucional
1977 - 1978 Vínculo: Outro, Enquadramento Funcional: CARGO DE CONFIANÇA
Atividades
02/1977 - 12/1978Direção e administração, .
Cargo ou função
SECRETARIA MUNICIPAL DA EDUCAÇÃO.

Linhas de Pesquisa
1. Fundamentos e Aplicações das Lógicas Não-Clássicas: Lógicas Polivalentes e Lógicas Paraconsistentes
2. Traduções entre Lógicas
3. História de Lógica
4. Métodos Automáticos de Prova
5. Operadores de Conseqüência e Interpretações
6. Teorias-J3 (1970-1982)
7. Teoria de Modelos-J3 (1979-1993)
8. Álgebra da Lógica (1982-1993)
9. Álgebra das Lógicas de Lukasiewicz
10. Teoria da Quase-Verdade
11. Tableaux Analíticos para as Lógicas Paraconsistentes
12. Cálculos de Seqüentes
13. Sistemas de Dedução Natural
14. Traduções entre Lógicas
15. Lógica e Fundamentos da Matemática
16. Aspectos Matemáticos e Computacionais das Traduções entre Lógicas (Vice-Coordenadora do Grupo Temático)
17. Auto-Organização, Sistêmica e Informação (Coordenadora)
18. Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications (Pesquisador Principal de Projeto Temático)

Projetos de Pesquisa
2009 - AtualTraduções entre Lógicas
Descrição: Alguns de nossos trabalhos prévios sobre o estudo de inter-relações entre sistemas lógicos pela análise de traduções entre eles motivam este projeto de pesquisa. Para a construção de uma teoria geral de traduções usamos um conceito geral e abstrato de lógica e de tradução entre lógicas. Neste projeto pretendemos analisar as possíveis especificidades e inter-relações entre nossos conceitos de tradução conservativa e tradução contextual; e caracterizar a possível categoria de lógicas e traduções contextuais, no contexto da categoria bi-completa de lógicas e traduções. Também temos por objetivo procurar definir os conceitos de dualidade entre lógicas, sub-lógica e extensão de lógicas, sob o ponto de vista de traduções entre lógicas. Além disso, pretendemos caracterizar a possível categoria de lógicas consideradas como pares constituídos por conjuntos e relações de derivabilidade quaisquer..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) Doutorado ( 1) .
Integrantes: Hércules de Araújo Feitosa - Integrante / Juliana Bueno - Integrante / Dante Cardoso - Integrante / Itala Maria Loffredo D'Ottaviano - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Estadual de Campinas - Auxílio financeiro / Universidade Estadual Paulista Júlio de Mesquita Filho - Auxílio financeiro..
2005 - AtualConsequence and Combinations of Logics - Fundaments and Efficient Applications
Descrição: A noção de inferência lógica é de fundamental importância não somente em todas as formas de argumentação (sejam formais ou informais) mas também em diferentes aspectos da computação. O estudo de inferências lógicas para aplicações requer a compreensão da combinação de mecanismos lógicos de diferentes características. Este projeto está focalizado em métodos específicos para combinar lógicas, assim como nos aspectos semânticos, algébricos e computacionais dos sistemas resultantes. Do ponto de vista das aplicações eficientes, os métodos de aproximação para as inferências proposicionais e quantificacionais oferecem uma perspectiva promissória no estudo das complexidades intrinsecas envolvidas. Este projeto envolve 22 pesquisadores com diferentes formações acadêmicas provenientes da USP, da UNESP e da UNICAMP, com o suporte de 8 pesquisadores provenientes de 3 instituições internacionais de pesquisa..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 3) / Mestrado profissionalizante ( 0) / Doutorado ( 7) .
Integrantes: Walter Alexandre Carnielli - Coordenador / Hércules de Araújo Feitosa - Integrante / Milton Augustinis de Castro - Integrante / Carlos Hifume - Integrante / Marcelo Esteban Coniglio - Integrante / Amílcar Sernadas - Integrante / Cristina Sernadas - Integrante / Luis Augusto Sbardellini - Integrante / Carlos Caleiro - Integrante / João Marcos - Integrante / Juliana Bueno - Integrante / Hugo Mariano - Integrante / Odilón Otávio Luciano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Jean-Yves Béziau - Integrante / Paulo Mateus - Integrante / Dov Gabbay - Integrante / João Rasga - Integrante / Angela Weiss - Integrante / Flávio Correa da Silva - Integrante / Eudenia Xavier Meneses - Integrante / Joselyto Riani - Integrante / Juan Carlos Agudelo Agudelo - Integrante / Rodrigo de Alvarenga Freire - Integrante / Paulo Petrillo - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante / Guilherme Rabello - Integrante / Itala Maria Loffredo D'Ottaviano - Integrante.
Financiador(es): Universidade de São Paulo - Cooperação / Universidade Estadual Paulista Júlio de Mesquita Filho - Cooperação / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.Número de orientações: 4.
1997 - AtualSistêmica, Auto-Organização e Informação
Descrição: Este projeto tem por objetivo propor um conceito geral para a noção de auto-organização e estudar as possibilidades de sua aplicação em áreas específicas do conhecimento, buscando a identificação de fenômenos caracterizados como auto-organizados. São analisadas propostas de soluções de problemas relacionados com as noções de organização, complexidade, informação, conhecimento, criação e outras correlatas. Tais problemas são tratados a partir de uma perspectiva epistemológica, com particular destaque para o estudo da auto-organização no contexto da teoria dos sistemas dinâmicos e dos sistemas complexos, informacionais e biológicos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) Doutorado ( 2) .
Integrantes: Ettore Bresciani - Integrante / Maria Eunice Quillici Gonzales - Integrante / Ricardo Pereira Tassinari - Integrante / Ana Maria Pellegrini - Integrante / Gustavo Maia Souza - Integrante / Alfredo Pereira Júnior - Integrante / Mariana Cláudia Broens - Integrante / João Fernandes Teixeira - Integrante / Jônatas Manzolli - Integrante / Ivo Assad Ibri - Integrante / Lauro Frederico Barbosa da Silveira - Integrante / Willem Ferdinand Gerardus Haselager - Integrante / Romeu Cardoso Guimarães - Integrante / Ramon Capelle de Andrade - Integrante / Fernando Girotto - Integrante / Itala Maria Loffredo D'Ottaviano - Coordenador.
Financiador(es): Pontifícia Universidade Católica de São Paulo - Auxílio financeiro / Radboud University Nijmegen - Auxílio financeiro / Universidade do Oeste Paulista - Auxílio financeiro / Universidade Estadual de Campinas - Auxílio financeiro / Universidade Estadual Paulista Júlio de Mesquita Filho - Auxílio financeiro / Universidade Federal de Minas Gerais - Auxílio financeiro / Universidade Federal de São Carlos - Auxílio financeiro..

Membro de corpo editorial
2008 - Atual Periódico: Filogenese - Revista Eletrônica de Pesquisa na Graduação em Filosofia-UNESP

Áreas de atuação
1. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2. Grande área: Ciências Humanas / Área: História / Subárea: História e Filosofia da Ciência.
3. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Semânticas Formais.
4. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Álgebra de Lógica.
5. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Lógicas Não-Clássicas.
6. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Traduções entre Lógicas.

Idiomas
Alemão Fala Pouco, Lê Pouco, Escreve Pouco.
Inglês Fala Bem, Lê Bem, Escreve Bem.
Espanhol Fala Bem, Lê Bem, Escreve Bem.
Francês Fala Razoavelmente, Lê Bem, Escreve Bem.
Italiano Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos
2005Manuscrito - Revista Internacional de Filosofia (2005). Logic and Philosophy of the Formal Sciences. A Festschriff for Itala M. Loffredo D'Ottaviano, 28, n.2, Centro de Lógica, Epistemologia e História da Ciência - CLE.
2005Um prelúdio à lógica. Livro de autoria de Hércules de Araújo Feitosa e Leonardo Paulovich. Publicado pela Editora da UNESP - PROPP Didáticos, 2005. Homenagem a Itala M. Loffredo D'Ottaviano, Hércules de Araújo Feitosa e Leonardo Paulovich.
1993Presidente do Committee on Logic in LatinAmerica of the Association for Symbolic Logic, Association for Symbolic Logic.
1993Membro da Comissão Técnica do Prêmio Moinho Santista - Lógica, Moinho Santista.
1993Presidente, Sociedade Brasileira de Lógica.
1978Secretária Municipal, Prefeitura Municipal de Campinas.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. CARNIELLI, W. A. ; CONIGLIO, M. E. ; D'OTTAVIANO, I. M. L. . New dimensions on translations between logics. Logica Universalis (Print), v. 3, p. 1-19, 2009.
2. D'OTTAVIANO, I. M. L. . Translations between logics. CLE e-Prints (Online), v. 8, p. 1-6, 2008.
3. Alves, M.A. ; D'OTTAVIANO, I. M. L. . Uma crítica à concepção semântica de conseqüência lógica. CLE e-Prints (Online), v. 8, p. 1-10, 2008.
4. CASTRO, M. A. ; D'OTTAVIANO, I. M. L. . Analytical tableaux for da Costa's paraconsistent logics. CLE e-Prints (Online), v. 8, p. 1-4, 2008.
5. GOMES, E.L. ; D'OTTAVIANO, I. M. L. . Aristotle's theory of syllogism and paraconsistency. CLE e-Prints (Online), v. 8, p. 1-10, 2008.
6. DOS SANTOS, E.E. ; D'OTTAVIANO, I. M. L. . O infinito atual em Cantor e o conceito de revolução científica em matemática. CLE e-Prints (Online), v. 8, p. 1-2, 2008.
7. SUGUITANI, L.O. ; D'OTTAVIANO, I. M. L. . Tarski's relation algebra and "Borner's Operator". CLE e-Prints (Online), v. 8, p. 21-40, 2008.
8. D'OTTAVIANO, I. M. L. ; HIFUME, Carlos . Peircean pragmatic truth and da Costa's quasi-truth. Studies in Computational Intelligence, v. 64, p. 383-398, 2007.
9. D'OTTAVIANO, I. M. L. ; BERTATO, F.M. . Luca Pacioli and the "Controversy of the Perspective": the classification of the mathematics from the classical antiquity to the end of the quattrocento. Revista Brasileira de História da Matemática, v. 1, p. 505-525, 2007.
10. TASSINARI, R. P. ; D'OTTAVIANO, I. M. L. . "Cogito ergo sum non machinal" About Gödel's first incompleteness theorem and Turing machines. CLE e-Prints (Online). CLE e-Prints (Online), v. 7, p. 1-10, 2007.
11. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Translations from Lukasiewicz logics into classical logic: Is it possible? Essays in Logic and Ontology. Edited by Jacek Malinowski and Andrzej Pietruszczak. Poznan Studies the Philosophy of the Sciences and the Humanities, Torun, v. 91, p. 157-168, 2006.
12. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Analytical tableaux for da Costa's hierarchy of paraconsistent logics. Electronic Notes in Theoretical Computer Science, v. 143, p. 27-44, 2006.
13. CARVALHO, Tadeu Fernandes de ; D'OTTAVIANO, I. M. L. . Sobre Leibniz, Newton e infinitésimos, das origens do cálculo infinitesimal aos fundamentos do cálculo paraconsistente. Educação Matemática Pesquisa. PUC-SP, São Paulo, SP. Educação Matemática Pesquisa, v. 8, p. 13-43, 2006.
14.   D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn. Logical approaches to paraconsistency. P. Bernard, A. Herzig (Ed.). Paris. Journal of Applied Non-Classical Logics, Paris, v. 15, n. 1, p. 69-103, 2005.
15. D'OTTAVIANO, I. M. L. ; CARVALHO, T. F. . Sobre o infinitésimo e o cálculo diferencial paraconsistente de da Costa. Revista Eletrônica Informação e Cognição, v. 4, p. 78-102, 2005.
16. D'OTTAVIANO, I. M. L. ; SCHEER, Mauro César . Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas. Revista Informação e Cognição, v. 4, p. 47-60, 2005.
17. D'OTTAVIANO, I. M. L. ; CARVALHO, Tadeu Fernandes de . Da Costa's paraconsistent differencial calculus and a transference theorem. CLE e-Prints (Online), v. 5, p. 1-20, 2005.
18. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Um olhar algébrico sobre as traduções intuicionistas. In: Lógica: teoria, aplicações e reflexões. Coleção CLE, CLE/UNICAMP, v. 39, p. 59-89, 2004.
19. D'OTTAVIANO, I. M. L. ; BRESCIANI, E. . Sistêmica, auto-organização e criação. Multiciência (UNICAMP), COCEN/UNICAMP, v. 3, p. 1-23, 2004.
20. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . História da lógica e o surgimento das lógicas não clássicas. Coleção História da Matemática para Professores, SBHM/UNESP, v. 1, p. 01-66, 2003.
21. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . A busca por uma definição de tradução lógica. Epistêmê (Feira de Santana), UFRS, v. 14, p. 139-170, 2002.
22. D'OTTAVIANO, I. M. L. ; ALMEIDA, J. E. . On NCGw: a paraconsistent sequent calculus. Paraconsistency: the logical way to the inconsistent, Lecture Notes in Pure and Applied Mathematics, Kluwer, v. 228, p. 227-240, 2002.
23.   D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Conservative translations. Annals of Pure and Applied Logic, North Holand, Amsterdam, v. 108, p. 205-227, 2001.
24. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Natural deduction for paraconsistent logic. Logica Trianguli, v. 4, p. 3-24, 2000.
25.   D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Paraconsistent logics and translations. Synthese (Dordrecht), v. 125, p. 77-95, 2000.
26. D'OTTAVIANO, I. M. L. . Indeterminación y verdad - La Polivalencia Lógica en la Escuela de Lvóv-Varsovia. Critical Review of Prieto, P.D.. The Bulletin of Symbolic Logic, v. 6, p. 349-351, 2000.
27. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Conservative translations and model-theoretic translations. Manuscrito (UNICAMP), CLE/UNICAMP, v. 22, n. 2, p. 117-132, 1999.
28. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Many-valued logics and translations. The Journal of Applied Non Classical Logics, Editions Hermes, Paris, França, v. 9, n. 1, p. 121-140, 1999.
29.   D'OTTAVIANO, I. M. L. ; SILVA, J. J. ; SETTE, A. M. A. . Translations between logics. Lecture Notes in Pure and Applied Mathematics, v. 203, p. 435-448, 1999.
30. D'OTTAVIANO, I. M. L. . Logiques classiques et non-classiques. Critical review of da Costa, N.C.A. Paris: Masson Culture Scientifique, 275p., 1997. Berlin : Springer Verlag. Zentralblatt für Mathematik, v. 1, p. 1, 1999.
31. CARNIELLI, W. A. ; D'OTTAVIANO, I. M. L. . Translations between logical systems - a manifesto. Logique et Analyse, Nauwelaerts Print.Cy.,Belgica, v. 40, n. 157, p. 67-81, 1997.
32. D'OTTAVIANO, I. M. L. . Many-Valued Logics: theoretical foundations. Mathematical Reviews, v. 94, 8. Critical Review of Bolc, H., Borowik, P. Springer Verlag, XII+292p., 1992. USA : American Mathematical Society. Mathematical Reviews, v. 94, p. 1, 1997.
33. D'OTTAVIANO, I. M. L. ; CARNIELLI, W. A. ; ALVES, E. H. . The Centre for Logic in Campinas and the development of logic In Brazil. Logique et Analyse, Nauwelaerts Print.Cy., Belgica, v. 153/4, p. 15-29, 1996.
34. D'OTTAVIANO, I. M. L. . The intelectual development of Andrés Raggio. Coleção CLE, v. 14, p. 1-24, 1995.
35. D'OTTAVIANO, I. M. L. . Many-Valued Logics. Mathematical Reviews, v. 95, 8. Critical Review of Malinowski G. Clarendon Press, Oxford University Press, VIII + 131p., 1993. USA : American Mathematical Society. Mathematical Reviews, v. 95, p. 1, 1995.
36. D'OTTAVIANO, I. M. L. . Sistemas Formais Inconsistentes. Critical Review of da Costa, N.C.A. Universidade Federal do Paraná: Clássicos, v.3, XXIV + 66p, 1993. Berlin : Springer Verlag. Zentralblatt für Mathematik, v. XXIV, p. 66-68, 1994.
37. D'OTTAVIANO, I. M. L. . Sistemas Formais Inconsistentes. Mathematical Reviews, 94, 3. Critical Review of da Costa, N.C.A. Universidade Federal do Paraná: Clássicos, v.3, XXIV + 66 p., 1993. USA : American Mathematical Society. Mathematical Reviews, v. 94, p. 1-66, 1994.
38. D'OTTAVIANO, I. M. L. . Paraconsistent logic: essays on the inconsistent. Mathematical Reviews, v.93, 5. Critical Review of Priest, G., Routley, R., Norman M. Philosophia Verlag, XXII + 716 p., 1989. USA : American Mathematical Society. Mathematical Reviews, v. 93, p. 1, 1993.
39. D'OTTAVIANO, I. M. L. . On the development of paraconsistent logic and da Costa's work. The Journal of Non-Classical Logic, CLE / Unicamp, Campinas, SP, v. 7, n. 1/2, p. 89-152, 1990.
40. D'OTTAVIANO, I. M. L. . Paradoxos auto-referenciais, as lógicas não-clássicas e aplicações. Ciência e Cultura (SBPC), Editora: SBPC, v. 42, n. 2, p. 164-173, 1990.
41. D'OTTAVIANO, I. M. L. . Matemática e paraconsistência. Critical Review of da Costa, N.C.A. Sociedade Paranaense de Matemática: Monografias, n. 7, 26p. 1989. Mathematical Reviews, v. 90, p. 1-2, 1990.
42. D'OTTAVIANO, I. M. L. ; EPSTEIN, R. L. . A many-valued paraconsistent logic. Reports on Mathematical Logic, Wydawnictwo U Jagiell., Krakow, v. 22, p. 89-103, 1988.
43. D'OTTAVIANO, I. M. L. . Definability and quantifier elimination for J3-theories. Studia Logica, Kluwer Acad. Publ., Dordrecht, v. 46, n. 1, p. 37-54, 1987.
44. D'OTTAVIANO, I. M. L. ; LÓPEZ ESCOBAR, E. G. K. . The conditional and the compounding of errors. Journal of Applied Non-Classical Logics, CLE / UNICAMP, Campinas, SP, v. 3, n. 2, p. 91-117, 1986.
45. D'OTTAVIANO, I. M. L. . The completeness and compactness of a three-valued first order logic. Revista Colombiana de Matemáticas, Bogotá, Colômbia, v. XIX, n. 1-2, p. 31-42, 1985.
46. D'OTTAVIANO, I. M. L. . The model extension theorems for J3-theories. (Lectures Notes in Mathematics). Methods In Mathematical Logic, Springer & Verlag, Berlin, v. 1130, p. 157-173, 1985.
47. D'OTTAVIANO, I. M. L. ; LÓPEZ ESCOBAR, E. G. K. . The conditional and paraconsistent logics (Lectures Notes in Pure and Applied Mathenatics). Mathematical Logic and Formal Systems, v. 203, p. 141-160, 1985.
48. D'OTTAVIANO, I. M. L. ; COSTA, N. C. A. da . Sur un problème de Jaskowski. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, França, v. 270-A, p. 1349-1353, 1970.
Livros publicados/organizados ou edições
1. QUEIROZ, M. S. ; D'OTTAVIANO, I. M. L. . Universidade, Interdisciplinaridade e Memória: uma análise antropológica da experiência acadêmica dos Centros e Núcleos da Unicamp. 1. ed. Campinas: Arte-Escrita/CMU-Unicamp, 2009. 237 p.
2. D'OTTAVIANO, I. M. L. (Org.) ; GONZALES, M. E. Q. (Org.) . Brazilian national identity and self-organization. Coleção CLE, vol. 53. Campinas, SP: CLE/UNICAMP, 2009. v. 53. 186 p.
3. CARNIELLI, W. A. (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . The many sides of logic. College Publications: Studies in Logic, n. 12. College Publications, 2009. 586 p.
4. BRESCIANI, E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) ; GONZALES, M. E. Q. (Org.) . Auto-organização: estudos interdisciplinares. Coleção CLE, v. 52. Campinas, SP: CLE/UNICAMP, 2008. v. 52. 344 p.
5. D'OTTAVIANO, I. M. L. (Org.) ; CARNIELLI, W. A. (Org.) ; CONIGLIO, M. E. (Org.) . Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) - An event on Brazilian logic. Proceedings of the XIII Brazilian Logic Conference (XIII EBL). 7. ed. Inglaterra: Oxford, n.7, 2005. v. 12. 280 p.
6. D'OTTAVIANO, I. M. L. (Org.) ; CARNIELLI, W. A. (Org.) ; CONIGLIO, M. E. (Org.) . Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) - An event on Brazilian logic. Proceedings of the XIII Brazilian Logic Conference (XIII EBL). 6. ed. Inglaterra: Oxford, n.6, 2004. v. 12. 300 p.
7. D'OTTAVIANO, I. M. L. (Org.) ; SOUZA, G. M. (Org.) ; GONZALES, M. E. Q. (Org.) . Auto-organização: estudos interdisciplinares. Coleção CLE. Campinas, SP: CLE/UNICAMP, 2004. v. 38. 380 p.
8. D'OTTAVIANO, I. M. L. (Org.) ; CARNIELLI, W. A. (Org.) ; CONIGLIO, M. E. (Org.) . Paraconsistency: the logical way to the inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP'2000). New York: Marcel Dekker Inc., 2002.
9. D'OTTAVIANO, I. M. L. (Org.) . Gramsci: filosofia, política e bom senso. Coleção CLE,. Campinas, SP: Editora da Unicamp, 2001. v. 31. 290 p.
10.   CIGNOLI, R. L. O. ; D'OTTAVIANO, I. M. L. ; MUNDICI, D. . Algebraic foundations of many-valued reasoning (Trends in Logic). Dordrecht: Kluwer Academic Publishers, 2000. v. 2. 223 p.
11. D'OTTAVIANO, I. M. L. (Org.) ; GONZALES, M. E. Q. (Org.) . Auto-organização: estudos interdisciplinares. Coleção CLE. Campinas, SP: CLE/UNICAMP, 2000. v. 30. 361 p.
12. D'OTTAVIANO, I. M. L. (Org.) ; CARNIELLI, W. A. (Org.) ; CONIGLIO, M. E. (Org.) . Advances in contemporary logic and computer science. EUA: American Mathematical Society, Contemporary Mathematics, 1999. v. 235. 326 p.
13. D'OTTAVIANO, I. M. L. (Org.) ; CARNIELLI, W. A. (Org.) . XI Brazilian Conference on Mathematical Logic. Journal of the Interest Group in Pure and Applied Logics (IGPL). Inglaterra: Oxford, 1997.
14. CIGNOLI, R. L. O. ; D'OTTAVIANO, I. M. L. ; MUNDICI, D. . Álgebras das lógicas de Lukasiewicz. Coleção CLE v. 12, (2ª Ed.). Campinas, SP: CLE/UNICAMP, 1995. 256 p.
15. D'OTTAVIANO, I. M. L. ; EPSTEIN, R. L. ; CARNIELLI, W. A. ; KRAJEWSKI, S. ; MADDUX, R. D. . The semantic foundations of logic: Propositional logics (2nd Ed.). New York: The Clarendon Press, Oxford University Press, 1995. v. 1.
16. CIGNOLI, R. L. O. ; D'OTTAVIANO, I. M. L. ; MUNDICI, D. . Álgebras das lógicas de Lukasiewicz. Coleção CLE v. 12. Campinas, SP: CLE/UNICAMP, 1994. 256 p.
17. D'OTTAVIANO, I. M. L. ; EPSTEIN, R. L. ; CARNIELLI, W. A. ; KRAJEWSKI, S. ; MADDUX, R. D. . The semantic foundations of logic: Propositional logics. Nijhoff International Philosophy. Series 35. Dordrecht: Kluwer Academic Publishers Group, 1990. v. 1.
18. ARRUDA, A.I. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . N.A. Vasiliev e a lógica paraconsistente. Autor: Ayda Ignez Arruda. Coleção CLE. Campinas, SP: CLE/UNICAMP, 1990. v. 7. 95 p.
19. D'OTTAVIANO, I. M. L. ; LOPEZ-ESCOBAR, E. G. K. . Regra W: passado, presente e futuro. In: Coleção CLE, v. 2. Campinas, SP: CLE/UNICAMP, 1987. 58 p.
Capítulos de livros publicados
1. D'OTTAVIANO, I. M. L. . Non-classical logics and applications. In: C.E. Maldonado. (Org.). Sistemas complejos, lógica y ciencias sociales. Bogotá: Universidad del Rosario, 2009, v. , p. -.
2. D'OTTAVIANO, I. M. L. . On the concept of quasi-truth. Proceedings do Colloque 2008 de l'Académie Internationale de Philosophie des Sciences (A.I.P.S.) - "Relations entre les sciences naturalles et les sciences humaines". 10 ed. : , 2009, v. , p. -1.
3. D'OTTAVIANO, I. M. L. . O logos da arte e a lógica da ciência. In: Carlos Antônio Leite Brandão. (Org.). A República dos Saberes: arte, ciência, universidade e outras fronteiras. Belo Horizonte, MG: Editora UFMG, 2008, v. , p. 155-165.
4. BRESCIANI, E. ; D'OTTAVIANO, I. M. L. ; Milanez, L.F. . Conceitos básicos de sistema dinâmico e térmico. In: Bresciani Filho, E., D'Ottaviano, I.M.L., Gonzalez, M.E.Q., Souza, G.M.. (Org.). Auto-Organização: estudos interdisciplinares, 4 v. Coleção CLE.. Campinas, SP: CLE/UNICAMP, 2008, v. 52, p. 19-32.
5. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Deductive systems and translations. In: Jean-Yves Béziau; Alexandre Costa-Leite (Org.). In: Jean-Yves Béziau; Alexandre Costa-Leite. (Org.). Perspectives on Universal Logic. 1 ed. Itália: Polimetrica International Scientific Publisher, 2007, v. , p. 125-157.
6. D'OTTAVIANO, I. M. L. ; HIFUME, C. . Sobre teorias da verdade e a quase-verdade de da Costa. In: Broens, M.C., Coelho, J.G., Gonzalez, M.E.Q.. (Org.). Encontro com as ciências cognitivas - Coleção Estudos Cognitivos. São Paulo: Cultura Acadêmica, 2007, v. 5, p. -.
7. D'OTTAVIANO, I. M. L. ; BRESCIANI, E. . Sistema dinâmico caótico e auto-organização. In: Souza, G.M.; D'Ottaviano, I.M.L.; Gonzalez, M.E.Q.. (Org.). Auto-organização: estudos interdisciplinares. Coleção CLE. Campinas, SP: CLE/UNICAMP, 2004, v. 38, p. 239-258.
8. D'OTTAVIANO, I. M. L. . Gramsci: filosofia, política e bom senso. M.M. Debrun, apresentação de obra póstuma. In: CLE/UNICAMP, Editora da UNICAMP. (Org.). Gramsci: filosofia, política e bom senso. Campinas, SP: Editora da Unicamp, 2001, v. 31, p. 7-11.
9. BRESCIANI, E. ; D'OTTAVIANO, I. M. L. . Conceitos básicos de sistêmica.. In: D'Ottaviano, I.M.L.; Gonzales, M.E.Q.. (Org.). Auto-organização: estudos interdisciplinares. Coleção CLE. Campinas, SP: CLE/UNICAMP, 2000, v. 30, p. 283-306.
10. D'OTTAVIANO, I. M. L. . A lógica clássica e o surgimento das lógicas não-classicas.. In: Évora, F.R.R.. (Org.). Século XIX: O Nascimento da Ciência Contemporânea. Coleção CLE. Campinas, SP: CLE/UNICAMP, 1992, v. 11, p. 65-94.
11. D'OTTAVIANO, I. M. L. . N.A. Vasiliev e a lógica paraconsistente. A.I. Arruda, apresentação de obra póstuma. Coleção CLE. Campinas, SP: CLE/UNICAMP, 1992, v. 7, p. 11-16.
Textos em jornais de notícias/revistas
1. D'OTTAVIANO, I. M. L. . Entrevista-Depoimento ao Jornalista Paulo Cesar Nascimento - A lógica esvaziada. Depoimento sobre o Grupo de Lógica da Unicamp. IMECC 40 Anos - A trajetória do Instituto de Matemática, Estatística e Computação Científica da Unicamp, IMECC - Unicamp, 01 jun. 2009.
2. D'OTTAVIANO, I. M. L. . Entrevista/Depoimento sobre os manuscritos inéditos de Michel Debrun. Jornal da UNICAMP, ano XVIII, n. 252, 17 a 23/05/2004, UNICAMP, p. 5, 17 maio 2004.
3. D'OTTAVIANO, I. M. L. . O amigo Debrun. Jornal da UNICAMP, ano XVIII, n. 252, 17 a 23/05/2004, UNICAMP, p. 2, 17 maio 2004.
4. D'OTTAVIANO, I. M. L. . Mário Tourasse Teixeira: o homem, o educador, o matemático. Entrevista/Depoimento concedida a Romélia Mara Alves dos Santos. Universidade Estadual Paulista (Unesp): Departamento de Matemática, Campus de Rio Claro, SP, Universidade Estadual Paulista.
5. D'OTTAVIANO, I. M. L. . Congressos Internacionais sobre Transdisciplinaridade: a importância para a emergência de uma metodologia transdisciplinar. Entrevista à Profa. Dra. Augusta Thereza de Alvarenga. Universidade de São Paulo (USP): Faculdade de Saúde Pública, Universidade de São Paulo/USP, p. 6.
6. D'OTTAVIANO, I. M. L. . Mulheres Matemáticas Professoras Titulares no Brasil. Entrevista a Mariana Feiteiro. Universidade Estadual Paulista - Unesp, Departamento de Matemática, Campus de Rio Claro, SP, Universidade Estadual Paulista, p. 8.
7. D'OTTAVIANO, I. M. L. . Investigações Lógicas. Entrevista concedida ao jornalista Faoze Chibli e ao Prof. João de Fernandes Teixeira. Revista Filosofia Ciência & Vida - Especial: Pensamentos mais claros com a Filosofia Analítica, p. 10 - 17.
8. D'OTTAVIANO, I. M. L. . Newton da Costa, um cientista incansável. Entrevista concedida ao jornalista Álvaro Kassab. Jornal da UNICAMP, Ano XXIII, n. 437, 17 a 23/08/2009. Jornal da UNICAMP, Unicamp - Campinas, SP, p. 6 - 7.
Trabalhos completos publicados em anais de congressos
1. D'OTTAVIANO, I. M. L. ; CARNIELLI, W. A. ; CONIGLIO, M. E. . New dimensions on translations between logics. In: 2nd World Congress and School on Universal Logic - UNILOG'07, 2007, Xi'an. Proceedings 2nd World Congress and School on Universal Logic. Xi'an, 2007. p. 44-54.
2. D'OTTAVIANO, I. M. L. ; HIFUME, Carlos . Peircean pragmatic truth and da Costa's quasi-truth. In: The Second International Conference of Philosophy and Cognitive Science, 2006, Guangzhou, China. Annals of Model Based Reasoning in Science and Medicine. Guangzhou, China.
3. D'OTTAVIANO, I. M. L. . Auto-organização, informação e complexidade. In: XXVIII Congresso Brasileiro de Homeopatia, 2006, Santa Catarina, SC. Anais do XXVIII Congresso Brasileiro de Homeopatia. Santa Catarina, SC, 2006.
4. D'OTTAVIANO, I. M. L. . Sistêmica, Auto-organização e Criação. In: Seminários Interdisciplinares do Instituto de Estudos Avançados Transdisciplinares - O Logos da Arte e a Lógica da Ciência - IEAT/UFMG, 2006, Belo Horizonte, MG. Anais dos Seminários Interdisciplinares do Instituto de Estudos Avançados Transdisciplinares. Belo Horizonte, MG : IEAT, 2006.
5. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Analytical tableaux for da Costa's hierarchy of paraconsistent logics. In: 12th Workshop on Logic, Language, Information and Computacion (WoLLIC 2005), 2005, Florianópolis, Santa Catarina. WoLLIC 2005 Proceedings. Florianópolis, SC, 2005. p. 25-45.
6. D'OTTAVIANO, I. M. L. ; CARVALHO, T. F. . Sobre o conceito de infinitésimo e o desenvolvimento do cálculo diferencial e integral. In: VI Seminário Nacional de História da Matemática - VI SNHM. In: VI Seminário Nacional de História da Matemática - VI SNHM, 2005, Brasília, DF. Anais do VI Seminário Nacional de História da Matemática - VI SNHM. Brasília, DF : Sociedade Brasileira de História da Matemática, 2005.
7. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Natural deductions systems for da Costa's systems Cn. In: First International Congress on Universal Logic, 2005, Montreux, Suíça. Anais do First International Congress on Universal Logic, 2005.
8. D'OTTAVIANO, I. M. L. ; CARVALHO, T. F. . Da Costa's paraconsistent differential calculus and a transference theorem. In: 2nd Indian International Conference on Artificial Intelligence, 2005, Pune, Índia. Proceedings of the 2nd Indian International Conference on Artificial Intelligence (II CAI 2005). Pune, India. v. 1.
9. D'OTTAVIANO, I. M. L. ; NASCIMENTO, C. T. J. S. ; PELLEGRINI, A. M. . The emergency of order in young children's playing activities.. In: 9th Herbstakademie Meeting 'Self - Organization of Cognition and Applications to Psychology', 2000, Ascona, Monte Veritá. Abstracts of 9th Herbstakademie Meeting. Ascona, Monte Veritá : Universitá di Ascona.
10. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Many-valued logics and translations (Abstract da Conferencia proferida no XI Simpósio Latino Americano de Lógica Matemática, Merida, Venezuela, 1998). In: XI Simpósio Latino Americano de Lógica Matemática, 1999, Merida, Venezuela. Bulletin of Symbolic Logic. Urbana, IL, USA, 1999.
11. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Is there a translation from intuitionistic logic into classical logic? (Abstract da comunicação apresentada no XI Simpósio Latino Americano de Lógica Matemática, Merida, Venezuela, 1998). In: XI Simpósio Latino Americano de Lógica Matemática, 1999, Merida, Venezuela. Bulletin of Symbolic Logic. Urbana, IL, USA, 1999.
12. D'OTTAVIANO, I. M. L. . Conservative translations.. In: 6th Workshop on Logic Language, Informatics and Computation, 1999, Itatiaia, RJ. Anais do WoLLIC'99. Itatiaia, 1999.
13. D'OTTAVIANO, I. M. L. . Translations between logics.. In: STANISLAW JASKOWSKI MEMORIAL SYMPOSIUM, 1998, Torún, Polônia. Anais. Torún, Polônia : Nicolas Copernicus University, 1998.
14. D'OTTAVIANO, I. M. L. . On the development of paraconsistent logic and da Costa's work.. In: I WORLD CONGRESS ON PARACONSISTENCY, 1997, Ghent, Bélgica. Anais do I WCP. Ghent, Bélgica : Ghent University, 1997.
15. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Paraconsistent logics and translations.. In: I WORLD CONGRESS ON PARACONSISTENCY, 1997, Ghent, Bélgica. Anais do I WCP. Ghent, Bélgica : Ghent University, 1997.
16. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Conservative translations. In: Journal of the Interest Group in Pure and Applied Logics (IGPL), 1997, Inglaterra. Journal of the Interest Group in Pure and Applied Logics (IGPL).
17. D'OTTAVIANO, I. M. L. ; SILVA, J. J. ; SETTE, A. M. A. . On the concept of translations between deductive systems. Journal of the Interest Group in Pure and Applied Logics (IGPL). In: Journal of the Interest Group in Pure and Applied Logics (IGPL), 1997, Inglaterra. Journal of the Interest Group in Pure and Applied Logics (IGPL).
18. D'OTTAVIANO, I. M. L. ; SILVA, J. J. ; SETTE, A. M. A. ; CARNIELLI, W. A. . Tranlations between deductive systems: a categorial approach. In: Journal of the Interest Group in Pure and Applied Logics (IGPL), 1997. Journal of the Interest Group in Pure and Applied Logics (IGPL).
19. D'OTTAVIANO, I. M. L. ; SILVA, J. J. ; SETTE, A. M. A. . Translations between logics: some historical remarks. In: Journal of the Interest Group in Pure and Applied Logics (IGPL), 1997. Journal of the Interest Group in Pure and Applied Logics (IGPL).
20. D'OTTAVIANO, I. M. L. . What is a translation?. In: Bulletin of Symbolic Logic, 1996. Bulletin of Symbolic Logic. Urbana, IL, USA. v. 2. p. 220-221.
21. D'OTTAVIANO, I. M. L. ; BERNARDES, M. C. . Fuzzy sets on drawing fair plane curves.. In: VIII SIBGRAPI, 1995, São Carlos, SP. Anais do VIII SIBGRAPI. São Carlos, SP : UFSCar. p. 87-94.
22. D'OTTAVIANO, I. M. L. ; BERNARDES, M. C. ; Wu., S. T. . An approach to drawing fair plane open curves.. In: International Congress on Graphic Computation, 1995, Praga. Anais do International Congress on Graphic Computation. República Tcheca : Prague University, 1995.
23. D'OTTAVIANO, I. M. L. . On a tri-valued system. In: Journal of Symbolic Logic, 1983. Journal of Symbolic Logic. Urbana, IL, USA. v. 48. p. 886-886.
24. D'OTTAVIANO, I. M. L. . Fuzzy sets in da Costa T and T'systems. In: Journal of Symbolic Logic, 1978. Journal of Symbolic Logic. Urbana, IL, USA. v. 43. p. 302-302.
25. D'OTTAVIANO, I. M. L. . Imersão em fechos fluentes. In: SIMPÓSIO TARSKI DE LÓGICA MATEMÁTICA, 1975, Campinas, SP. Anais do Simpósio Tarski de Lógica Matemática. Campinas, SP : IMECC/UNICAMP, 1975.
Resumos publicados em anais de congressos
1. GOMES, E.L. ; D'OTTAVIANO, I. M. L. . Aristotle's theory of syllogism and paraconsistent. In: IV World Congress on Paraconsistency, 2009. Proceedings of the IV World Congress on Paraconsistency, 2009.
2. D'OTTAVIANO, I. M. L. . On the development of paraconsistent logic and the Brazilian School of logic. In: XXIII International Congress of History of Science and Technology - Ideas and Instruments in Social Context, 2009, Budapeste. Book of Abstract of XXIII International Congress of History of Science and Technology. Budapeste, Hungria, 2009. p. 173.
3. CARVALHO, Tadeu Fernandes de ; D'OTTAVIANO, I. M. L. . On da Costa's Paraconsistent Differential Calculus and a Transference Theorem. In: Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary, 2009, Campinas, SP. Annals of the Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary. Campinas, SP : CLE/UNICAMP, 2009. p. 1-104.
4. CASTRO, M. A. ; D'OTTAVIANO, I. M. L. . On the Decidability of da Costa's Paraconsistent Systems Cn and Cn*. In: Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary, 2009, Campinas, SP. Annals of the Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary. Campinas, SP : CLE/UNICAMP, 2009. p. 1-104.
5. GOMES, E.L. ; D'OTTAVIANO, I. M. L. . Paraconsistent Positions in Ancient Greek Logic. In: Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary, 2009, Campinas, SP. Annals of the Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary. Campinas, SP : CLE/UNICAMP, 2009. p. 1-104.
6. SUGUITANI, L.O. ; D'OTTAVIANO, I. M. L. . Ontological Structural Realism, Tarski-Givant's Set Theory and Quasi-Set Theory. In: Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary, 2009, Campinas, SP. Annals of the Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary. Campinas, SP : CLE/UNICAMP, 2009. p. 1-104.
7. D'OTTAVIANO, I. M. L. . On da Costa's Work and the Brazilian School of Paraconsistent Logic. In: Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary, 2009, Campinas, SP. Annals of the Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary. Campinas, SP : CLE/UNICAMP, 2009. p. 1-104.
8. D'OTTAVIANO, I. M. L. . Is there a translation from intuitionistic into classical logic?. In: International Conference on Residuated Structures: Algebra and Logic, 2008, Buenos Aires. Annals of the International Conference on Residuated Structures: Algebra and Logic. Buenos Aires, 2008. p. 3.
9. D'OTTAVIANO, I. M. L. . Translations between logics. In: CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM), Tutorial, 2008, Paraty. Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM). Campinas, SP : CLE/UNICAMP, 2008. p. 43-44.
10. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Analytical tableaux for da Costa's paraconsistent logics. In: CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM), 2008, Paraty. Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM). Campinas, SP : CLE/UNICAMP, 2008. p. 105-106.
11. D'OTTAVIANO, I. M. L. ; Alves, M.A. . Uma crítica à concepção semântica de conseqüência lógica. In: CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM), 2008, Paraty. Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM). Campinas, SP : CLE/UNICAMP, 2008. p. 82.
12. D'OTTAVIANO, I. M. L. ; GOMES, E.L. . Aristotle's theory of syllogism and paraconsistency. In: CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM), 2008, Paraty. Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM). Campinas, SP : CLE/UNICAMP, 2008. p. 126-127.
13. D'OTTAVIANO, I. M. L. ; SUGUITANI, L.O. . Tarski's relation algebra and "Börner's Operator". In: CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM), 2008, Paraty. Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM). Campinas, SP : CLE/UNICAMP, 2008. p. 150.
14. D'OTTAVIANO, I. M. L. ; DOS SANTOS, E.E. . The actual infinite in Cantor and the concept of scientific revolution in mathematics. In: CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM), 2008, Paraty. Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic (CLE 30/XV EBL/XIV SLALM). Campinas, SP : CLE/UNICAMP, 2008. p. 185.
15. D'OTTAVIANO, I. M. L. . Translations between logics. In: 2nd World Congress and School on Universal Logic - UNILOG'07, 2007, Xi'an. Proceedings 2nd World Congress and School on Universal Logic. Xi'an, 2007. v. 1. p. 10.
16. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Is there a translation from intuitionistic into classical logic?. In: 2nd World Congress and School on Universal Logic - UNILOG'07, 2007, Xi'an. Proceedings 2nd World Congress and School on Universal Logic. Xi'an, 2007. v. 1. p. 34.
17. D'OTTAVIANO, I. M. L. ; BERTATO, F.M. . A new kind of science in renaissance: perspective as mathematical discipline in Luca Pacioli and Leonardo Da Vinci. In: 13th International Congress of Logic, Methodology and Philosophy of Science, 2007, Beijing. Proceedings 13th International Congress of Logic, Methodology and Philosophy of Science. Beijing, 2007. v. 1. p. 41.
18. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Natural deduction systems for da Costa's hierarchies of paraconsistent logics Cn and Cn*. In: 13th International Congress of Logic, Methodology and Philosophy of Science, 2007, Beijing. Proceedings 13th International Congress of Logic, Methodology and Philosophy of Science. Beijing, 2007. v. 1. p. 74.
19. D'OTTAVIANO, I. M. L. ; BERTATO, F.M. . A perspectiva como disciplina matemática nas obras de Luca Pacioli e Leonardo da Vinci. In: 5o. Encontro Luso-Brasileiro de História da Matemática, 2007, Castelo Branco. Proceedings 5o. Encontro Luso-Brasileiro de História da Matemática. Castelo Branco, 2007. p. 58.
20. D'OTTAVIANO, I. M. L. ; CARVALHO, T. F. . On da Costa's paraconsistent differential calculus and a transference theorem, 2006, p. 51-53. In: XIII LatinAmerican Symposium on Mathematical Logic, 2006, Oaxaca, México. Anais do XIII SLALM. Oaxaca, 2006. p. 51-53.
21. D'OTTAVIANO, I. M. L. . Lógica e Filosofia. In: XII Encontro Nacional de Filosofia da ANPOF, 2006, Salvador, BA. Livro de Atas do XII Encontro Nacional de Filosofia da ANPOF. Salvador, BA : ANPOF, 2006. v. 1. p. 245-245.
22. D'OTTAVIANO, I. M. L. ; CARVALHO, T. F. . Da Costa's paraconsistent differencial cauculus and a transference theorem. In: Workshop "Semantics and Meaning" - SeMe 2005, 2005, Campinas, SP. Anais do Workshop "Semantics and Meaning" - SeMe 2005. Campinas, SP : CLE/UNICAMP, 2005.
23. D'OTTAVIANO, I. M. L. ; CARVALHO, T. F. . On da Costa's paraconsistent differential calculus.. In: XII SLAM, Universidad de Costa Rica, 2004, San José. XII SLAM. San José, Costa Rica : Universidad de Costa Rica, 2004. p. 2-2.
24. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . A non-recursive way of translating Lukasiewicz's propositional logic.. In: XII SLAM, Universidad de Costa Rica, 2004, San José. XII SLAM. San José - Costa Rica : Universidad de Costa Rica, 2004. p. 1-1.
25. D'OTTAVIANO, I. M. L. ; HIFUME, C. . On da Costa's quasi-truth theory.. In: XII SLAM, 2004, San José. XII SLAM. Universidad de Costa Rica. San José, Costa Rica : Universidad de Costa Rica, 2004. p. 12-12.
26. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Natural deduction systems and tableaux systems for da Costa's hierarchy of paraconsistent logics.. In: XII SLAM, Universidad de Costa Rica, 2004, San José. XII SLAM. San José, Costa Rica : Universidad de Costa Rica, 2004. p. 6-7.
27. D'OTTAVIANO, I. M. L. . História do cálculo: pós Leibniz e Newton.. In: 2º Colóquio de História e Tecnologia no Ensino de Matemática, 2004, Rio de Janeiro, RJ. Anais do 2º Colóquio de História e Tecnologia no Ensino de Matemática. Rio de Janeiro, RJ : UERJ, 2004. p. 9-9.
28. D'OTTAVIANO, I. M. L. . Sobre o cálculo diferencial paraconsistente de da Costa.. In: XI Encontro Nacional de Filosofia - ANPOF, 2004, Salvador, Bahia. Anais do XI ENF ANPOF. Salvador, Bahia : ANPOF, 2004.
29. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Analytical tableaux for da Costa's propositional paraconsistent logics Cn, 1 < n < w.. In: III World Congress on Paraconsistency, 2003, Toulouse. III World Congress on Paraconsistency. Toulouse : Université de Toulouse, 2003. p. 15-15.
30. D'OTTAVIANO, I. M. L. ; TASSINARI, R. P. . Incompletude e auto-organização.. In: VII Colóquio Internacional Michel Debrun: Novas tendências das Ciências Cognitivas no Século XXI, 2003, Campinas, SP. Anais do VII Colóquio Internacional Michel Debrun: Novas tendências das Ciências Cognitivas no Século XXI. Campinas, SP : CLE/UNICAMP, 2003. p. 10-10.
31. D'OTTAVIANO, I. M. L. . Sistêmica e auto-organização.. In: VII Colóquio Internacional Michel Debrun: Novas tendências das Ciências Cognitivas no Século XXI, 2003, Campinas, SP. Anais do VII Colóquio Internacional Michel Debrun: Novas tendências das Ciências Cognitivas no Século XXI. Campinas, SP : CLE/UNICAMP, 2003. p. 11-11.
32. D'OTTAVIANO, I. M. L. . Self-organization and general theory of sistems.. In: V Encontro Brasileiro Internacional de Ciência Cognitiva, 2003, Rio Claro, SP. Anais do V Encontro Brasileiro Internacional de Ciência Cognitiva. Rio Claro, SP : UNESP, 2003. p. 10-10.
33. D'OTTAVIANO, I. M. L. . Self-organization, criativity and the theory of systems: new perspectives.. In: V Encontro Brasileiro Internacional de Ciência Cognitiva, 2003, Rio Claro, SP. Anais do V Encontro Brasileiro Internacional de Ciência Cognitiva. Rio Claro, SP : UNESP, 2003. p. 11-11.
34. D'OTTAVIANO, I. M. L. . História da lógica e o surgimento das lógicas não-clássicas.. In: V Seminário Nacional de História da Matemática, 2003, Rio Claro, SP. Anais do V Seminário Nacional de História da Matemática. Rio Claro, SP : UNESP, 2003. p. 9-9.
35. D'OTTAVIANO, I. M. L. ; PASTORELLO, G. Z. . Tableaux analíticos para os sistemas Cn, 1 < n < w de da Costa.. In: CLE/SBL 25 Anos - XIII Encontro Brasileiro de Lógica, 2003, Campinas, SP. Livro de Resumos do CLE/SBL 25 Anos - XIII Encontro Brasileiro de Lógica. Campinas : CLE / UNICAMP, 2003. p. 15-15.
36. D'OTTAVIANO, I. M. L. . O CLE: sua proposta interdisciplinar e seus destinos.. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas, SP. Livro de Resumos do CLE/SBL 25 Anos - XIII Encontro Brasileiro de Lógica. Campinas, SP : CLE/UNICAMP, 2003. p. 6-6.
37. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Hierarquia de sistemas de tableaux analíticos para os sistemas Cn, 1 < n < w, de da Costa.. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas, SP. Livro de Resumos do CLE/SBL 25 anos - XIII Encontro Brasileiro de Lógica. Campinas, SP : CLE / UNICAMP, 2003. p. 16-16.
38. D'OTTAVIANO, I. M. L. ; SCHEER, M. C. . Operadores de conseqüência não-monotônicos e traduções entre lógicas.. In: CLE/SBL 25 Anos - XIII Encontro Brasileiro de Lógica, 2003, Campinas, SP. Livro de Resumos do CLE/SBL 25 Anos - XIII Encontro Brasileiro de Lógica. Campinas : CLE / UNICAMP, 2003. p. 118-118.
39. D'OTTAVIANO, I. M. L. . Conceitos básicos de sistêmica.. In: III Encontro Brasileiro Internacional de Ciência Cognitiva, 2000, Marília, SP. Anais do III EBICC. Marília, SP : UNESP, 2000.
40. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Analytical tableaux for da Costa's hierarchy of propositional paraconsistent logics Cn, 1 < n < w.. In: II World Congress on Paraconsistency, 2000, São Sebastião, SP. Anais do WCP'2000. São Sebastião, SP : CLE/UNICAMP, 2000.
41. D'OTTAVIANO, I. M. L. . Traduções conservativas.. In: XII Encontro Brasileiro de Lógica, 1999, Itatiaia, RJ. Anais do XII EBL. Itatiaia, RJ : PUC/RJ, 1999.
42. D'OTTAVIANO, I. M. L. . Lógicas não clássicas.. In: VIII ENCONTRO NACIONAL DE FILOSOFIA - ANPOF, 1998, Caxambú, MG. Anais do VIII ENF ANPOF. Caxambú, MG : ANPOF, 1998.
43. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Is there a translation from intuitionistic logic into classical logic?. In: XI SIMPOSIO LATINO-AMERICANO DE LOGICA MATEMATICA, 1998, Mérida, Venezuela. Anais do XI SLALM. Mérida, Venezuela : IVIC/Universidad de Mérida, 1998.
44. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Many-valued logics and translations.. In: XI SIMPOSIO LATINO-AMERICANO DE LOGICA MATEMATICA, 1998, Mérida, Venezuela. Anais do XI SLALM. Mérida, Venezuela : IVIC/Universidad de Mérida, 1998.
45. D'OTTAVIANO, I. M. L. . Sobre o conceito de auto-organização.. In: II ENCONTRO BRASILEIRO INTERNACIONAL DE CIÊNCIA COGNITIVA, 1998, Campinas, SP. Anais do II EBICC. Campinas, SP : CLE/UNICAMP, 1998.
46. D'OTTAVIANO, I. M. L. . Crise nos fundamentos da matemática no início do século XX e novos paradigmas para o século XXI?. In: VII ENCONTRO NACIONAL DE FILOSOFIA - ANPOF, 1996, Águas de Lindóia, SP. Anais do VII ENF ANPOF. Águas de Lindóia, SP : ANPOF, 1996. p. 159-159.
47. D'OTTAVIANO, I. M. L. ; SILVA, J. J. ; SETTE, A. M. A. ; CARNIELLI, W. A. . Traduções entre sistemas dedutivos: um tratamento categorial.. In: XI ENCONTRO BRASILEIRO DE LÓGICA, 1996, Salvador, BA. Anais do XI EBL. Salvador, BA : CLE/UNICAMP, 1996. p. 26-26.
48. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Traduções conservativas.. In: XI ENCONTRO BRASILEIRO DE LÓGICA, 1996, Salvador, BA. Anais do XI EBL. Salvador, BA : CLE/UNICAMP, 1996. p. 41-41.
49. D'OTTAVIANO, I. M. L. . Sobre o conceito de tradução entre sistemas dedutivos.. In: XI ENCONTRO BRASILEIRO DE LÓGICA, 1996, Salvador, BA. Anais do XI EBL. Salvador, BA : CLE/UNICAMP, 1996. p. 39-39.
50. D'OTTAVIANO, I. M. L. . Relevância histórica das traduções entre lógicas.. In: XI ENCONTRO BRASILEIRO DE LÓGICA, 1996, Salvador, BA. Anais do XI EBL. Salvador, BA : CLE/UNICAMP, 1996. p. 91-91.
51. D'OTTAVIANO, I. M. L. . What is a translation?. In: X SIMPÓSIO LATINO-AMERICANO DE LÓGICA MATEMÁTICA, 1995, Bogotá, Colombia. Anais do X SLALM. Bogotá, Colombia : Universidad de los Andes, 1995.
52. D'OTTAVIANO, I. M. L. . Traduções entre lógicas.. In: I WORKSHOP SOBRE TRADUÇÕES, 1995, Águas de Lindóia, SP. Anais. Águas de Lindóia, SP : CLE/UNICAMP, 1995.
53. D'OTTAVIANO, I. M. L. . Lógica temporal.. In: VIII COLÓQUIO DE HISTÓRIA DA CIÊNCIA / CLE, 1993, Campinas, SP. Anais do VIII CHC. Campinas, SP : CLE/UNICAMP, 1993.
54. D'OTTAVIANO, I. M. L. . Álgebras das lógicas de Lukasiewicz.. In: X ENCONTRO BRASILEIRO DE LÓGICA, 1993. Anais do X EBL, 1993.
55. D'OTTAVIANO, I. M. L. . A obra de Andrés Raggio.. In: V ENCONTRO NACIONAL DE FILOSOFIA DA ANPOF, 1992, Diamantina, MG. Anais do V ENF ANPOF. Diamantina, MG : ANPOF, 1992.
56. D'OTTAVIANO, I. M. L. . The intelectual trajectory of Andrés Raggio.. In: IX SIMPOSIO LATINO-AMERICANO DE LÓGICA MATEMÁTICA, 1992, Baia Blanca, Argentina. Anais do IX SLALM. Baia Blanca, Argentina : Universidad Nacional del Sur, 1992.
57. D'OTTAVIANO, I. M. L. . A paraconsistent many-valued propositional logic: J3. In: The Philosopher's Index, 1990. The Philosopher's Index. Bowling Green, OH, USA.
58. D'OTTAVIANO, I. M. L. . A paraconsistent many-valued propositional logic: J3.. In: VII ENCONTRO BRASILEIRO DE LÓGICA, 1988, São Paulo, SP. Anais do VII EBL. São Paulo, SP : PUC/SP, 1988.
59. D'OTTAVIANO, I. M. L. . O condicional e as lógicas paraconsistentes.. In: VI ENCONTRO BRASILEIRO DE LÓGICA, 1984, Rio de Janeiro, RJ. Anais do VI EBL. Rio de Janeiro, RJ : PUC/RJ, 1984.
60. D'OTTAVIANO, I. M. L. . On a tri-valued system.. In: VI ENCONTRO BRASILEIRO DE LÓGICA, 1983, São José dos Campos, SP. Anais do VI EBL. São José dos Campos, SP : CLE/UNICAMP, 1983.
61. D'OTTAVIANO, I. M. L. . On a three-valued model theory.. In: IV SIMPÓSIO LATINO AMERICANO DE LÓGICA MATEMÁTICA, 1981, Bogotá, Colômbia. Anais do VI SLALM. Bogotá, Colômbia : Universidad de los Andes, 1981.
62. D'OTTAVIANO, I. M. L. . Fuzzy sets in da Costa T* systems.. In: III SIMPÓSIO LATINO-AMERICANO DE LÓGICA MATEMÁTICA, 1976, Campinas, SP. Anais do III SLALM. Campinas, SP : IMECC/UNICAMP, 1976.
Artigos aceitos para publicação
1. D'OTTAVIANO, I. M. L. ; TASSINARI, R. P. . Cogito ergo sum non machina! Sobre a impossibilidade de modelagem completa do reconhecimento humano de verdades da aritmética de primeira ordem. Cognitio - Revista de Filosofia, 2009.
2. CASTRO, M. A. ; D'OTTAVIANO, I. M. L. . On the decidability of da Costa's paraconsistent systems Cn and Cn*. Principia (UFSC), 2009.
Apresentações de Trabalho
1. D'OTTAVIANO, I. M. L. . Raciocínio Lógico em Biociências. 2009. (Apresentação de Trabalho/Conferência ou palestra).
2. D'OTTAVIANO, I. M. L. . On the development of paraconsistent logic and the Brazilian School of logic. 2009. (Apresentação de Trabalho/Conferência ou palestra).
3. D'OTTAVIANO, I. M. L. . Non-Classical Logics and Applications. 2008. (Apresentação de Trabalho/Conferência ou palestra).
4. D'OTTAVIANO, I. M. L. . A Lógica Contemporânea: Filosofia ou Matemática. 2008. (Apresentação de Trabalho/Conferência ou palestra).
5. D'OTTAVIANO, I. M. L. . On da Costa's Quasi-Truth. 2008. (Apresentação de Trabalho/Conferência ou palestra).
6. D'OTTAVIANO, I. M. L. . Berkeley e os Fundamentos da Matemática. 2008. (Apresentação de Trabalho/Conferência ou palestra).
7. D'OTTAVIANO, I. M. L. . On the Development of Paraconsistent Logic. 2008. (Apresentação de Trabalho/Conferência ou palestra).
8. D'OTTAVIANO, I. M. L. ; CARDOSO, D. . Fundamentos da Instanciação em Frege. 2008. (Apresentação de Trabalho/Congresso).
9. D'OTTAVIANO, I. M. L. . A lógica contemporânea: filosofia ou matemática?. 2007. (Apresentação de Trabalho/Conferência ou palestra).
10. D'OTTAVIANO, I. M. L. . Arquitetura e Lógica - Faculdade de Arquitetura - Unicamp. 2006. (Apresentação de Trabalho/Conferência ou palestra).
11. D'OTTAVIANO, I. M. L. . A Lógica Clássica e Lógicas não-Clássicas. 2006. (Apresentação de Trabalho/Conferência ou palestra).
12. D'OTTAVIANO, I. M. L. . Auto-Organização, Informação e Complexidade. 2006. (Apresentação de Trabalho/Conferência ou palestra).
13. D'OTTAVIANO, I. M. L. . On da Costa's Paraconsistent Differential Calculus. 2006. (Apresentação de Trabalho/Conferência ou palestra).
14. D'OTTAVIANO, I. M. L. . Sistemas de Dedução Natural para as Hierarquias de Lógicas Paraconsistentes CN e CN* de da Costa. 2006. (Apresentação de Trabalho/Conferência ou palestra).
15. D'OTTAVIANO, I. M. L. . O Logos da Arte e a Lógica da Ciência. 2006. (Apresentação de Trabalho/Conferência ou palestra).
16. D'OTTAVIANO, I. M. L. . Model-Based Reasoning in Science and Medicine - MBR'06_China. 2006. (Apresentação de Trabalho/Conferência ou palestra).
17. D'OTTAVIANO, I. M. L. . Introdução à Lógica de Primeira Ordem. 2006. (Apresentação de Trabalho/Conferência ou palestra).
18. D'OTTAVIANO, I. M. L. . Sobre el desarollo de la lógica paraconsistente. Universidad Nacional del Sur, Bahía Blanca, Argentina. 2005. (Apresentação de Trabalho/Conferência ou palestra).
19. D'OTTAVIANO, I. M. L. . Sistêmica, dialética e tempo. Congresso Nacional DIA/2005. UNISINOS, São Leopoldo, RS. 2005. (Apresentação de Trabalho/Conferência ou palestra).
20. D'OTTAVIANO, I. M. L. . A lógica clássica, as lógicas não-clássicas e a pesquisa em biociências. Conferência no Programa de Pós-Graduação da FCM/UNICAMP. 2005. (Apresentação de Trabalho/Conferência ou palestra).
21. D'OTTAVIANO, I. M. L. . A lógica clássica e lógicas não-clássicas. Curso de Capacitação em Filosofia - "Filosofia e Vida". Secretaria de Estado da Educação. 2005. (Apresentação de Trabalho/Conferência ou palestra).
22. D'OTTAVIANO, I. M. L. . A lógica clássica e lógicas não-clássicas. Curso de Capacitação em Filosofia - "Filosofia e Vida". Secretaria de Estado da Educação. 2005. (Apresentação de Trabalho/Conferência ou palestra).
23. D'OTTAVIANO, I. M. L. . Da Costa's paraconsistent differental calculus and a transference theorem. Semantics and Meaning - SeMe - 2005 - CLE/UNICAMP. 2005. (Apresentação de Trabalho/Conferência ou palestra).
24. D'OTTAVIANO, I. M. L. . Transdisciplinaridade e lógicas - II Congresso Mundial de Transdisciplinaridade. UFES - Vitória, ES. 2005. (Apresentação de Trabalho/Conferência ou palestra).
25. D'OTTAVIANO, I. M. L. ; CARVALHO, T. F. . Sobre o infinitésimo e o desenvolvimento do cálculo diferencial e integral. V Seminário Nacional de História da Matemática - V SNHM. Brasília, DF. 2005. (Apresentação de Trabalho/Conferência ou palestra).
26. D'OTTAVIANO, I. M. L. . A lógica clássica e lógicas não-clássicas - XV Semana de Filosofia - Natal, UFRN. 2005. (Apresentação de Trabalho/Conferência ou palestra).
27. D'OTTAVIANO, I. M. L. . Complexidade e teoria dos sistemas. Encontro de Ensino, Pesquisa e Extensão - ENEPE. UNOESTE, Presidente Prudente, SP. 2005. (Apresentação de Trabalho/Conferência ou palestra).
28. D'OTTAVIANO, I. M. L. ; CASTRO, M. A. . Analytical tableaux for da Costas's paraconsistent logics Cn. 12th Workshop on logic, language, information and computation. UFSC - Florianópolis, SC. 2005. (Apresentação de Trabalho/Conferência ou palestra).
29. D'OTTAVIANO, I. M. L. . Lógica e epistemologia - razão e liberdade - XV Semana de Filosofia - UFRN, Natal, RN. 2005. (Apresentação de Trabalho/Conferência ou palestra).
30. D'OTTAVIANO, I. M. L. . Transdisciplinaridade e a lógica de Lupasco - Nicolescu - Brenner. Seminário Interdisciplinar CLE Auto-Organização. CLE/UNICAMP. 2005. (Apresentação de Trabalho/Conferência ou palestra).
31. D'OTTAVIANO, I. M. L. . Sistêmica, auto-organização e criação. Seminário Regular do Grupo Interdisciplinar CLE Auto-Organização. Campinas, SP : CLE/UNICAMP. 2004. (Apresentação de Trabalho/Conferência ou palestra).
32. D'OTTAVIANO, I. M. L. . Sobre o desenvolvimento da lógica paraconsistente e o trabalho de da Costa. Florianópolis : UFSC. 2004. (Apresentação de Trabalho/Conferência ou palestra).
33. D'OTTAVIANO, I. M. L. . Natural deduction systems and analytical tableaux systems for da Costa's hierarchy of paraconsistent logics. Costa Rica, San Juan, Universidad Nacional de Costa Rica. XII Simpósio Latino Americano de Lógica Matemática (XII SLALM). 2004. (Apresentação de Trabalho/Conferência ou palestra).
34. D'OTTAVIANO, I. M. L. . A história do cálculo: pós Leibniz e Newton. CLE/UNICAMP. 2004. (Apresentação de Trabalho/Conferência ou palestra).
35. D'OTTAVIANO, I. M. L. . A história do cálculo: pós Leibniz e Newton. Seminário de História da Ciência e da Tecnologia - UERJ, Rio de Janeiro, RJ. 2004. (Apresentação de Trabalho/Conferência ou palestra).
36. D'OTTAVIANO, I. M. L. . Sistemas dinâmicos térmicos e auto-organização. Seminário Regular do Grupo Interdisciplinar CLE Auto-Organização. Campinas, SP : CLE/UNICAMP. 2003. (Apresentação de Trabalho/Conferência ou palestra).
37. D'OTTAVIANO, I. M. L. . Analytical tableaux for da Costa's propositional paraconsistent logics Cn, 1 < n < w. III World Congress on Paraconsistency (WCP'03). Toulouse, França : Université de Toulouse. 2003. (Apresentação de Trabalho/Comunicação).
38. D'OTTAVIANO, I. M. L. . O processo de avaliação dos Centros e Núcleos Interdisciplinares de Pesquisa na UNICAMP. Colóquio Centro de Memória. Campinas, SP : CMU/UNICAMP. 2003. (Apresentação de Trabalho/Conferência ou palestra).
39. D'OTTAVIANO, I. M. L. . Sistemas dinâmicos caóticos e auto-organização. Seminário Regular do Grupo Interdisciplinar CLE Auto-Organização. Campinas, SP : CLE/UNICAMP. 2003. (Apresentação de Trabalho/Conferência ou palestra).
40. D'OTTAVIANO, I. M. L. . Incompletude e auto-organização. VII Colóquio Internacional Michel Debrun: Ciência Cognitiva no Século XXI. Campinas, SP : CLE/UNICAMP. 2003. (Apresentação de Trabalho/Conferência ou palestra).
41. D'OTTAVIANO, I. M. L. . Conceitos básicos de sistêmica, sistemas dinâmicos caóticos e auto-organização. Seminário Regular do Grupo Interdisciplinar CLE Auto-Organização. Campinas, SP : CLE/UNICAMP. 2002. (Apresentação de Trabalho/Conferência ou palestra).
42. D'OTTAVIANO, I. M. L. . Lógicas não-clássicas e a ciência contemporânea. Seminários de Pós-Graduação. Campinas, SP : CBMEG, IB/UNICAMP. 2002. (Apresentação de Trabalho/Conferência ou palestra).
43. D'OTTAVIANO, I. M. L. . Sistêmica e auto-organização. VI Colóquio Michel Debrun. Marília, SP : DF/UNESP. 2002. (Apresentação de Trabalho/Conferência ou palestra).
44. D'OTTAVIANO, I. M. L. . Lógicas não-clássicas e os novos paradigmas da ciência. Seminários "Encontros com a Ciência". Fortaleza, CE : PRP/UEC. 2002. (Apresentação de Trabalho/Conferência ou palestra).
45. D'OTTAVIANO, I. M. L. . Sistemas dinâmicos caóticos e auto-organização. Seminários Regulares do Grupo Interdisciplinar CLE Auto-Organização. Campinas, SP : CLE/UNICAMP. 2002. (Apresentação de Trabalho/Conferência ou palestra).
46. D'OTTAVIANO, I. M. L. . Sistêmica: sistemas dinâmicos caóticos e auto-organização. I Colóquio Michel Debrun, 2001. Marília, SP : DF/UNESP. 2001. (Apresentação de Trabalho/Conferência ou palestra).
47. D'OTTAVIANO, I. M. L. . Teoria dos sistemas: conceitos básicos. II Colóquio Michel Debrun, 2001. Rio Claro, SP : IB/UNESP. 2001. (Apresentação de Trabalho/Conferência ou palestra).
48. D'OTTAVIANO, I. M. L. . II World Congress on Paraconsistency, promovido pela Sociedade Brasileira de Lógica e pelo Centro de Lógica, Epistemologia e História da Ciencia (CLE/UNICAMP), Juquehy, São Sebastião, SP, Coordenação de Mesa Redonda: Paraconsistency: the Logical Way to the Inconsistent. 2000. (Apresentação de Trabalho/Congresso).
49. D'OTTAVIANO, I. M. L. . IV Encontro Brasileiro Internacional de Ciência Cognitiva, promovido pela Sociedade Brasileira de Ciência Cognitiva, UNESP, Marília, SP, Workshop: Auto-Organização e Cognição. 2000. (Apresentação de Trabalho/Congresso).
50. D'OTTAVIANO, I. M. L. . A lógica ao alcance de todos. Colóquios de Atualização 2000, promovidos pela Comissão Unicamp-Brasil 500 anos. Campinas, SP : Colégio Técnico/UNICAMP. 2000. (Apresentação de Trabalho/Conferência ou palestra).
51. D'OTTAVIANO, I. M. L. . A experiência dos Centros e Núcleos da Unicamp. Seminário sobre pesquisa interdisciplinar. Vitória da Conquista, BA : Reitoria, UESB. 2000. (Apresentação de Trabalho/Conferência ou palestra).
52. D'OTTAVIANO, I. M. L. . Translations between logics. XII Encontro Brasileiro de Lógica (XII EBL) / 6th Workshop on Logic, Language, Information and Computation (WOLLIC'99). Itatia, RJ : Sociedade Brasileira de Lógica (SBL) / Sociedade Brasileira de Computação (SBC), Itatiaia, RJ. 1999. (Apresentação de Trabalho/Conferência ou palestra).
53. D'OTTAVIANO, I. M. L. . Translations between logics: overview and perspectives. ProBral Meetings: Logics Modelling of Applied Deduction Systems. Campinas, SP : CLE/UNICAMP. 1999. (Apresentação de Trabalho/Conferência ou palestra).
54. D'OTTAVIANO, I. M. L. . Translations between non-monotomic logics. ProBral Meetings: Logic Modelling of Applied Deduction Systems. Campinas, SP : CLE/UNICAMP. 1999. (Apresentação de Trabalho/Conferência ou palestra).
55. D'OTTAVIANO, I. M. L. . Newton da Costa e a lógica paraconsistente: homenagem a Newton da Costa. São Paulo, SP : DF/USP. 1999. (Apresentação de Trabalho/Conferência ou palestra).
56. D'OTTAVIANO, I. M. L. . Paraconsistência, hoje: homenagem a Newton da Costa. São Paulo, SP : IEA/USP. 1999. (Apresentação de Trabalho/Conferência ou palestra).
57. D'OTTAVIANO, I. M. L. . Many-valued logics and translations. XI Simpósio Latino-Americano de Lógica Matemática (XI SLALM). Mérida, Venezuela : Universidad de Merida. 1998. (Apresentação de Trabalho/Congresso).
58. D'OTTAVIANO, I. M. L. . VIII Encontro Nacional de Filosofia, promovido pela Associação Nacional de Pós-Graduação em Filosofia (ANPOF), Caxambu, MG, Coordenação de Mesa-Redonda: Lógicas não Clássicas. 1998. (Apresentação de Trabalho/Congresso).
59. D'OTTAVIANO, I. M. L. . Paraconsistent logics and translations. Stanislaw Jaskowski Memorial Symposium : Paraconsistency. Torún, Polônia : Department of Logic, Nicolaj Copernicus University. 1998. (Apresentação de Trabalho/Conferência ou palestra).
60. D'OTTAVIANO, I. M. L. . Sobre o conceito de auto-organização. Colóquio Michel Debrun. Campinas, SP : CLE/UNICAMP. 1998. (Apresentação de Trabalho/Conferência ou palestra).
61. D'OTTAVIANO, I. M. L. . Traduções entre lógicas. Seminários do Grupo de Lógica. São Paulo, SP : DF/USP. 1998. (Apresentação de Trabalho/Conferência ou palestra).
62. D'OTTAVIANO, I. M. L. . Lógicas clássicas e não clássicas. Seminário do Núcleo de Filosofia das Ciências da Vida e da Saúde. Rio de Janeiro, RJ : Casa de Oswaldo Cruz, Fio Cruz. 1998. (Apresentação de Trabalho/Conferência ou palestra).
63. D'OTTAVIANO, I. M. L. . Translations between logics. X Simpósio Latino-Americano de Lógica Matemática (X SLALM). Bogotá, Colômbia : Universidad de los Andes. 1995. (Apresentação de Trabalho/Comunicação).
64. D'OTTAVIANO, I. M. L. . The intellectual development of Andrés Raggio. IX Simpósio Latino-Americano de Lógica Matemática (IX SLALM). Bahía Blanca, Argentina : Universidad Nacional del Sur. 1993. (Apresentação de Trabalho/Conferência ou palestra).
65. D'OTTAVIANO, I. M. L. . Conhecimento e Ética na Ciência Contemporanea, Campinas, SP, Mesa Redonda: Uma Nova Mentalidade Ecológica. 1992. (Apresentação de Trabalho/Outra).
66. D'OTTAVIANO, I. M. L. . Colóquio Comemorativo dos XIII anos da Revista Manuscrito, Campinas, SP, Mesa Redonda: Produção do Trabalho Filosófico. 1990. (Apresentação de Trabalho/Outra).
67. D'OTTAVIANO, I. M. L. . J3-Model theory. Coloquium de Lógica. Firenze, Itália : Universitá degli Studi di Firenze. 1990. (Apresentação de Trabalho/Conferência ou palestra).
68. D'OTTAVIANO, I. M. L. . Paraconsistent logic. Seminários de Lógica. Milano, Itália : Universitá degli Studi di Milano. 1990. (Apresentação de Trabalho/Conferência ou palestra).
69. D'OTTAVIANO, I. M. L. . Many-valued Lukasiewicz algebras. Seminários de Lógica. Torino, Itália : Universitá degli Studi di Torino. 1990. (Apresentação de Trabalho/Conferência ou palestra).
70. D'OTTAVIANO, I. M. L. . On the development of paraconsistent logic. Seminários de Lógica. Torino, Itália : Universitá degli Studi di Torino. 1990. (Apresentação de Trabalho/Conferência ou palestra).
71. D'OTTAVIANO, I. M. L. . Philosophical import of paraconsistent logic. Seminários de Lógica. Torino, Itália : Universitá degli Studi di Torino. 1990. (Apresentação de Trabalho/Conferência ou palestra).
72. D'OTTAVIANO, I. M. L. . Paraconsistent logic. Seminar on the Philosophy of Mathematics. Oxford, Inglaterra. 1988. (Apresentação de Trabalho/Conferência ou palestra).
73. D'OTTAVIANO, I. M. L. . Paraconsistent and many-valued logic. Seminário de História e Filosofia da Ciência. Lisboa, Portugal : D. Química. Universidade Clássica de Lisboa. 1988. (Apresentação de Trabalho/Conferência ou palestra).
74. D'OTTAVIANO, I. M. L. . The model extension theorems and quantifier elimination for J3-Theories. Seminar in Logic and the Foundation of Mathematics. Standford, USA. 1985. (Apresentação de Trabalho/Conferência ou palestra).
75. D'OTTAVIANO, I. M. L. . J3-Model theory. Logic Seminar. Berkeley, USA : Mathematics Department. University of California, Berkeley. 1985. (Apresentação de Trabalho/Conferência ou palestra).
76. D'OTTAVIANO, I. M. L. . J3-Model theory. VI Simpósio LatinoAmericano de Lógica Matemática (VI SLALM). Caracas, Venezuela : Instituto Venezolano de Investigaciones Científicas. 1983. (Apresentação de Trabalho/Comunicação).
77. D'OTTAVIANO, I. M. L. . The completeness and compactness of a three-valued first-order logic. V Simpósio LatinoAmericano de Lógica Matemática (V SLALM). Bogotá, Colômbia : Universidad de los Andes. 1981. (Apresentação de Trabalho/Comunicação).
Demais tipos de produção bibliográfica
1. D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. . Brazilian national identity and self-organization. Coleção CLE, vol. 53. Campinas, SP: CLE/UNICAMP, 2009 (Orelha de Capa de Livro).
2. D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. . Brazilian national identity and self-organization. Coleção CLE, vol. 53. Campinas, SP: CLE/UNICAMP, 2009 (Editor de Livro Científico).
3. D'OTTAVIANO, I. M. L. . Lógica de Primeira Ordem (First-Order Logic). São Paulo: EDUNESP/Discurso, 2009 (Orelha de Capa de Livro).
4. D'OTTAVIANO, I. M. L. ; MUNDICI, D. ; CARNIELLI, W. A. ; CONIGLIO, M. E. . Annals of the CLE/AIPS Event - Science, Truth and Consistency. Campinas, SP: CLE/UNICAMP, 2009 (Organizadora).
5. D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. . Brazilian national identity and self-organization. Coleção CLE, vol. 53. Campinas, SP, 2009. (Prefácio, Pósfacio/Prefácio).
6. CARNIELLI, W. A. ; CONIGLIO, M. E. ; D'OTTAVIANO, I. M. L. . The many sides of logics, 2009. (Prefácio, Pósfacio/Prefácio).
7. D'OTTAVIANO, I. M. L. ; CARNIELLI, W. A. ; CONIGLIO, M. E. . Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE/UNICAMP, 2008 (Organizadora).
8. BRESCIANI, E. ; D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. ; SOUZA, G. M. . Auto-Organização: estudos interdisciplinares. Coleção CLE, vol. 52. Campinas, SP: CLE/UNICAMP, 2008 (Orelha de Capa de Livro).
9. MORENO, A.R. ; D'OTTAVIANO, I. M. L. . Alguns aspectos do pensamento formal: homenagem a Gilles-Gaston Granger. Org. Moreno, A.R. Coleção CLE vol. 50.. Campinas, SP: CLE/UNICAMP, 2008 (Orelha de Capa de Livro).
10. MORENO, A.R. ; D'OTTAVIANO, I. M. L. . Alguns aspectos do pensamento formal: homenagem a Gilles-Gaston Granger. Org. Moreno, A.R. Coleção CLE vol. 50.. Campinas, SP: CLE/UNICAMP, 2008 (Editor de Livro Científico).
11. NASCIMENTO, M. B. ; D'OTTAVIANO, I. M. L. . O realismo naturalista de Quine: crença e conhecimento sem dogmas. Autor: Marcos Bulcão Nascimento. Coleção CLE vol. 51.. Campinas, SP: CLE/UNICAMP, 2008 (Orelha de Capa de Livro).
12. NASCIMENTO, M. B. ; D'OTTAVIANO, I. M. L. . O realismo naturalista de Quine: crença e conhecimento sem dogmas. Autor: Marcos Bulcão Nascimento. Coleção CLE vol. 51.. Campinas, SP: CLE/UNICAMP, 2008 (Editor de Livro Científico).
13. BRESCIANI, E. ; D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. ; SOUZA, G. M. . Auto-Organização: estudos interdisciplinares. Coleção CLE, vol. 52. Campinas, SP: CLE/UNICAMP, 2008 (Editor de Livro Científico).
14. BRESCIANI, E. ; D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. ; SOUZA, G. M. . Auto-Organização: estudos interdisciplinares. Coleção CLE, vol. 52. Campinas, SP, 2008. (Prefácio, Pósfacio/Prefácio).
15. D'OTTAVIANO, I. M. L. . História da Matemática. Autor: Rubens G. Lintz. Coleção CLE v. 45 (Volume 1 - 2a. Edição), 500p. Campinas, SP: CLE/UNICAMP, 2007 (Editor de Livro Científico).
16. D'OTTAVIANO, I. M. L. . História da Matemática. Autor: Rubens G. Lintz. Coleção CLE v. 45 (Volume 1 - 2a. Edição), 500p. Campinas, SP: CLE/UNICAMP, 2007 (Orelha de Capa de Livro).
17. D'OTTAVIANO, I. M. L. . História da Matemática. Autor: Rubens G. Lintz. Coleção CLE v. 46 (Volume 2), 615p. Campinas, SP: CLE/UNICAMP, 2007 (Orelha de Capa de Livro).
18. D'OTTAVIANO, I. M. L. . História da Matemática. Autor: Rubens G. Lintz. Coleção CLE v. 46 (Volume 2), 615p. Campinas, SP: CLE/UNICAMP, 2007 (Editor de Livro Científico).
19. D'OTTAVIANO, I. M. L. . Evolucionismo e Materialismo: epistemologia e história dos conceitos. Organizador: de Moraes, J.Q. Coleção CLE, v. 47. Campinas, SP: CLE/UNICAMP, 2007 (Editor de Livro Científico).
20. Souto, R.M.A. ; D'OTTAVIANO, I. M. L. . Mário Tourasse Teixeira: o homem, o educador, o matemático. Autor: Romélia Mara Alves Souto. Coleção CLE, v. 48. Campinas, SP: CLE/UNICAMP, 2007 (Editor de Livro Científico).
21. MORENO, A.R. ; D'OTTAVIANO, I. M. L. . Wittgenstein: aspectos pragmáticos. Organizador: Moreno, A.R. Coleção CLE, v. 49.. Campinas, SP: CLE/UNICAMP, 2007 (Editor de Livro Científico).
22. D'OTTAVIANO, I. M. L. . Evolucionismo e Materialismo: epistemologia e história dos conceitos. Organizador: de Moraes, J.Q. Coleção CLE, v. 47. Campinas, SP: CLE/UNICAMP, 2007 (Orelha de Capa de Livro).
23. Souto, R.M.A. ; D'OTTAVIANO, I. M. L. . Mário Tourasse Teixeira: o homem, o educador, o matemático. Autor: Romélia Mara Alves Souto. Coleção CLE, v. 48. Campinas, SP: CLE/UNICAMP, 2007 (Orelha de Capa de Livro).
24. MORENO, A.R. ; D'OTTAVIANO, I. M. L. . Wittgenstein: aspectos pragmáticos. Organizador: Moreno, A.R. Coleção CLE, v. 49.. Campinas, SP: CLE/UNICAMP, 2007 (Orelha de Capa de Livro).
25. D'OTTAVIANO, I. M. L. . Wittgenstein: Ética - Estética - Epistemologia. Autor: Arley R. Moreno (Org.). Coleção CLE v. 43, 155p. Campinas, SP: CLE/UNICAMP, 2006 (Editor de Livro Científico).
26. D'OTTAVIANO, I. M. L. . Wittgenstein: Ética - Estética - Epistemologia. Autor: Arley R. Moreno (Org.). Coleção CLE v. 43, 155p. Campinas, SP: CLE/UNICAMP, 2006 (Orelha de Capa de Livro).
27. D'OTTAVIANO, I. M. L. . Filosofia da Mente e Inteligência Artificial. Autor: João de Fernandes Teixeira. Coleção CLE v. 44, (2a. Edição), 185p. Campinas, SP: CLE/UNICAMP, 2006 (Editor de Livro Científico).
28. D'OTTAVIANO, I. M. L. . Filosofia da Mente e Inteligência Artificial. Autor: João de Fernandes Teixeira. Coleção CLE v. 44, (2a. Edição), 185p. Campinas, SP: CLE/UNICAMP, 2006 (Orelha de Capa de Livro).
29. D'OTTAVIANO, I. M. L. . Introdução à teoria da relatividade com aplicação à física nuclear. Autor: Bernardes, N. Coleção CLE v. 40, p.125. Campinas, SP: CLE/UNICAMP, 2005 (Editor de Livro Científico).
30. D'OTTAVIANO, I. M. L. . Introdução à teoria da relatividade com aplicação à física nuclear. Autor: Bernardes, N. Coleção CLE v. 40, p.125. Campinas, SP: CLE/UNICAMP, 2005 (Orelha de Capa de Livro).
31. D'OTTAVIANO, I. M. L. . A semântica transcendental de Kant. Autor: Loparic, Z. Coleção CLE v. 41, 3a. Ed., 328p. Campinas, SP: CLE/UNICAMP, 2005 (Editor de Livro Científico).
32. D'OTTAVIANO, I. M. L. . A semântica transcendental de Kant. Autor: Loparic, Z. Coleção CLE v. 41, 3a. Ed., 328p. Campinas, SP: CLE/UNICAMP, 2005 (Orelha de Capa de Livro).
33. D'OTTAVIANO, I. M. L. . Logical Forms - Part II - Logic, language and knowledge. Autor: Chateaubriand, O. Coleção CLE v. 42, 521p. Campinas, SP: CLE/UNICAMP, 2005 (Editor de Livro Científico).
34. D'OTTAVIANO, I. M. L. . Logical Forms - Part II - Logic, language and knowledge. Autor: Chateaubriand, O. Coleção CLE v. 42, 521p. Campinas, SP: CLE/UNICAMP, 2005 (Orelha de Capa de Livro).
35. D'OTTAVIANO, I. M. L. ; CARNIELLI, W. A. ; CONIGLIO, M. E. . An event on Brazilian logic. Proceedings of the XIII Brazilian Logic Conference (XIII EBL). Logic Journal of the Interest Group in Pure and Applied Logic, v.8, n.2, 280p. Oxford, Inglaterra, 2005. (Prefácio, Pósfacio/Prefácio).
36. D'OTTAVIANO, I. M. L. . Auto-organização: estudos interdisciplinares. Organizadores: Souza, G.M.; D'Ottaviano, I.M.L.; Gonzalez, M.E.Q. Coleção CLE v. 38, p.320. Campinas, SP: CLE/UNICAMP, 2004 (Editor de Livro Científico).
37. D'OTTAVIANO, I. M. L. . Auto-organização: estudos interdisciplinares. Organizadores: Souza, G.M.; D'Ottaviano, I.M.L.; Gonzalez, M.E.Q. Coleção CLE v. 38, p.320. Campinas, SP: CLE/UNICAMP, 2004 (Orelha de Capa de Livro).
38. D'OTTAVIANO, I. M. L. . Lógica: teoria, aplicações e reflexões. Organizadores: Feitosa, H.A.; Sautter, F.T. Coleção CLE v. 39, p.196. Campinas, SP: CLE/UNICAMP, 2004 (Editor de Livro Científico).
39. D'OTTAVIANO, I. M. L. . Lógica: teoria, aplicações e reflexões. Organizadores: Feitosa, H.A.; Sautter, F.T. Coleção CLE v. 39, p.196. Campinas, SP: CLE/UNICAMP, 2004 (Orelha de Capa de Livro).
40. D'OTTAVIANO, I. M. L. ; CARNIELLI, W. A. ; CONIGLIO, M. E. . An event on Brazilian logic. Proceedings of the XIII Brazilian Logic Conference (XIII EBL). Logic Journal of the Interest Group in Pure and Applied Logic, v.8, n.1, 300p.. Oxford, Inglaterra, 2004. (Prefácio, Pósfacio/Prefácio).
41. D'OTTAVIANO, I. M. L. . Auto-organização: estudos interdisciplinares. Organizadores: Souza, G.M.; D'Ottaviano, I.M.L.; Gonzalez, M.E.Q. Coleção CLE v. 38, p.320. Campinas, SP, 2004. (Prefácio, Pósfacio/Prefácio).
42. D'OTTAVIANO, I. M. L. . O filósofo e sua história: uma homenagem a Oswaldo Porchat. Organizadores: Wrigley, M.B.; Smith, P.J. Coleção CLE v. 36, p.525. Campinas, SP: CLE/UNICAMP, 2003 (Editor de Livro Científico).
43. D'OTTAVIANO, I. M. L. . O filósofo e sua história: uma homenagem a Oswaldo Porchat. Organizadores: Wrigley, M.B.; Smith, P.J. Coleção CLE v. 36, p.525. Campinas, SP: CLE/UNICAMP, 2003 (Orelha de Capa de Livro).
44. D'OTTAVIANO, I. M. L. . Problemas, lenguajes y algoritmos. Autores: Sagastume, M.; Baum, G.; Martínez, G. Coleção CLE v. 37, p.279. Campinas, SP: CLE/UNICAMP, 2003 (Editor de Livro Científico).
45. D'OTTAVIANO, I. M. L. . Problemas, lenguajes y algoritmos. Autores: Sagastume, M.; Baum, G.; Martínez, G. Coleção CLE v. 37, p.279. Campinas, SP: CLE/UNICAMP, 2003 (Orelha de Capa de Livro).
46. D'OTTAVIANO, I. M. L. . A gramática das cores em Wittgenstein. Autor: Salles, J.C. Coleção CLE v. 35, p.444. Campinas, SP: CLE/UNICAMP, 2002 (Editor de Livro Científico).
47. D'OTTAVIANO, I. M. L. . A gramática das cores em Wittgenstein. Autor: Salles, J.C. Coleção CLE v. 35, p.444. Campinas, SP: CLE/UNICAMP, 2002 (Orelha de Capa de Livro).
48. D'OTTAVIANO, I. M. L. ; CARNIELLI, W. A. ; CONIGLIO, M. E. . Paraconsistency: the logical way to the inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP'2000). New York, 2002. (Prefácio, Pósfacio/Prefácio).
49. D'OTTAVIANO, I. M. L. . A epistemologia de Claude Bernard. Autor: Dutra, L.H. Coleção CLE v. 33, p.162. Campinas, SP: CLE/UNICAMP, 2001 (Editor de Livro Científico).
50. D'OTTAVIANO, I. M. L. . A epistemologia de Claude Bernard. Autor: Dutra, L.H. Coleção CLE v. 33, p.162. Campinas, SP: CLE/UNICAMP, 2001 (Orelha de Capa de Livro).
51. D'OTTAVIANO, I. M. L. . Logical forms. Part I - Truth and descriptions. Autor: Chateaubriand, O. Coleção CLE v. 34, p. 442. Campinas, SP: CLE/UNICAMP, 2001 (Editor de Livro Científico).
52. D'OTTAVIANO, I. M. L. . Logical forms. Part I - Truth and descriptions. Autor: Chateaubriand, O. Coleção CLE v. 34, p. 442. Campinas, SP: CLE/UNICAMP, 2001 (Orelha da Capa do Livro).
53. D'OTTAVIANO, I. M. L. . Gramsci: filosofia, política e bom senso. Autor: Debrun, M. Coleção CLE v. 31, p.290. Campinas, SP: CLE/UNICAMP, 2001 (Editor de Livro Científico).
54. D'OTTAVIANO, I. M. L. . Sintaxe e semântica universais. Autor: Pereira, M.K.F. Coleção CLE v. 32, p.158. Campinas, SP: CLE/UNICAMP, 2001 (Editor de Livro Científico).
55. D'OTTAVIANO, I. M. L. . Sintaxe e semântica universais. Autor: Pereira, M.K.F. Coleção CLE v. 32, p.158. Campinas, SP: CLE/UNICAMP, 2001 (Orelha de Capa de Livro).
56. D'OTTAVIANO, I. M. L. . A semântica transcendental de Kant: um estudo sobre a analítica transcendental. Autor: Loparic, Z. Coleção CLE v. 29, p.326. Campinas, SP: CLE/UNICAMP, 2000 (Editor de Livro Científico).
57. D'OTTAVIANO, I. M. L. . A semântica transcendental de Kant: um estudo sobre a analítica transcendental. Autor: Loparic, Z. Coleção CLE v. 29, p.326. Campinas, SP: CLE/UNICAMP, 2000 (Orelha de Capa de Livro).
58. D'OTTAVIANO, I. M. L. . Auto-organização: estudos interdisciplinares. Organizadores: D'Ottaviano, I.M.L.; Gonzales, M.E.Q. Coleção CLE v. 30, p.336. Campinas, SP: CLE/UNICAMP, 2000 (Editor de Livro Científico).
59. D'OTTAVIANO, I. M. L. . Auto-organização: estudos interdisciplinares. Organizadores: D'Ottaviano, I.M.L.; Gonzales, M.E.Q. Coleção CLE v. 30, p.336. Campinas, SP: CLE/UNICAMP, 2000 (Orelha de Capa de Livro).
60. D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. . Auto-organização: estudos interdisciplinares. Coleção CLE v. 30, 336p.. Campinas, SP, 2000. (Prefácio, Pósfacio/Prefácio).
61. D'OTTAVIANO, I. M. L. . David Bohm e a controvérsia dos quanta. Autor: Freire Jr., O. Coleção CLE v. 27, p.272. Campinas, SP: CLE/UNICAMP, 1999 (Editor de Livro Científico).
62. D'OTTAVIANO, I. M. L. . David Bohm e a controvérsia dos quanta. Autor: Freire Jr., O. Coleção CLE v. 27, p.272. Campinas, SP: CLE/UNICAMP, 1999 (Orelha de Capa de Livro).
63. D'OTTAVIANO, I. M. L. . Fundamentos da psicanálise: pensamento, linguagem, realidade e angústia. Autor: Gabbi Jr., O.F. Coleção CLE v. 28, p.205. Campinas, SP: CLE/UNICAMP, 1999 (Editor de Livro Científico).
64. D'OTTAVIANO, I. M. L. . Fundamentos da psicanálise: pensamento, linguagem, realidade e angústia. Autor: Gabbi Jr., O.F. Coleção CLE v. 28, p.205. Campinas, SP: CLE/UNICAMP, 1999 (Orelha de Capa de Livro).
65. D'OTTAVIANO, I. M. L. . O empirismo construtivo: uma reformulação e defesa. Autor: Bueno, O. Coleção CLE v. 25, p.350. Campinas, SP: CLE/UNICAMP, 1999 (Editor de Livro Científico).
66. D'OTTAVIANO, I. M. L. . O empirismo construtivo: uma reformulação e defesa. Autor: Bueno, O. Coleção CLE v. 25, p.350. Campinas, SP: CLE/UNICAMP, 1999 (Orelha de Capa de Livro).
67. D'OTTAVIANO, I. M. L. . O estatuto das entidades metapsicológicas à luz da teoria kantiana das idéias. Autor: Blum, V.L. Coleção CLE v. 24, p.149. Campinas, SP: CLE/UNICAMP, 1999 (Editor de Livro Científico).
68. D'OTTAVIANO, I. M. L. . O estatuto das entidades metapsicológicas à luz da teoria kantiana das idéias. Autor: Blum, V.L. Coleção CLE v. 24, p.149. Campinas, SP: CLE/UNICAMP, 1999 (Orelha de Capa de Livro).
69. D'OTTAVIANO, I. M. L. . Termodinâmica, linguagem e indeterminação. Autor: Bernardes, N. Coleção CLE v. 26, p.85. Campinas, SP: CLE/UNICAMP, 1999 (Editor de Livro Científico).
70. D'OTTAVIANO, I. M. L. . Termodinâmica, linguagem e indeterminação. Autor: Bernardes, N. Coleção CLE v. 26, p.85 1999 (Orelha de Capa de Livro).
71. D'OTTAVIANO, I. M. L. ; CARNIELLI, W. A. . Advances in contemporary logic and computer science. American Mathematical Society. Series Contemporary Mathematics, v. 235, 1999. (Prefácio, Pósfacio/Prefácio).
72. D'OTTAVIANO, I. M. L. . Elementos de teoria paraconsistente de conjuntos. Autores: Costa, N.C.A.; Beziau, J.Y.; Bueno, O. Coleção CLE v. 23, p.196. Campinas, SP: CLE/UNICAMP, 1998 (Editor de Livro Científico).
73. D'OTTAVIANO, I. M. L. . Elementos de teoria paraconsistente de conjuntos. Autores: Costa, N.C.A.; Beziau, J.Y.; Bueno, O. Coleção CLE v. 23, p.196. Campinas, SP: CLE/UNICAMP, 1998 (Orelha de Capa de Livro).
74. D'OTTAVIANO, I. M. L. . Mecânica relacional. Autor: Assis, A.K.T. Coleção CLE v. 22, p.350. Campinas, SP: CLE/UNICAMP, 1998 (Editor de Livro Científico).
75. D'OTTAVIANO, I. M. L. . Mecânica relacional. Autor: Assis, A.K.T. Coleção CLE v. 22, p.350. Campinas, SP: CLE/UNICAMP, 1998 (Orelha de Capa de Livro).
76. D'OTTAVIANO, I. M. L. . Aspectos da descrição física da realidade. Autor: Chibeni, S.S. Coleção CLE v. 21, p.208. Campinas, SP: CLE/UNICAMP, 1997 (Editor de Livro Científico).
77. D'OTTAVIANO, I. M. L. . Aspectos da descrição física da realidade. Autor: Chibeni, S.S. Coleção CLE v. 21, p.208. Campinas, SP: CLE/UNICAMP, 1997 (Orelha de Capa de Livro).
78. D'OTTAVIANO, I. M. L. . Introducción a la teoria de conjuntos y los fundamentos de las matemáticas. Autor: Di Prisco, C.A. Coleção CLE 20, p.159. Campinas, SP: CLE/UNICAMP, 1997 (Editor de Livro Científico).
79. D'OTTAVIANO, I. M. L. . Introducción a la teoria de conjuntos y los fundamentos de las matemáticas. Autor: Di Prisco, C.A. Coleção CLE 20, p.159. Campinas, SP: CLE/UNICAMP, 1997 (Orelha de Capa de Livro).
80. D'OTTAVIANO, I. M. L. . Potencial científico: estructura y problemas de evaluación. Autor: Kara-Murza, S. Coleção CLE v. 19, p.253. Campinas, SP: CLE/UNICAMP, 1997 (Editor de Livro Científico).
81. D'OTTAVIANO, I. M. L. . Potencial científico: estructura y problemas de evaluación. Autor: Kara-Murza, S. Coleção CLE v. 19, p.253. Campinas, SP: CLE/UNICAMP, 1997 (Orelha de Capa de Livro).
82. D'OTTAVIANO, I. M. L. . Auto-organização: estudos interdisciplinares. Organizadores: Debrun, M.; Gonzales, M.E.Q.; Pessoa Jr., O. Coleção CLE v. 18, p.455. Campinas, SP: CLE/UNICAMP, 1996 (Editor de Livro Científico).
83. D'OTTAVIANO, I. M. L. . Auto-organização: estudos interdisciplinares. Organizadores: Debrun, M.; Gonzales, M.E.Q.; Pessoa Jr., O. Coleção CLE v. 18, p.455. Campinas, SP: CLE/UNICAMP, 1996 (Orelha de Capa de Livro).
84. D'OTTAVIANO, I. M. L. . Filosofia da mente e inteligência artificial. Autor: Teixeira, J.F. Coleção CLE v. 17, p.201. Campinas, SP: CLE/UNICAMP, 1996 (Editor de Livro Científico).
85. D'OTTAVIANO, I. M. L. . Filosofia da mente e inteligência artificial. Autor: Teixeira, J.F. Coleção CLE v. 17, p.201. Campinas, SP: CLE/UNICAMP, 1996 (Orelha de Capa de Livro).
86. D'OTTAVIANO, I. M. L. . Tese de Church: algumas questões histórico-conceituais. Autor: Biraben, R.E. Coleção CLE v. 16, p.98. Campinas, SP: CLE/UNICAMP, 1996 (Editor de Livro Científico).
87. D'OTTAVIANO, I. M. L. . Tese de Church: algumas questões histórico-conceituais. Autor: Biraben, R.E. Coleção CLE v. 16, p.98. Campinas, SP: CLE/UNICAMP, 1996 (Orelha de Capa de Livro).
88. D'OTTAVIANO, I. M. L. . Espaço e tempo. Organizador: Évora, F.R.R. Coleção CLE v. 15, p.300. Campinas, SP: CLE/UNICAMP, 1995 (Editor de Livro Científico).
89. D'OTTAVIANO, I. M. L. . Espaço e tempo. Organizador: Évora, F.R.R. Coleção CLE v. 15, p.300. Campinas, SP: CLE/UNICAMP, 1995 (Orelha de Capa de Livro).
90. D'OTTAVIANO, I. M. L. . Logic, sets and information. Organizadores: Carnielli, W.A.; Pereira, L.C. Coleção CLE v. 14, p.274. Campinas, SP: CLE/UNICAMP, 1995 (Editor de Livro Científico).
91. D'OTTAVIANO, I. M. L. . Logic, sets and information. Organizadores: Carnielli, W.A.; Pereira, L.C. Coleção CLE v. 14, p.274. Campinas, SP: CLE/UNICAMP, 1995 (Orelha de Capa de Livro).
92. D'OTTAVIANO, I. M. L. . Álgebras das lógicas de Lukasiewicz. Autores: Cignoli, R.L.O.; D'Ottaviano, I.M.L.; Mundici, D. Coleção CLE v. 12 (2ª ed.), p.256. Campinas, SP: CLE/UNICAMP, 1995 (Editor de Livro Científico).
93. D'OTTAVIANO, I. M. L. . Álgebras das lógicas de Lukasiewicz. Autores: Cignoli, R.L.O.; D'Ottaviano, I.M.L.; Mundici, D. Coleção CLE v. 12 (2ª ed.), p.256. Campinas, SP: CLE/UNICAMP, 1995 (Orelha de Capa de Livro).
94. D'OTTAVIANO, I. M. L. . Freud: racionalidade, sentido e referência. Autor: Gabbi Jr., O.F. Coleção CLE v. 13, p.236. Campinas, SP: CLE/UNICAMP, 1994 (Editor de Livro Científico).
95. D'OTTAVIANO, I. M. L. . Freud: racionalidade, sentido e referência. Autor: Gabbi Jr., O.F. Coleção CLE v. 13, p.236. Campinas, SP: CLE/UNICAMP, 1994 (Orelha de Capa de Livro).
96. D'OTTAVIANO, I. M. L. . Álgebras das lógicas de Lukasiewicz. Autores: Cignoli, R.L.O.; D'Ottaviano, I.M.L.; Mundici, D. Coleção CLE v. 12, p.256. Campinas, SP: CLE/UNICAMP, 1994 (Editor de Livro Científico).
97. D'OTTAVIANO, I. M. L. . Álgebras das lógicas de Lukasiewicz. Autores: Cignoli, R.L.O.; D'Ottaviano, I.M.L.; Mundici, D. Coleção CLE v. 12, p.256. Campinas, SP: CLE/UNICAMP, 1994 (Orelha de Capa de Livro).
98. D'OTTAVIANO, I. M. L. . A revolução copernicano-galileana: astronomia e cosmologia pré-galileana. Autor: Évora, F.R.R. Coleção CLE v. 3 (2ª Ed.), p.191. Campinas, SP: CLE/UNICAMP, 1993 (Editor de Livro Científico).
99. D'OTTAVIANO, I. M. L. . A revolução copernicano-galileana: astronomia e cosmologia pré-galileana. Autor: Évora, F.R.R. Coleção CLE v. 3 (2ª Ed.), p.191. Campinas, SP: CLE/UNICAMP, 1993 (Orelha de Capa de Livro).
100. D'OTTAVIANO, I. M. L. . Século XIX: o nascimento da ciência contemporânea. Organizador: Évora, F.R.R. Coleção CLE v. 11, p.439. Campinas, SP: CLE/UNICAMP, 1992 (Editor de Livro Científico).
101. D'OTTAVIANO, I. M. L. . Século XIX: o nascimento da ciência contemporânea. Organizador: Évora, F.R.R. Coleção CLE v. 11, p.439. Campinas, SP: CLE/UNICAMP, 1992 (Orelha de Capa de Livro).
102. D'OTTAVIANO, I. M. L. . A inércia e o espaço-tempo absoluto de Newton a Einstein: Uma análise filosófica. Autor: Ghins, M.O.M.J. Coleção CLE v. 9, p.250. Campinas, SP: CLE/UNICAMP, 1991 (Editor de Livro Científico).
103. D'OTTAVIANO, I. M. L. . A inércia e o espaço-tempo absoluto de Newton a Einstein: Uma análise filosófica. Autor: Ghins, M.O.M.J. Coleção CLE v. 9, p.250. Campinas, SP: CLE/UNICAMP, 1991 (Orelha de Capa de Livro).
104. D'OTTAVIANO, I. M. L. . O método dos isomorfismos parciais e a caracterização algébrica da expressabilidade matemática. Autor: Vazques, J.C.C. Coleção CLE v. 10, p.223. Campinas, SP: CLE/UNICAMP, 1991 (Editor de Livro Científico).
105. D'OTTAVIANO, I. M. L. . O método dos isomorfismos parciais e a caracterização algébrica da expressabilidade matemática. Autor: Vazques, J.C.C. Coleção CLE v. 10, p.223. Campinas, SP: CLE/UNICAMP, 1991 (Orelha de Capa de Livro).
106. D'OTTAVIANO, I. M. L. ; ALCÂNTARA, L. P. . The Journal of Non-Classical Logic, v.8, n.1. Campinas, SP: CLE/UNICAMP, 1991 (Editor de Livro Científico).
107. D'OTTAVIANO, I. M. L. ; ALCÂNTARA, L. P. . The Journal of Non-Classical Logic, v.8, n.2. Campinas, SP: CLE/UNICAMP, 1991 (Editor de Livro Científico).
108. D'OTTAVIANO, I. M. L. . N.A. Vasiliev e a lógica paraconsistente. Autor: Arruda, A.I. Coleção CLE v. 7, p.110. Campinas, SP: CLE/UNICAMP, 1990 (Editor de Livro Científico).
109. D'OTTAVIANO, I. M. L. . N.A. Vasiliev e a lógica paraconsistente. Autor: Arruda, A.I. Coleção CLE v. 7, p.110. Campinas, SP: CLE/UNICAMP, 1990 (Orelha de Capa de Livro).
110. D'OTTAVIANO, I. M. L. . Razão e afetividade: o pensamento de Lucien Levi-Bruhl. Autor: Oliveira, R.C. Coleção CLE v. 8, p.179. Campinas, SP: CLE/UNICAMP, 1990 (Editor de Livro Científico).
111. D'OTTAVIANO, I. M. L. . Razão e afetividade: o pensamento de Lucien Levi-Bruhl. Autor: Oliveira, R.C. Coleção CLE v. 8, p.179. Campinas, SP: CLE/UNICAMP, 1990 (Orelha de Capa de Livro).
112. D'OTTAVIANO, I. M. L. ; ALCÂNTARA, L. P. . The Journal of Non-Classical Logic, v.7, n.1/2. Campinas, SP: CLE/UNICAMP, 1990 (Editor de Livro Científico).
113. D'OTTAVIANO, I. M. L. . O desenvolvimento histórico da ciência da nutrição em relação a outras ciências. Autor: Santos, K.M.O. Coleção CLE v. 5, p.190. Campinas, SP: CLE/UNICAMP, 1989 (Editor de Livro Científico).
114. D'OTTAVIANO, I. M. L. . O desenvolvimento histórico da ciência da nutrição em relação a outras ciências. Autor: Santos, K.M.O. Coleção CLE v. 5, p.190. Campinas, SP: CLE/UNICAMP, 1989 (Orelha de Capa de Livro).
115. D'OTTAVIANO, I. M. L. . Sobre o predicativismo em Hermann Weyl. Autor: Silva, J.J. Coleção CLE v. 6, p.190. Campinas, SP: CLE/UNICAMP, 1989 (Editor de Livro Científico).
116. D'OTTAVIANO, I. M. L. . Sobre o predicativismo em Hermann Weyl. Autor: Silva, J.J. Coleção CLE v. 6, p.190. Campinas, SP: CLE/UNICAMP, 1989 (Orelha de Capa de Livro).
117. D'OTTAVIANO, I. M. L. . A revolução copernicano-galileana: astronomia e cosmologia pré-galileana. Autor: Évora, F.R.R. Coleção CLE v. 3, p.136. Campinas, SP: CLE/UNICAMP, 1988 (Editor de Livro Científico).
118. D'OTTAVIANO, I. M. L. . A revolução copernicano-galileana: astronomia e cosmologia pré-galileana. Autor: Évora, F.R.R. Coleção CLE v. 3, p.136. Campinas, SP: CLE/UNICAMP, 1988 (Orelha de Capa de Livro).
119. D'OTTAVIANO, I. M. L. . A revolução copernico-galileana: a revolução galileana. Autor: Évora, F.R.R. Coleção CLE v. 4, p.134. Campinas, SP: CLE/UNICAMP, 1988 (Editor de Livro Científico).
120. D'OTTAVIANO, I. M. L. . A revolução copernico-galileana: a revolução galileana. Autor: Évora, F.R.R. Coleção CLE v. 4, p.134. Campinas, SP: CLE/UNICAMP, 1988 (Orelha de Capa de Livro).
121. D'OTTAVIANO, I. M. L. . Cálculo proposicional: uma interação da álgebra e da lógica. Autor: Miraglia Neto, F. Coleção CLE v. 1, p.86. Campinas, SP: CLE/UNICAMP, 1987 (Editor de Livro Científico).
122. D'OTTAVIANO, I. M. L. . Cálculo proposicional: uma interação da álgebra e da lógica. Autor: Miraglia Neto, F. Coleção CLE v. 1, p.86. Campinas, SP: CLE/UNICAMP, 1987 (Orelha de Capa de Livro).
123. D'OTTAVIANO, I. M. L. . Regra W: passado, presente e futuro. Autores: D'Ottaviano, I.M.L., López-Escobar, E.G.K. Coleção CLE v. 2, p.58. Campinas, SP: CLE/UNICAMP, 1987 (Editor de Livro Científico).
124. D'OTTAVIANO, I. M. L. . Regra W: passado, presente e futuro. Autores: D'Ottaviano, I.M.L., López-Escobar, E.G.K. Coleção CLE v. 2, p.58. Campinas, SP: CLE/UNICAMP, 1987 (Orelha de Capa de Livro).
Produção técnica
Trabalhos técnicos
1. D'OTTAVIANO, I. M. L. . Membro da Comissão de Organização de Consulta (COC) do Conselho Universitário da Unicamp, para a escolha do Reitor da Unicamp. Mandato 2009-2013. 2009.
2. D'OTTAVIANO, I. M. L. . Parecerista ad hoc do processo de seleção e avaliação de periódicos da coleção SciELO Brasil. 2008.
3. D'OTTAVIANO, I. M. L. . Membro de Comitê Avaliador na FAPERJ - Grupos Emergentes de Pesquisa no Estado do Rio de Janeiro. 2008.
4. D'OTTAVIANO, I. M. L. . Membro da Comissão de Planejamento Estratégico Institucional - COPEI na qualidade de representante Docente Titular. 2008.
5. D'OTTAVIANO, I. M. L. . Avaliação de uma experiência em interdisciplinaridade acadêmica: os Centros e Núcleos da Unicamp. Projeto FAPESP, 2004, 320p. (Relatório de Pesquisa, com Queiroz, M.S.). 2004.
6. D'OTTAVIANO, I. M. L. . VII Colóquio Internacional Michel Debrun: Ciência Cognitiva no Século XXI. (Relatório Técnico, Coordenadora). Campinas, SP : CLE/UNICAMP. 2003.
7. D'OTTAVIANO, I. M. L. . Avaliação das atividades dos Núcleos e Centros Interdisciplinares de Pesquisa da Unicamp triênio 1997-1999 (Relatório Técnico). Campinas, SP : Conselho Universitário/UNICAMP, 300p.. 2002.
8. D'OTTAVIANO, I. M. L. . Relatorio final do Projeto FAPESP Auto-Organização: Conceito e Aplicações, 250p.. 2000.
9. D'OTTAVIANO, I. M. L. . Vestibular Unicamp - 1996: Discussão e Análise. Caderno AduniCamp 9, 1996, 94p. 1996.
10. D'OTTAVIANO, I. M. L. . Centro de Lógica, Epistemologia e História da Ciência: Relatório de Atividades 1986-1992, 50p. 1992.
11. D'OTTAVIANO, I. M. L. . CLE 10 anos: publicação comemorativa dos 10 anos do Centro de Lógica Epistemologia e História da Ciência (1977-1987). 1988.
12. D'OTTAVIANO, I. M. L. . Levantamento Sócio-Educativo de Campinas, 100p. 1978.
Demais tipos de produção técnica
1. D'OTTAVIANO, I. M. L. . Translations between logics. Tutorial ministrado no CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic. 2008. (Tutorial).
2. D'OTTAVIANO, I. M. L. . Translations between logics. Tutorial ministrado no 2nd World Congress and School on Universal Logic. 2007. (Tutorial).
3.
D'OTTAVIANO, I. M. L. ; GONZALES, M. E. Q. . Inteligência Artificial e Filosofia da Mente: uma reflexão a partir da teoria da auto-organização. Curso de Filosofia da Faculdade de São Bento do Mosteiro de São Bento, São Paulo, SP. 2006. (Curso de curta duração ministrado/Outra).
4. D'OTTAVIANO, I. M. L. . Entrevista a Yü Huijuan, Departamento de Língua Portuguesa, China Rádio Internacional. 2006. (Programa de rádio ou TV/Entrevista).
5. D'OTTAVIANO, I. M. L. ; FEITOSA, H. A. . Sobre a História da Lógica e o Surgimento das Lógicas Não-Clássicas. Campinas, SP : CLE/UNICAMP, 57p.. 2004. (Desenvolvimento de material didático ou instrucional - Ata de Curso).
6.
D'OTTAVIANO, I. M. L. . A lógica clássica e as lógicas não-classicas. Curso ministrado no V Seminário Nacional de História da Matemática. Rio Claro, SP : UNESP. 2003. (Curso de curta duração ministrado/Extensão).
7.
D'OTTAVIANO, I. M. L. . Lógicas não-clássicas. Minicurso ministrado para o Curso de Epistemologia e Lógica Aplicada às Ciências da Vida e da Saúde, Seminário do Núcleo de Filosofia e Ciências da Vida e da Saúde. Rio de Janeiro, RJ : Casa de Oswaldo Cruz, FioCruz. 1998. (Curso de curta duração ministrado/Extensão).
8.
D'OTTAVIANO, I. M. L. . Lógicas Não-Clássicas. Curso ministrado no Instituto de Inverno do II Encontro Internacional de Filosofia da Linguagem. Campinas, SP : IEL/UNICAMP. 1990. (Curso de curta duração ministrado/Extensão).
9.
D'OTTAVIANO, I. M. L. . Questões Filosóficas Relativas às Lógicas Paraconsistentes. Curso ministrado na Semana de Estudos em Lógica. Belo Horizonte, MG : UFMG. 1990. (Curso de curta duração ministrado/Extensão).
10.
D'OTTAVIANO, I. M. L. . Curso de Especialização e Aperfeiçoamento em História da Ciência. IFCH/UNICAMP. 1990. (Curso de curta duração ministrado/Especialização).
11. D'OTTAVIANO, I. M. L. . Atas do curso de cálculo e álgebra linear. Relatório Interno IMECC, 1983, 250p. Campinas, SP : IMECC. 1983. (Desenvolvimento de material didático ou instrucional - Ata de Curso).
12.
D'OTTAVIANO, I. M. L. . Introdução à Lógica. Curso ministrado no II Encontro Brasileiro de Lógica (II EBL). 1978. (Curso de curta duração ministrado/Extensão).
Demais trabalhos
1. D'OTTAVIANO, I. M. L. . Coordenadora dos "Seminários Interdisciplinares CLE Auto-Organização, 2007, 2008. 2009 (Coordenadora).
2. D'OTTAVIANO, I. M. L. . Chair e Membro do Scientific Committee do Evento CLE/AIPS - Science, Truth and Consistency. 2009 (Coordenadora e Membro da Comissão Científica).
3. D'OTTAVIANO, I. M. L. . Membro do Organizing Committee do Scientific Committee do Evento Model Based Reasoning. 2009 (Coordenadora e Membro da Comissão Científica).
4. D'OTTAVIANO, I. M. L. . Chair e Membro do Scientific Committee do CLE 30 ANOS-XV Encontro Brasileiro de Lógica - XIV Simpósio Latino-Americano de Lógica Matemática. 2008 (Membro do Comitê Científico).
5. D'OTTAVIANO, I. M. L. . Coordenadora da Comissão de Trabalho do V Encontro Internacional de Informação, Conhecimento e Ação-Informação, Tecnologia e Ação. 2007 (Coordenadora).
6. D'OTTAVIANO, I. M. L. . Coordenadora do Colloquium CLE 30 ANOS. 2007 (Coordenadora).
7. D'OTTAVIANO, I. M. L. . Coordenadora das Conferências CLE 30 ANOS. 2007 (Coordenadora).
8. D'OTTAVIANO, I. M. L. . (Organizadora) Seminários Regulares do Grupo Interdisciplinar CLE Auto-Organização - 1997 a 2006. 2006 (Organizadora dos Seminários).
9. D'OTTAVIANO, I. M. L. . Membro do Comitê Científico do XIV Encontro Brasileiro de Lógica - EBL. 2006 (Membro do Comitê Científico).
10. D'OTTAVIANO, I. M. L. . Membro do Comitê Científico do XIII LatinAmerican Symposium on Mathematical Logic - SLALM. 2006 (Membro do Comitê Científico).
11. D'OTTAVIANO, I. M. L. . (Membro do Comitê Organizador) VII Encontro Brasileiro Internacional de Ciência Cognitiva (VII EBICC) e do VII Colóquio Michel Debrun. 2006 (Membro do Comitê Científico).
12. D'OTTAVIANO, I. M. L. . Membro do comitê organizador do evento "Semantics and Meaning (SeMe-2005)". 2005 (Organizadora de Seminários).
13. D'OTTAVIANO, I. M. L. . (Organizadora) Seminários Regulares de Programa - 1º e 2º Semestres (1º Semestre de 2004). 2003 (organizadora de Seminários).
14. D'OTTAVIANO, I. M. L. . (Coordenadora) VII Colóquio Internacional Michel Debrun: Ciência Cognitica no Século XXI.. 2003 (Coordenadora do Colóquio).
15. D'OTTAVIANO, I. M. L. . (Organizadora) V Seminário Nacional de História da Matemática. 2003 (Oganizadora Seminários).
16. D'OTTAVIANO, I. M. L. . (Coordenadora e Membro da Comissão Científica) CLE/SBL 25 anos - XIII Encontro Brasileiro de Lógica. 2003 (Coordenadora e Membro da Comissão Científica).
17. D'OTTAVIANO, I. M. L. . (Membro do Comitê Científico) III World Congress on Paraconsistency. 2003 (Membro do Comitê Científico).
18. D'OTTAVIANO, I. M. L. . (Coordenadora) VI Colóquio Michel Debrun. 2002 (Coordenadora do Colóquio).
19. D'OTTAVIANO, I. M. L. . (Coordenadora) Encontro COCEN 2001 (II Encontro COCEN): A Interdisciplinaridade e os Avanços da Pesquisa Contemporânea, promovido pela Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa da Unicamp, Campinas, SP, Coordenação de Mesa-Redonda: Produção Científica e Interdisciplinaridade. 2001 (Mesa-Redonda).
20. D'OTTAVIANO, I. M. L. . Seminário da criação dos Centros e Núcleos Interdisciplinares da UESBA, Universidade Estadual do Sudoeste da Bahia (UESB), Mesas-Redondas: A Experiencia de Universidades Brasileiras; Perspectivas para a UESBA. 2001 (Mesa-Redonda).
21. D'OTTAVIANO, I. M. L. . (Coordenadora) V Colóquio Michel Debrun. 2001 (Coordenadora do Colóquio).
22. D'OTTAVIANO, I. M. L. . Executora do "Acordo de Cooperação e Intercâmbio Cultural entre a Prefeitura Municipal de Campinas e a Unicamp. 2001 (Convênio).
23. D'OTTAVIANO, I. M. L. . Direção e Administração, Sociedade Civil "Casa de Saúde Campinas", antigo "Circolo Italiani Uniti". Primeira Vice-Presidente - 2000-2003. 2000.
24. D'OTTAVIANO, I. M. L. . (Coordenadora) Encontro COCEN 1999 (I Encontro COCEN): A Pesquisa Interdisciplinar, promovido pela Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa da Unicamp, Campinas, SP, Coordenação de Mesa-Redonda: Os Centros e Núcleos Interdisciplinares de Pesquisa da Unicamp. 1999 (Mesa-Redonda).
25. D'OTTAVIANO, I. M. L. . Pesquisadora Líder do Grupo de Pesquisa CNPq "Auto-Organização". CLE/UNICAMP, a partir de. 1997.
26. D'OTTAVIANO, I. M. L. . Pesquisadora Responsável pelo Projeto de Pesquisa FAPESP "Auto-Organização: Conceito e Aplicação". CLE/UNICAMP, 1997-1999. 1997.
27. D'OTTAVIANO, I. M. L. . Vice-Coordenadora do Projeto Temático FAPESP "Traduções entre Lógicas". CLE/UNICAMP, 1995-1999. 1995 (Coordenadora).
28. D'OTTAVIANO, I. M. L. . Pesquisadora Líder do Grupo de Pesquisa CNPq, "Lógica e Epistemologia", a partir de 1994. 1994.
29. D'OTTAVIANO, I. M. L. . Membro da Comissão Técnica do Prêmio Moinho Santista. 1993 (Membro do Comitê Científico).
30. D'OTTAVIANO, I. M. L. . Executora do Convênio entre a UNICAMP / Université à Trois Rivières (Canadá), a partir. 1991 (Convênio).
31. D'OTTAVIANO, I. M. L. . Executora do Convênio entre a UNICAMP / Universitá degli Studi di Siena (Itália), a partir de. 1990 (Convênio).
32. D'OTTAVIANO, I. M. L. . Executora do Convênio entre a UNICAMP / Instituto Oswaldo Cruz, a partir de. 1990 (Convênio).
33. D'OTTAVIANO, I. M. L. . Executora do Convênio entre a UNICAMP / Museu de Astronomia (MAST/CNPq), a partir de. 1990 (Convênio).
34. D'OTTAVIANO, I. M. L. . Executora do Convênio entre o CLE- UNICAMP / Universidade Técnica de Lisboa, a partir de. 1989 (Convênio).
35. D'OTTAVIANO, I. M. L. . Executora do Convênio entre a UNICAMP / Universidade Clássica de Lisboa, a partir de. 1989 (Convênio).
36. D'OTTAVIANO, I. M. L. . Executora do Convênio entre a UNICAMP / Universidade de Coimbra, a partir de. 1988 (Convênio).
37. D'OTTAVIANO, I. M. L. . Fundadora e Editora da COLEÇÃO CLE, coleção (periódica) de livros, com mais de 40 volumes publicados. CLE/UNICAMP, a partir de. 1987.
38. D'OTTAVIANO, I. M. L. . Membro do "Grupo Interdisciplinar CLE Ordem e Desordem / Auto-Organização. CLE/UNICAMP, a partir de. 1986.

Bancas
Participação em bancas examinadoras
Dissertações
1. D'OTTAVIANO, I. M. L.. Participação em banca de Daniel Liberalino. Paraconsistência e modalidade. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
2. D'OTTAVIANO, I. M. L.. Participação em banca de Rodrigo Rafael Gomes. A noção de função em Frege. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista "Julio de Mesquita Filho", Rio Claro, SP.
3. D'OTTAVIANO, I. M. L.. Participação em banca de Leandro Oliva Suguitami. Álgebra de Relações: uma axiomatização tarskiana. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
4. D'OTTAVIANO, I. M. L.. Participação em banca de Rodrigo Podiacki Barreto de Menezes. Lógicas da Inconsistência Formal de Primeira Ordem. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
5. D'OTTAVIANO, I. M. L.. Participação em banca de Teófilo de Souza Reis. Conectivos Flexíveis: uma abordagem categorial às semânticas de traduções possíveis. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
6. D'OTTAVIANO, I. M. L.. Participação em banca de Rafael Rodrigues Testa. Dilemas deônticos: uma abordagem baseada em relações de preferência. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
7. PERON, N.M.; D'OTTAVIANO, I. M. L.. Participação em banca de Newton Marques Peron. Lógicas da inconsistência formal e paradoxos. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
8. COCCHIERI, T.; D'OTTAVIANO, I. M. L.. Participação em banca de Tiziana Cocchieri. Criatividade em uma perspectiva estético-cognitiva. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
9. D'OTTAVIANO, I. M. L.. Participação em banca de Rodrigo Rafael Gomes. A noção de função em Frege. 2008. Dissertação (Mestrado em Educação Matemática) - Universidade Estadual Paulista "Julio de Mesquita Filho", Rio Claro, SP.
10. D'OTTAVIANO, I. M. L.. Participação em banca de Leandro Oliva Suguitami. Álgebra de Relações: uma axiomatização tarskiana. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
11. CONIGLIO, M. E.; FEITOSA, H. A.; D'OTTAVIANO, I. M. L.. Participação em banca de Alberto Leopoldo Batista Neto. Combinação entre lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
12. CONIGLIO, M. E.; FEITOSA, H. A.; D'OTTAVIANO, I. M. L.. Participação em banca de Alberto Leopoldo Batista Neto. Representação e combinação de lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
13. D'OTTAVIANO, I. M. L.. Participação em banca de Ramon Souza Capelle de Andrade. Conhecimento Sensorial: uma abordagem ecológica via realismo informacional. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
14. D'OTTAVIANO, I. M. L.. Participação em banca de Adriano Luís de Souza Lima. Quase-verdade, probabilidade pragmática e indução. 2006. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.
15. D'OTTAVIANO, I. M. L.. Participação em banca de Juan Carlos Agudelo Agudelo. Da computação paraconsistente à computação quântica. Participação como suplente. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
16. D'OTTAVIANO, I. M. L.. Participação em banca de Daniel Luporini de Faria. O problema da relação mente-corpo e a consciência como sua manifestação. Participação como suplente. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
17. D'OTTAVIANO, I. M. L.. Participação em banca de Adilson Luiz da Silva. A noção de modelo na ciência cognitiva: do funcionalismo à sistêmica. 2005. Dissertação (Mestrado em Ciência Cognitiva e Filosofia da Mente) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
18. D'OTTAVIANO, I. M. L.. Participação em banca de Juliano Antonio Broli. Auto-organização e mecanicismo: contribuições da robótica para a compreensão dos processos evolucionários. 2005. Dissertação (Mestrado em Ciência Cognitiva e Filosofia da Mente) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
19. D'OTTAVIANO, I. M. L.. Participação em banca de Paulo Roberto Petrillo. Lógicas moduladas como fundamento para o raciocínio difuso. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
20. D'OTTAVIANO, I. M. L.. Participação em banca de Leandro Fiorini Aurichi. A hipótese do contínuo: algumas aplicações e equivalências. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
21. D'OTTAVIANO, I. M. L.. Participação em banca de Luiz Henrique da Cruz Silvestrini. Tableaux e indução na lógica do plausível. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
22. D'OTTAVIANO, I. M. L.. Participação em banca de Ramon Souza Capelle de Andrade. Conhecimento Perceptual: uma abordagem cognitiva-ecológica via realismo informacional. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
23. D'OTTAVIANO, I. M. L.. Participação em banca de Wilson Alves Sampaio. Auto-organização e hábitos: uma análise filosófica. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
24. D'OTTAVIANO, I. M. L.. Participação em banca de Juliana Bueno. Semântica algébrica de traduções possíveis. 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
25. D'OTTAVIANO, I. M. L.. Participação em banca de Geraldo Gelowate. Observações sobre matemática e comprometimento ontológico. 2004. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Catarina.
26. D'OTTAVIANO, I. M. L.. Participação em banca de Tomás Andrès Barrero Guzmán. Lógica positiva: plenitude, potencialidade e problemas (do pensar sem negação). 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
27. D'OTTAVIANO, I. M. L.. Participação em banca de Carlos Hifume. Participação em Comissão Julgadora da Tese: Uma teoria da verdade pragmática: a quase-verdade de Newton C.A. da Costa. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
Teses de doutorado
1. D'OTTAVIANO, I. M. L.. Participação em banca de Juliana Bueno-Soller. Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
2. D'OTTAVIANO, I. M. L.. Participação em banca de Vicente de Paulo Justi. Kant e a Música na "Crítica da Faculdade de Julgar". 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
3. D'OTTAVIANO, I. M. L.. Participação em banca de Douglas Antonio Bassani. Sobre a concepção operacional de significado. 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
4. D'OTTAVIANO, I. M. L.. Participação em banca de Eberth Eleutério dos Santos. O infinito em Georg Cantor: uma revolução paradigmática no desenvolvimento da matemática. 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
5. D'OTTAVIANO, I. M. L.. Participação em banca de Fábio Maio Bertato. A "De Divina Proportione" de Luca Pacioli - Tradução Anotada e Comentada. 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
6. D'OTTAVIANO, I. M. L.. Participação em banca de José Renato Salatiel. Sobre o conceito do acaso na filosofia de Charles S. Pierce. 2008. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica de São Paulo.
7. Bianconi, R.; CONIGLIO, M. E.; JUNQUEIRA, L.R.; DA SILVA, S.G.; D'OTTAVIANO, I. M. L.. Participação em banca de Marcelo Dias Passos. Extensões de submodelos elementares por forcing. 2007. Tese (Doutorado em Matemática) - USP - Instituto de Matemática e Estatística.
8. D'OTTAVIANO, I. M. L.. Participação em banca de Márcio Barreto. O anacronismo do tempo: um debate atual entre Einstein e Bergson. 2007. Tese (Doutorado em Ciências Sociais) - Universidade Estadual de Campinas.
9. D'OTTAVIANO, I. M. L.. Participação em banca de Wagner de Campos Sanz. Uma investigação acerca das regras para a negação e o absurdo em dedução natural. Membro Suplente da Comissão Julgadora. 2006. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
10. D'OTTAVIANO, I. M. L.. Participação em banca de Romélia Mara Alves Souto. Mário Tourasse Teixeira: o homem, o educador, o matemático. 2006. Tese (Doutorado em Educação Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.
11. D'OTTAVIANO, I. M. L.. Participação em banca de Sônia Ribeiro Morais. O papel das representações mentais na percepção-ação. 2006. Tese (Doutorado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
12. D'OTTAVIANO, I. M. L.. Participação em banca de Víctor Leandro Fernández. Participação em Comissão Julgadora da Tese: Fibrilação de lógicas na hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
13. D'OTTAVIANO, I. M. L.. Participação em banca de Luis Augusto Sbardellini. O continuum, os reais e o conceito de homogeneidade. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
14. D'OTTAVIANO, I. M. L.. Participação em banca de Cláudia Maria Zauza. Álgebras de Lukasiewicz n x m-valuadas con negación (Membro de Banca de Doutorado). 2005. Tese (Doutorado em Álgebras) - Universidad Nacional Del Sur.
15. D'OTTAVIANO, I. M. L.. Participação em banca de Víctor Leandro Fernández. Fibrilação de lógicas na hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
16. D'OTTAVIANO, I. M. L.. Participação em banca de José Orlando Alves. Invariâncias e disposições texturais: do planejamento composicional à reflexão sobre o processo criativo. 2005. Tese (Doutorado em Música) - Universidade Estadual de Campinas.
17. D'OTTAVIANO, I. M. L.. Participação em banca de Milton Augustinis de Castro. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os cálculos Cn, 1 <= n < w, de da Costa. 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
18. D'OTTAVIANO, I. M. L.. Participação em banca de Irene Castro Pereira. Topologias enumeravelmente compactas em grupos abelianos. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.
19. D'OTTAVIANO, I. M. L.. Participação em banca de Ricardo Pereira Tassinari. Incompletude e auto-organização: sobre a determinação de verdades lógicas e matemáticas. 2003. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
20. D'OTTAVIANO, I. M. L.. Participação em banca de Tadeu Fernandes de Carvalho. Sobre o cálculo diferencial paraconsistente de da Costa. 2003. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
Qualificações de doutorado
1. D'OTTAVIANO, I. M. L.. Participação em banca de Juliana Bueno-Soler. Semântica de traduções possíveis para lógicas modais catódicas. 2008. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
2. D'OTTAVIANO, I. M. L.. Participação em banca de Fábio Maia Bertato. De Divina, Proportione de Frà Luca Pacioli. 2007. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
3. D'OTTAVIANO, I. M. L.. Participação em banca de Eberth Eleutério dos Santos. O infinito em Georg Cantor: uma revolução paradigmática no desenvolvimento da matemática. 2007. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
4. D'OTTAVIANO, I. M. L.. Participação em banca de Marcelo Gimenes. Gestos e affordances instrumentais: um modelo para a performance e a criação na música contemporânea. 2007. Exame de qualificação (Doutorando em Música) - Universidade Estadual de Campinas.
5. D'OTTAVIANO, I. M. L.. Participação em banca de Romélia Mara Alves Souto. Mario Tourasse Teixeira. Uma história de sua vida acadêmica e de sua obra. 2006. Exame de qualificação (Doutorando em Educação em Matemática) - Universidade Estadual Paulista "Julio de Mesquita Filho", Rio Claro, SP.
6. D'OTTAVIANO, I. M. L.. Participação em banca de Víctor Leandro Fernández. Fibrilação de lógicas na hierarquia de Leibniz. 2005. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
7. D'OTTAVIANO, I. M. L.. Participação em banca de Luis Augusto Sbardellini. O continuum, os reais e o conceito de homogeneidade. 2005. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
8. D'OTTAVIANO, I. M. L.. Participação em banca de Milton Augustinis de Castro. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os cálculos Cn, 1<= n < w, de da Costa. 2004. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
9. D'OTTAVIANO, I. M. L.. Participação em banca de Tadeu Fernandes de Carvalho. Sobre o Cálculo Diferencial Paraconsistente de da Costa. 2003. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
10. D'OTTAVIANO, I. M. L.. Participação em banca de Ricardo Pereira Tassinari. Incompletude e auto-organização: sobre a determinação de verdades lógicas e matemáticas. 2003. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
Trabalhos de Conclusão de Curso de graduação
1. D'OTTAVIANO, I. M. L.. Participação em banca de Dante Cardoso. Análise da notação conceitual de Frege. 2008. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Estadual de Campinas.
2. D'OTTAVIANO, I. M. L.. Participação em banca de Newton Marques Peron. Paradoxos Modais e Lógica da Inconsistência Formal. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Estadual de Campinas.
3. D'OTTAVIANO, I. M. L.. Participação em banca de Rafael Rodrigues Testa. Uma análise de algumas lógicas deônticas para a representação de normas jurídicas. 2006. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Estadual de Campinas.
Participação em bancas de comissões julgadoras
Professor titular
1. D'OTTAVIANO, I. M. L.. Concurso para Professor Titular na área de Lógica e Fundamentos da Matemática. Candidatos: Ricardo Bianconi e Arthur Hydeiuki Tomita. 2007. USP - Instituto de Matemática e Estatística.
2. D'OTTAVIANO, I. M. L.. GA 328 - História das Geociências. Candidata: Silvia Fernanda de Mendonça Figueirôa. 2006. Universidade Estadual de Campinas.
3. D'OTTAVIANO, I. M. L.. Concurso para Professor Titular na disciplina de Lógica Matemática. Candidato: Prof. Jairo José da Silva. 2006. Universidade Estadual Paulista Júlio de Mesquita Filho.
4. D'OTTAVIANO, I. M. L.. Área de Filosofia da Mente - Candidato João de Fernandes Teixeira. 2005. Universidade Federal de São Carlos.
Concurso público
1. D'OTTAVIANO, I. M. L.. Ingresso na Carreira Docente - 02 candidatos inscritos (IME/USP). 2004. Universidade de São Paulo.
2. D'OTTAVIANO, I. M. L.. Professor Assistente - Disciplina Teoria do Conhecimento - candidada Maria Eunice Quilice Gonzalez. 2004. Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
3. D'OTTAVIANO, I. M. L.. Ingresso na Carreira Docente - 09 candidatos inscritos (IME/USP). 2003. Universidade de São Paulo.
4. D'OTTAVIANO, I. M. L.. Professor Assistente - Disciplina História da Filosofia Contemporânea - candidada Mariana Broens. 2003. Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
5. D'OTTAVIANO, I. M. L.. Carreira de Técnico Especializado em Pesquisa Científica e Tecnológica (TPCT) - Pesquisador Titular - Candidato Marcos de Souza Queiroz (CMU/UNICAMP). 2002. Universidade Estadual de Campinas.
Livre docência
1. D'OTTAVIANO, I. M. L.. Concurso Público para obtenção do título de Livre-Docente. Disciplina: Filosofia da Mente - Dep. de Filosofia. Candidata: Mariana Claudia Broens. 2006. Universidade Estadual Paulista Júlio de Mesquita Filho, Marília.
2. D'OTTAVIANO, I. M. L.. Área de Fundamentos Teóricos das Artes e Criação Artística - Candidato Jonatas Manzolli. 2005. Universidade Estadual de Campinas.
3. D'OTTAVIANO, I. M. L.. (Suplente) Área de Geociências - Candidata Maria Margareth Lopes. 2004. Universidade Estadual de Campinas.
4. CARNIELLI, W. A.; MIRAGLIA NETO, F.; COSTA, N. C. A. da; PEREIRA, L. C. P. D.; D'OTTAVIANO, I. M. L.. Área de Lógica - Candidato Marcelo Esteban Coniglio. 2004. Universidade Estadual de Campinas.
5. D'OTTAVIANO, I. M. L.. Área de Geociências - Candidata Silvia Fernanda de Mendonça Figueiroa. 2003. Universidade Estadual de Campinas.
6. D'OTTAVIANO, I. M. L.. Área de Lógica - Candidata Lúcia Renato Junqueira (IME/USP). 2003. Universidade de São Paulo.
7. D'OTTAVIANO, I. M. L.. Área de Lógica - Candidato Arthur Hideyuki Tomita (IME/USP). 2002. Universidade de São Paulo.
Avaliação de cursos
1. D'OTTAVIANO, I. M. L.. Análise de Curso de Pós-Graduação da UERJ / Campos. Comissão CAPES. 2002. Universidade do Estado do Rio de Janeiro.
Outras participações
1. D'OTTAVIANO, I. M. L.. Membro da Comissão Eleitoral da Eleição da Diretoria da Sociedade Brasileira de Matemática. 2007. Sociedade Brasileira de Matemática.
2. D'OTTAVIANO, I. M. L.. Participação na comissão de seleção de estudantes para a Pós-Graduação em Filosofia. Cursos de Mestrado e Doutorado - Área de lógica. Departamento de Filosofia, IFCH - UNICAMP. 2006, 2007. 2006. Universidade Estadual de Campinas.
3. D'OTTAVIANO, I. M. L.. Exame de Seleção para ingresso na Pós-Graduação de Filosofia / IFCH / UNICAMP. 2005. Universidade Estadual de Campinas.
4. D'OTTAVIANO, I. M. L.. Exame de Seleção para ingresso na Pós-Graduação de Filosofia / IFCH / UNICAMP. 2004. Universidade Estadual de Campinas.
5. D'OTTAVIANO, I. M. L.. Exame de Seleção para ingresso na Pós-Graduação de Filosofia / IFCH / UNICAMP. 2003. Universidade Estadual de Campinas.
6. D'OTTAVIANO, I. M. L.. Exame de Seleção para ingresso na Pós-Graduação de Filosofia / IFCH / UNICAMP. 2002. Universidade Estadual de Campinas.
7. D'OTTAVIANO, I. M. L.. Exame de Seleção para ingresso na Pós-Graduação de Filosofia / IFCH / UNICAMP. 2001. Universidade Estadual de Campinas.

Eventos
Participação em eventos
1. XIII International Congress of History of Science and Technology - Ideas and Instruments in Social Context.On the development of paraconsistent logic and the Brazilian School of logic. 2009. (Congresso).
2. VIII EBICC - Brazilian - International Meeting in Cognitive Science. Com Ramon Capele de Andrade.Comunicação: Lógica objetiva, hábito e auto-organização. 2009. (Congresso).
3. CLE/AIPS - Science, Truth and Consistency.On da Costa's work and the Brazilian School of Logic. 2009. (Congresso).
4. CLE/AIPS - Science, Truth and Consistency.On da Costa's Paraconsistent Differential Calculus and a Transference Theorem. 2009. (Congresso).
5. CLE/AIPS - Science, Truth and Consistency.Paraconsistent Positions in Ancient Greek Logic. 2009. (Congresso).
6. CLE/AIPS - Science, Truth and Consistency.Ontological Structural Realism, Tarski-Givant's Set Theory and Quasi-Set Theory. 2009. (Congresso).
7. Seminários Filosóficos em Engenharia, Ciências e Áreas Afins.George Berkeley e os Fundamentos do Cálculo Diferencial e Integral. 2009. (Seminário).
8. Programa de Desenvolvimento Gerencial para Supervisores. AFPU, Unicamp, Planes 2005-2009.A estrutura da Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN) da Unicamp. 2009. (Seminário).
9. Programas de Transferência de Renda e o Novo Instrumento de Acesso à Informação. 2009. (Seminário).
10. Programa de Pós-Graduação da FCM-Unicamp.Raciocínio Lógico em Biociências. 2009. (Encontro).
11. 7a. Edição do Programa Ciência e Arte nas Férias. Orientador. Unicamp.Arranjo e análise dos trabalhos manuscritos do professor Walter Hugo de Andrade Cunha. 2009. (Outra).
12. CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic.Translations between logics (Tutorial). 2008. (Congresso).
13. XI Encuentro Internacional de Didáctica de la Lógica.On the theory of quasi-truth. 2008. (Congresso).
14. XI Encuentro Internacional de Didáctica de la Lógica. Participação em Mesa Redonda.Didática da Lógica e Programas de Pós-Graduação. 2008. (Congresso).
15. XIV Semana de Matemática.A lógica contemporânea: entre a filosofia e a matemática. 2008. (Congresso).
16. Coloquio los dias de la complejidad.Non-classical logics and aplications. 2008. (Congresso).
17. II COFIMC - Colóquio de Filosofia Moderna e Contemporânea: Frege Filósofo.Fundamentos da Instanciação em Frege. 2008. (Congresso).
18. Orientador da 6a. Edição do Programa Ciência e Arte nas Férias. Unicamp.Arranjo e descrição do Dossiê Carmen Carneiro do Arquivo do Prof. Newton C.A. da Costa. 2008. (Outra).
19. International Conference on Residuated Structures: Algebra and Logic.Is there a translation from intuitionistic into classical logic?. 2008. (Outra).
20. First Joint International Meeting with the Sociedade Brasileira de Matemática and the American Mathematical Society.On the development of paraconsistent logic and da Costa's work. 2008. (Outra).
21. Programa de Pós-Graduação da Faculdade de Ciências Médicas. FCM-Unicamp.Raciocínio lógico nas biociências. 2008. (Outra).
22. Workshop George Berkely: filosofia, ciência e matemática.Berkely e os fundamentos da matemática. 2008. (Outra).
23. 13th International Congress of Logic, Methodology and Philosophy of Science.A New Kind of Science in Renaissance: Perspective and Painting as Mathematical Disciplines in Luca Pacioli and Leonardo da Vince. 2007. (Congresso).
24. 13th International Congress of Logic, Methodology and Philosophy of Science.Natural deduction systems for da Costas's Hierarchies of Paraconsistent Logics Cn and Cn*. 2007. (Congresso).
25. 2nd World Congress and School on Universal Logic (UNILOG'07).Translations between logics (Tutorial) - Is there a translation from intuitionistic into classical logics?. 2007. (Congresso).
26. II Congreso Internacional Extraordinário de Filosofía - El Projecto Humano y su Futuro: alternativas. San Juan, Argentina.Atualidad y prospectiva de las lógicas no clássicas. 2007. (Congresso).
27. Seminários Filosóficos em Engenharia, Ciências e Áreas Afins. FEEC, Unicamp.A Lógica Contemporânea: Filosofia ou Matemática?. 2007. (Seminário).
28. Orientador da 5a. Edição do Programa Ciência e Arte nas Férias. Unicamp.Arranjo e descrição da série Ideológica da Realidade Brasileira Professor Dr. Michel Debrun. 2007. (Outra).
29. Colóquio Ubiratan D'Ambrosio, IGCE - Em homenagem ao 75º aniversário. Unesp.Luca Pacioli e a "Quarela da Perspectiva": As Classificações das Matemáticas da Antigüidade Clássica ao fim do Quattrocento. 2007. (Outra).
30. XXVIII Congresso Brasileiro de Homeopatia. Florianópolis, SC.Auto-organização, informação e complexidade. 2006. (Congresso).
31. 2nd International Conference of Philosophy and Cognitive Science - Model Based Reasoning in Science and Medicine. Sun Yat - Sen University, Guangzhou, China.Peircean pragmatic truth and da Costa's quasi-truth. 2006. (Seminário).
32. XIII Simpósio Latinoamericano de Lógica Matemática. Oaxaca, México.On da Costa's paraconsistent differential calculus and a transference theorem. 2006. (Simpósio).
33. Participação em Mesa Redonda do XII Encontro Nacional de Filosofia da ANPOF. Salvador, BA.O quê é isso: a relevância filosófica?. 2006. (Encontro).
34. XIV Encontro Brasileiro de Lógica - EBL. Itatiaia, Rio de Janeiro, RJ.Sistemas de dedução natural para as hierarquias de lógicas paraconsistentes Cn e Cn* de da Costa. 2006. (Encontro).
35. XIV Encontro Brasileiro de Lógica - EBL. Itatiaia, Rio de Janeiro, RJ.On da Costa's paraconsistent differential calculus and a transference theorem. 2006. (Encontro).
36. XIV Encontro Brasileiro de Lógica - EBL.A área de lógica junto ao CNPq - Mesa Redonda. 2006. (Encontro).
37. VII Encontro Brasileiro Internacional de Ciência Cognitiva (VII - EBICC) - VII Colóquio Michel Debrun - Faculdade de São Bento do Mosteiro de São Bento.Criatividade e Mecanismo: uma aliança possível?. 2006. (Encontro).
38. Encontros Transdisciplinares. Instituto de Estudos Avançados Transdisciplinares (IEAT). Unifersidade Federal de Minas Gerais.O Logos da Arte e a Lógica da Ciência - Mesa Redonda. 2006. (Encontro).
39. Orientador da 4a. Edição do Programa Ciência e Arte nas Férias. Unicamp.Hemeroteca do arquivo pessoal do filósofo e professor doutor Michel Debrun. 2006. (Outra).
40. Programa de Pós-Graduação em Filosofia do Departamento de Filosofia da Universidade Federal de Santa Catarina.Aplicações de Lógica Paraconsistente. 2006. (Outra).
41. Programa de Mestrado e Doutorado em Engenharia Civil - Área de Concentração em Arquitetura e Construção. Engenharia Civil - Unicamp.Introdução à Lógica de Primeira Ordem. 2006. (Outra).
42. Programa de Pós-Graduação da Faculdade de Ciências Médicas - FCM-Unicamp.Lógicas não-clássicas e a pesquisa em biociências. 2006. (Outra).
43. Posgrado en Filosofía de la Ciencia, Instituto de Investigaciones Filosóficas. Universidad Autónoma de México. Ciudad de México.Sistemics and self-organization. 2006. (Outra).
44. Posgrado en Filosofía de la Ciencia, Instituto de Investigaciones Científicas. Universidad Autónoma de México. Ciudad de México.Paraconsistent logics. 2006. (Outra).
45. VI Jornada de Matemática para a Graduação. Departamento de Matemática, Universidade Federal de São Carlos - UFSCAR.A lógica clássica e lógicas não-clássicas. 2006. (Outra).
46. Semantics and meaning - SeMe-2005. CLE/Unicamp.Paraconsistent Differential Calculus. 2005. (Congresso).
47. Congresso Nacional DIA/2005 - UNISINOS.Sistêmica e Auto-Organização. 2005. (Congresso).
48. II Congresso Mundial de Transdisciplinaridade. UFES.Lógica e Transdisciplinaridade. 2005. (Congresso).
49. WoLLIC-2005 - 12th Workshop on Logic, Language, Information and Computation. UFSC.WoLLIC-2005 - 12th Workshop on Logic, Language, Information and Computation. 2005. (Seminário).
50. VI Seminário Nacional de História da Matemática - VI SNHM.VI Seminário Nacional de História da Matemática - V SNHM. 2005. (Seminário).
51. ENEPE - Encontro de Ensino, Pesquisa e Extensão. Unoeste.Auto-Organização. 2005. (Encontro).
52. XV Semana de Filosofia. UFRN.Lógicas não-clássicas. 2005. (Outra).
53. Curso de Capacitação em Filosofia -.Curso de Capacitação em Filosofia -. 2005. (Outra).
54. II HTEM - Colóquio de História e Tecnologia no Ensino de Matemática.A História do Cálculo: pós Leibniz e Newton (Mesa-Redonda). UERJ. 2004. (Seminário).
55. IX Encontro de Pesquisa em Filosofia.IX Encontro de Pesquisa em Filosofia. Coordenação de Mesa. Campinas, SP : Centro Acadêmico de Filosofia, IFCH/UNICAMP. 2004. (Encontro).
56. III World Congress on Paraconsistency.III World Congress on Paraconsistency. Membro do Comitê Científico. Toulouse, França : Université de Toulouse. 2003. (Congresso).
57. V Seminário Nacional de História da Matemática.V Seminário Nacional de História da Matemática. Membro da Comissão Científica. Rio Claro, SP : Sociedade Brasileira de História da Matemática. 2003. (Seminário).
58. CLE/SBL 25 ANOS - XIII Encontro Brasileiro de Lógica.CLE/SBL 25 ANOS - XIII Encontro Brasileiro de Lógica. Mesa Redonda: O CLE: sua proposta interdisciplinar e seus destinos. Campinas, SP : CLE/UNICAMP. 2003. (Encontro).
59. 6º Encontro das Jornadas Unespianas da Matemática: Colóquio Mário Tourasse Teixeira.Seminário em Homenagem a Mario Tourasse Teixeira. Mesa Redonda: O Professor Mario Tourasse. Rio Claro, SP : DM/UNESP. 2003. (Encontro).
60. VII Encontro Brasileiro - Internacional de Ciência Cognitiva.Self-Organization and General Theory of Systems: New Perspectives. Coordenadora Mesa-Redonda. VII Encontro Brasileiro-Internacional de Ciência Cognitiva. São Vicente, SP : UNESP. 2003. (Encontro).
61. VII Encontro Brasileiro - Internacional de Ciência Cognitiva.Teoria Geral de Sistemas e Auto-Organização (Workshop, Responsável). VII Encontro Brasileiro-Internacional de Ciência Cognitiva. São Vicente, SP : UNESP. 2003. (Encontro).
62. VIII Encontro de Pesquisa em Filosofia.VII Encontro de Pesquisa em Filosofia. Coordenação de Mesa. Campinas, SP : Centro Acadêmico de Filosofia, IFCH/UNICAMP. 2003. (Encontro).
63. XIII Encontro Brasileiro de Lógica.CLE/SBL 25 ANOS - XIII Encontro Brasileiro de Lógica. Coordenadora e Membro da Comissão Científica. Campinas, SP : CLE/UNICAMP. 2003. (Encontro).
64. VII Colóquio Internacional Michel Debrun: Ciência Cognitiva no Século XXI.VII Colóquio Internacional Michel Debrun: Ciência Cognitiva no Século XXI. Coordenadora. Campinas, SP : CLE/UNICAMP. 2003. (Encontro).
65. V Colóquio Michel Debrun.Auto-Organização. 2003. (Encontro).
66. VII Colóquio Internacional Michel Debrun - Novas Tendências da Ciências Cognitivas no Século XXI..Sistêmica e Auto-Organização (Mesa-Redonda). VII Colóquio Internacional Michel Debrun: Ciência Cognitiva no Século XXI. Campinas, SP : CLE/UNICAMP. 2003. (Outra).
67. VI Colóquio Michel Debrun.VI Colóquio Michel Debrun. Coordenadora. Campinas, SP : CLE/UNICAMP. 2002. (Encontro).
68. Seminário da criação dos Centros e Núcleos Interdisciplinares da UESBA.Seminário da criação dos Centros e Núcleos Interdisciplinares da UESBA. Mesa Redonda: A Experiência de Universidades Brasileiras; Perspectivas para a UESBA. Vitória da Conquista, BA. 2001. (Seminário).
69. Encontro COCEN 2001 (II Encontro COCEN): A Interdisciplinaridade e os Avanços da Pesquisa Contemporânea.Encontro COCEN 2001 (II Encontro COCEN): A Interdisciplinaridade e os Avanços da Pesquisa Contemporânea. Coordenação de Mesa-Redonda: Produção Científica e Interdisciplinaridade. Campinas, SP : COCEN/UNICAMP. 2001. (Encontro).
70. VI Colóquio Michel Debrun: Teoria da Auto-Organização.VI Colóquio Michel Debrun: Teoria da Auto-Organização. Coordenadora-Debatedora de Mesa Redonda. Marília, SP : DF/UNESP. 2001. (Encontro).
71. II World Congress on Paraconsistency.II World Congress on Paraconsistency. Coordenação de Mesa Redonda: Paraconsistency: the Logial Way to the Inconsistent. Juquehy, SP : CLE/UNICAMP/Sociedade Brasileira de Lógica. 2000. (Congresso).
72. IV Encontro Brasileiro Internacional de Ciência Cognitiva.IV Encontro Brasileiro Internacional de Ciência Cognitiva. Workshop: Auto-Organização e Cognição. Marília, SP : DF/UNESP/Sociedade Brasileira de Ciência Cognitiva. 2000. (Encontro).
73. Encontro COCEN 1999 (I Encontro COCEN): A Pesquisa Interdisciplinar.Encontro COCEN 1999 (I Encontro COCEN): A Pesquisa Interdisciplinar. Coordenação de Mesa-Redonda: Os Centros e Núcleos Interdisciplinares de Pesquisa da Unicamp. Campinas, SP : COCEN/UNICAMP. 1999. (Encontro).
74. VIII Encontro Nacional de Filosofia.VIII Encontro Nacional de Filosofia, promovido pela Associação Nacional de Pós-Graduação em Filosofia. Coordenação de Mesa Redonda: Lógicas não Clássicas. Caxambú, MG : ANPOF. 1998. (Encontro).
Organização de eventos
1. D'OTTAVIANO, I. M. L. . Membro da Comissão Organizadora do VIII EBICC - Brazilian - International Meeting in Cognitive Science. 2009. (Congresso).
2. D'OTTAVIANO, I. M. L. . Membro da Comissão Organizadora (Chair) do CLE/AIPS - Science, Truth and Consistency, em homenagem aos 80 anos de Newton da Costa. 2009. (Congresso).
3. D'OTTAVIANO, I. M. L. . Membro do Comitê Científico do CLE/AIPS - Science, Truth and Consistency, em homenagem aos 80 anos de Newton da Costa. 2009. (Congresso).
4. D'OTTAVIANO, I. M. L. . CLE 30 ANOS - XV Encontro Brasileiro de Lógica - XIV Simpósio Latino-Americano de Lógica Matemática. 2008. (Congresso).
5. D'OTTAVIANO, I. M. L. . Colloquium CLE 30 Anos. 2007. (Outro).
6. D'OTTAVIANO, I. M. L. . CLE 25 Anos - XIII Encontro Brasileiro de Lógica. 2003. (Congresso).
7. D'OTTAVIANO, I. M. L. . II World Congress on Paraconsistency. 2000. (Congresso).
8. D'OTTAVIANO, I. M. L. . X Encontro Brasileiro de Lógica. 1996. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Fernando Girotto. Lógica quântica. Início: 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas. (Orientador).
2. Daniel Liberalino. Modalidade e Paraconsistência. Início: 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas. (Orientador).
Tese de doutorado
1. Leandro Oliva Suguitani. Álgebras de relações e os fundamentos da matemática. Início: 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Orientador).
2. Ramon Souza Capelle de Andrade. Sistêmica, condicionais nomológicos e auto-organização. Início: 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).
3. Marcos Antonio Alves. Operador de conseqüência lógica e informação. Início: 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Orientador).
4. Evandro Luis Gomes. Sobre o desenvolvimento da lógica paraconsistente e o trabalho de da Costa. Início: 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Orientador).
5. Márcio Augusto Vicente de Carvalho. A Teoria da auto-organização de Debrun e a identidade nacional brasileira. Início: 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Orientador).
Supervisão de pós-doutorado
1. María Alícia Pasos. Início: 2009. Universidad Nacional de México.
Orientações de outra natureza
1. David Gaytán. .. Início: 2009. Orientação de outra natureza. Universidad Nacional de México. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Daniel Liberalino Monte. Paraconsistência e Modalidade. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
2. Leandro Oliva Suguitani. Álgebra de Relações: uma abordagem tarskiana da lógica de primeira ordem. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
3. Carlos Hifume. Uma teoria da verdade pragmática: a quase verdade de Newton C. A. da Costa. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Itala Maria Loffredo D'Ottaviano.
4. Mauro César Scheer. Para uma teoria de traduções entre lógicas acumulativas. 2002. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Itala Maria Loffredo D'Ottaviano.
5. Daniel Durante Pereira Alves. Ordinal natural e a pior seqüência de redução para normalização de derivacões em C'. 1996. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
6. Marcelo C. Bernardes. Geração de curvas planas adequadas (orientação como Prof. Colaborador). 1996. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Co-Orientador: Itala Maria Loffredo D'Ottaviano.
Tese de doutorado
1. Juliana Bueno-Soller. Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itala Maria Loffredo D'Ottaviano.
2. Eberth Eleutério dos Santos. O infinito em Georg Cantor: uma revolução paradigmática no desenvolvimento da matemática. 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
3. Fábio Maia Bertato. A "De Divina Proportione" de Luca Pacioli - Tradução Anotada e Comentada. 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
4. Tadeu Fernandes de Carvalho. Sobre o cálculo diferencial paraconsistente de da Costa. 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
5. Milton Augustinis de Castro. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas Cn de da Costa. 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Itala Maria Loffredo D'Ottaviano.
6. Ricardo Pereira Tassinari. Incompletude e auto-organização: sobre a determinação de verdades lógicas e matemáticas. 2003. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Itala Maria Loffredo D'Ottaviano.
7. José Eduardo A. Moura. Um estudo de Cw em cálculo de seqüentes e dedução natural. 2001. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
8. Rodolfo C. Ertola Biraben. Questões conceituais de computabilidade. 2001. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
9. Frank T. Sautter. O argumento ontológico gödeliano para a existência de Deus. 2000. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
10. Daniel Durante Pereira Alves. Ordinal natural e a pior seqüência de redução em dedução natural. 1999. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Itala Maria Loffredo D'Ottaviano.
11. Hércules de Araújo Feitosa. Traduções conservativas. 1998. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
12. Giovani da Silva de Queiroz. Sobre a dualidade entre intuicionismo e paraconsistência. 1998. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Itala Maria Loffredo D'Ottaviano.
Supervisão de pós-doutorado
1. Milton Augustinis de Castro. 2007. Universidade Estadual de Campinas, . Itala Maria Loffredo D'Ottaviano.
2. Milton Augustinis de Castro. 2006. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Itala Maria Loffredo D'Ottaviano.
3. Celson Pereira. 1991. Universidade Estadual de Campinas, . Itala Maria Loffredo D'Ottaviano.
Iniciação Científica
1. Dante Cardoso. Análise da notação conceitual de Frege. 2007. Iniciação Científica. (Graduando em Filosofia) - Universidade Estadual de Campinas. Orientador: Itala Maria Loffredo D'Ottaviano.
2. Gilberto Zonta Pastorello. Sistemas de tableaux analíticos para os cálculus paraconsistes Cn, 1 < n < w de da Costa. 2002. Iniciação Científica. (Graduando em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Itala Maria Loffredo D'Ottaviano.
3. Túlio Oliveira de Carvalho. Lógicas polivalentes e paraconsistentes. 1989. 0 f. Iniciação Científica. (Graduando em Matemática) - Universidade Estadual de Campinas. Orientador: Itala Maria Loffredo D'Ottaviano.
4. Ricardo Pereira Tassinari. Teorias de primeira ordem, completude, compacidade e alguns resultados de teoria de modelos e computabilidade. 1989. 0 f. Iniciação Científica. (Graduando em Matemática) - Universidade Estadual de Campinas, Universidade Estadual de Campinas. Orientador: Itala Maria Loffredo D'Ottaviano.
5. Túlio Oliveira de Carvalho. Teorias de primeira ordem e completude-lógica polivalentes. 1988. 0 f. Iniciação Científica. (Graduando em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itala Maria Loffredo D'Ottaviano.
6. José Monroe Eisenberg. Teorias de primeira ordem e completude. Logicismo, intuicionismo e formalismo. 1988. 0 f. Iniciação Científica. (Graduando em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Itala Maria Loffredo D'Ottaviano.
7. Sonia Ternes. Aplicações de cálculo diferencial e integral à álgebra linear. 1984. 0 f. Iniciação Científica. (Graduando em Matemática) - Universidade Estadual de Campinas, Universidade Estadual de Campinas. Orientador: Itala Maria Loffredo D'Ottaviano.
8. Paulo Alberto Paes Gomes. Aplicações de equações diferenciais. 1983. 0 f. Iniciação Científica. (Graduando em Física) - Universidade Estadual de Campinas, Universidade Estadual de Campinas. Orientador: Itala Maria Loffredo D'Ottaviano.

Outras informações relevantes 
Conferências (Conferencista Convidada): Universidad los Andes, Bogotá, Colômbia, 1981; Instituto Venezolano de Investigaciones Cientifica, Caracas, Venezuela, 1983; University of California, Berkeley, EUA, 1985; Oxford University, Inglaterra, 1988; Universidade Clássica de Lisboa, Portugal, 1988; Universitá degli Studi di Torino, Itália, 1990; Universitá degli Studi di Milano, Itália, 1990; Universitá degli Studi di Firenze, Itália, 1990; Universitá degli Studi di Sciena, Itália, 1990; Universidad Nacional del Sur, Bahía Blanca, Argentina, 1993; Universidad los Andes, Bogotá, Colômbia, 1995; Universidad de Mérida, Mérida, Venezuela, 1998; Nicolas Copernicus University, Torún, Polônia, 1998; Universidad Nacional de Costa Rica, San José, Costa Rica, 2004; Universidad Nacional del Sur, Bahía Blanca, Argentina, 2005; II International Congress on Transdisciplinarity, 2005; Sun Yat-Sen University, Guangzhou, China, 2006; Universidad de Oaxaca, México, 2006; Universidad Nacional de México, 2006. Universidad de San Juan, Argentina, 2007; Northwestern Polytechnical University, China, 2007; Instituto Argentino de Matemática, Buenos Aires, 2008; Instituto de Matemática Pura e Aplicada (IMPA), Brasil, 2008; Universidad del Rosário, Bogotá,Colômbia, 2008; Universitá degli Studi di Trento, Itália, 2008; Universidad de la Sierra del Sur, Mihauatlán, México, 2008. O periódico Manuscrito - Revista Internacional de Filosofia, volume 28, n.2, 2005.Título: Logic and Philosophy of the Formal Sciences - Festschrifft to Itala M. Loffredo D'Ottaviano..
Página gerada pelo Sistema Currículo Lattes em 12/03/2010 às 3:25:54