Walter Alexandre Carnielli

Bolsista de Produtividade em Pesquisa do CNPq - Nível 1B

  • Endereço para acessar este CV: http://lattes.cnpq.br/1055555496835379
  • Última atualização do currículo em 28/07/2018


Graduado e licenciado em Matemática pela Universidade Estadual de Campinas (1976), especialização em Filosofia da Ciência pela Universidade Estadual de Campinas (1981) , mestrado em Matemática pela Universidade Estadual de Campinas (1978), doutorado em Matemática pela Universidade Estadual de Campinas (1982), pós-doutorado pela University of California (1985) , pela Universitat Munster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsita da Fundação Alexander von Humboldt. Atualmente é Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas e Diretor do Centro de Lógica, Epistemologia e História a Ciência (CLE), cargo que já ocupou pos dois outros mandatos É editor e membro do corpo editorial de diversas revistas científicas, membro do SQIG - Security and Quantum Information Group (IST,Lisboa, Portugal), da Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) e de diversas sociedades científicas internacionais . Pesquisa e ensina na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: fundamento dos sistemas da lógica contemporânea, lógica e fundamentos da computação semânticas formais, combinação de lógicas, combinatória finita e infinita, história e filosofia da lógica. Presidiu a Sociedade Brasileira de Lógica por dois mandatos, e fundou o GT de Lógica da ANPOF, o qual coordenou por vários anos. (Texto informado pelo autor)


Identificação


Nome
Walter Alexandre Carnielli
Nome em citações bibliográficas
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas.
Centrro de Lógica, Epistemologia e História da Ciência
Barão Geraldo
13083-859 - Campinas, SP - Brasil - Caixa-postal: 6133
Telefone: (19) 37886519
URL da Homepage: http://www.cle.unicamp.br/prof/carnielli/


Formação acadêmica/titulação


1979 - 1982
Doutorado em Matemática.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: SOBRE O METODO DOS TABLEAUX EM LOGICAS POLIVALENTES FINITARIAS, Ano de obtenção: 1982.
Orientador: NEWTON CARNEIRO AFFONSO DA COSTA.
Palavras-chave: Logicas polivalentes; Metodo dos "Tableaux".
Grande área: Ciências Exatas e da Terra
Setores de atividade: Outros Setores.
1976 - 1978
Mestrado em Matemática.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: CLASSIFICACAO DE FORMAS QUADRATICAS DEFINIDAS POSITIVAS, UNIMODULARES EM DIMENSOES MENORES OU IGUAIS A 16,Ano de Obtenção: 1978.
Orientador: NELLO DA SILVA ALLAN.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: Formas quadráticas.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Teoria dos Números.
1979 - 1981
Especialização em Filosofia da Ciência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
1972 - 1976
Graduação em Matemática.
Universidade Estadual de Campinas, UNICAMP, Brasil.


Pós-doutorado e Livre-docência


1985
Livre-docência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: , Ano de obtenção: 1985.
Grande área: Ciências Exatas e da Terra
1989 - 1990
Pós-Doutorado.
University of Münster, WWU MÜNSTER, Alemanha.
Bolsista do(a): Alexander von Humboldt Stiftung, AVH, Alemanha.
1984 - 1985
Pós-Doutorado.
University of California System, UC System, 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


Formação Complementar


1978 - 1980
Extensão universitária em Especialização em FIlosofia da Ciência.
Universidade Estadual de Campinas, UNICAMP, Brasil.


Atuação Profissional



Ruhr-Universität Bochum, RUB, Alemanha.
Vínculo institucional

2017 - Atual
Vínculo: , Enquadramento Funcional:


Ministry of Education, Lifelong Learning & Religious Affairs, MELLRA, Grécia.
Vínculo institucional

2012 - Atual
Vínculo: Parecerista, Enquadramento Funcional: Parecerista para projetos científicos


Universidad de Sevilla, US, Espanha.
Vínculo institucional

2011 - 2015
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 2


Korea Advanced Institute of Science and Technology, KAIST, Coréia do Sul.
Vínculo institucional

2010 - Atual
Vínculo: Parecerista, Enquadramento Funcional: Parecerista para projetos científicos


Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2009 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 4


Academic College of Tel-Aviv/Yaffo, MTA, Israel.
Vínculo institucional

2009 - Atual
Vínculo: Parecerista, Enquadramento Funcional: Parecerista para projetos científicos


Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

1982 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Regime: Dedicação exclusiva.


Universidade de São Paulo, USP, Brasil.
Vínculo institucional

1980 - 1981
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Atividades

10/1986 - 12/1988
Estágios , Fundação Centro Tecnológico para Informática, .

Estágio realizado
PARTICIPACAO EM PROJETO EM PESQUISA EM INTELIGENCIA ARTIFICIAL..
02/1981 - 07/1981
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
ENSINO DE GRADUACAO - CALCULO DIFERENCIAL E INTEGRAL I,II,III

Westfälische Wilhelms Universität Münster, WWU Münster, Alemanha.
Vínculo institucional

1989 - 1990
Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador e professor visitante, Carga horária: 0
Outras informações
Bolsista da Fundação Alexandrer von Humbold, Alemanha


Rheinische Friedrich-Wilhelms-Universität Bonn, uni-bonn, Alemanha.
Vínculo institucional

1996 - 1996
Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador e professor visitante, Carga horária: 0
Outras informações
Bolsista da Fundação Alexandrer von Humbold, Alemanha


Instituto Superior Técnico, IST, Portugal.
Vínculo institucional

2004 - 2004
Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador e professor visitante, Carga horária: 0
Outras informações
Bolsista da Fundação para Ciência e Tecnologia


Instituto Superior Técnico da UTL, IST, Portugal.
Vínculo institucional

2005 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 0
Outras informações
Membro do "Security and Quantum Information Group" (http://sqig.math.ist.utl.pt/ )


Tribunal Superior Eleitoal, TSE, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Comitê Multidisciplinar do TSE, Enquadramento Funcional: Consultor para assuntos de segurança de voto
Outras informações
Membro do Comitê Multidisciplinar do Tribunal Superior Eleitoral designado pela Portaria n. 279 de 17/05/201rido 0, (sendo o referido Comitê instituido pela Portaria TSE 192 de 20/03/2009). Atividade de consultoria independente não-remunerada.



Projetos de pesquisa


2017 - Atual
Research Grant Alexander von Humboldt-Stiftung
Descrição: Bolsa de pesquisa em reconhecimento perla excelência acadêmica, oferecida pela Alexander von Humboldt-Stiftung par atuar como Pesqusador Visitante junto à Ruhr-Universität Bochum Fakultät für Philosophie und Erziehungswissenschaft Institut für Philosophie IIc.
Situação: Em andamento; Natureza: Pesquisa.
2012 - Atual
Projeto Produtividade em Pesquisa - PQ - 2011 Nivel 1B
Descrição: Projeto Produtividade em Pesquisa - PQ - 2011 Nivel 1B Processo 301937/2011-7 Periodo: 01/03/2012- 29/02/2016 (48 meses).
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2015
Conciencia, Lógica y Computación
Descrição: Trata-se de um projeto de pequisa sobre vfundamentos da cognoscibilidade em Lógica e Computação envolvendo diversas universidades da Espanha, da qual participam alguns pesquisadores ligados ao Centro de Lógica. Epistemologia e História da Ciência da Unicamp. O projeto foi aprovado como Proyecto de Excelencia, Consejería de Innovación, Ciencia y Empresa, Junta de Andalucía, Espanha..
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2014
Mathematical Tools for the Management of Uncertain and Vague Information (MaToMUVI)
Descrição: Driven by the increasing demands in Mathematics, Philosophy and Computer Science, the last two decades witnessed a growing interest in non-classical and many-valued logics. Until not too many years ago, many-valued logics were nearly a curiosity. The situation has now changed and the weaponry of tools in use to current researchers has acquired solid foundations and a respectable amount of applications to other fields. Many important results have enlighten deep connections with other fields of Mathematics such as ordered algebraic structures, combinatorial counterparts of toric geometry, feedback coding theory. Many-valued logics are recognized as the main tool to reason formally in presence of vagueness. Nevertheless new breakthroughs open new challenges, and the knowledge acquired so far empowers the study of more complex phenomena. The aim of this project is to put together some prominent European and Latin-American researchers in many-valued logic in a coordinated effort towards the delivery of a uniform formal system in which "uncertain" and "vague" aspects, which pervade phenomena in the real world, can be treated together in an integrated manner. This is desirable both from the Mathematical and the application point of view as many concrete systems (e.g., medical expert systems) deal with both phenomena and currently not in a completely satisfactory way. This joint enterprise is feasible owing to the pre-existing longstanding collaborations among the researchers involved in the project. Accordingly, beside the joint scientific achievements, we aim at the creation of Latin-American and European Consortium on vague and uncertain reasoning, whose aim will be to draw into focus the manifold strengths of Mathematical Logic in vagueness and uncertainty, by supporting and promoting activities such as: international conferences and workshops; multi-disciplinary research collaborations; short and long-term exchanges..
Situação: Em andamento; Natureza: Pesquisa.
2011 - Atual
Uma teoria paraconsistente para a verdade aritmética
Descrição: O projeto pretende elaborar uma teoria da verdade aritmética que evite o teorema da indefinabilidade da verdade, de Tarski, por meio de uma extensão da aritmética de primeira ordem (S), obtida com o acréscimo do predicado verdade Tx à linguagem de S. A lógica de Σ seria paraconsistente, a rigor, uma Lógica da Inconsistência Formal..
Situação: Em andamento; Natureza: Pesquisa.
2010 - 2016
PROJETO TEMÁTICO- Logical consequence, reasoning and computation - LOGCONS
Descrição: Projeto Temático FAPESP- Processo 10/51038-0 Vigência: 01 de novembro de 2010 - 31 de outubro de 2016 Área do conhecimento: Ciências Humanas - Filosofia - Lógica.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (4) .
Integrantes: Walter Alexandre Carnielli - Coordenador / I M L D'Ottaviano - Integrante / Amílcar Sernadas - Integrante / Cristina Sernadas - Integrante / Marcelo FInger - Integrante / Hugo Mariano - Integrante / Coniglio, Marcelo E. - Integrante / Juliana Bueno-SOler - Integrante / Mariana Matulovic - Integrante / Gabriele Pulcini - Integrante / Giorgio Venturi - Integrante / Julio Michael Stern - Integrante / Flavio Correia - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2009 - Atual
CEPAI- Centro de Pesquisa em Arquitetura da Informacão
Descrição: O Centro de Pesquisa em Arquitetura da Informação - CPAI, vinculado à recém criada Faculdade de Ciência da Informação? FCI, da Universidade de Brasília, é uma instituição que se dedica à investigação e aplicação dos modelos de uso da informação e de suas diferentes manifestações..
Situação: Em andamento; Natureza: Pesquisa.
2004 - 2010
Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications - ConsRe
Descrição: Projeto Temático FAPESP (processo 04/14107-2) em vigor entre 2004-2010, ora terminado e com todos os relatórios aprovados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (5) .
Integrantes: Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / I M L D'Ottaviano - Integrante / João Marcos - Integrante / Marcelo FInger - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
1992 - Atual
Grupo de Lógica Teórica e Aplicada (GLTA)
Descrição: O Grupo de Lógica Teórica e Aplicada - GLTA tem sido visto como um pólo formador de recursos humanos (diversos doutores e mestres formados pelo grupo ocupam posições em universidades públicas) e gerador de pesquisa original, que tem resultado em diversas publicações em livros e nas melhores revistas de circulação internacional. Além disso, o GLTA tem contribuído na organização de diversos eventos acadêmicos e é reconhecido internacionalmente como um dos grupos mais importantes do hemisfério sul, tendo ainda recebido dezenas de visitantes nos últimos anos. O GLTA mantém intensa atividade de cooperação com pesquisadores brasileiros e estrangeiros, em especial com o Centro de Lógica e Computação do Instituto Superior Técnico da Universidade Técnica de Lisboa..
Situação: Em andamento; Natureza: Pesquisa.


Outros Projetos


2017 - Atual
Research Grant- Alexander von Humboldt-Stiftung
Descrição: Research Grant- Alexander von Humboldt-Stiftung Ruhr-Universität Bochum Fakultät für Philosophie und Erziehungswissenschaft Institut für Philosophie II.
Situação: Em andamento; Natureza: Outra.


Membro de corpo editorial


2013 - Atual
Periódico: Logic Journal of the IGPL (Print)
2013 - Atual
Periódico: Logical Investigations
2008 - Atual
Periódico: Journal of Logic and Computation
2008 - Atual
Periódico: Logic Journal of the IGPL (Print)
2007 - Atual
Periódico: Cahiers de Logique et d'Épistémologie
2000 - Atual
Periódico: Cahiers de Logique et d'Épistémologie
2007 - Atual
Periódico: Cuadernos de Logica, Epistemologia y Lenguage
2006 - Atual
Periódico: Episteme (Lisboa)
2006 - Atual
Periódico: Logic and Logical Philosophy
2005 - Atual
Periódico: Logic and Logical Philosophy
2000 - Atual
Periódico: Logic and Logical Philosophy
2005 - Atual
Periódico: Journal of Applied Logic
1995 - Atual
Periódico: Journal of Applied Non-Classical Logics


Revisor de periódico


1985 - Atual
Periódico: Mathematical Reviews
1985 - 1995
Periódico: ZDM. Zentralblatt für Didaktik der Mathematik
2005 - Atual
Periódico: Computing Reviews
2013 - Atual
Periódico: Mind (Oxford. Print)
2013 - Atual
Periódico: The Review of Symbolic Logic


Revisor de projeto de fomento


2017 - 2017
Agência de fomento: Ludwig Maximilian University
2013 - Atual
Agência de fomento: Research Foundation Flanders
2011 - Atual
Agência de fomento: The Academic College of Tel Aviv Yaffo
2011 - Atual
Agência de fomento: The Royal Society of New Zealand
2010 - Atual
Agência de fomento: Korea Advanced Institute of Science and Technology
2000 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
1995 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
1990 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2.
Grande área: Ciências Humanas / Área: Filosofia.
3.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Conjuntos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
5.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.


Idiomas


Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Italiano
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Catalão
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Interlíngua
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Luxemburguês
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.


Prêmios e títulos


2015
Nomeado para o Georg Forster Research Award:, Fundação Alexander von Humboldt.
2012
Medalha de Ouro: Telesio Galilei Academy of Science para 2013, Telesio Galilei Academy of Science.
2011
"Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday", College Publications (Jean-Yves Beziau and Marcelo Esteban Coniglio, eds. ISSN 978-2-84890-055-4).
2007
Prêmio Jabutí - Categoria: "Melhor Livro de Ciências Exatas, Tecnologia e Informática" - 3o. lugar, Câmara Brasileira do Livro - CBL.
2005
Membro Permanente Convidado, Polskie Towarzystwo Logiki i Filozofii Nauki (Ass. Polonesa para Lógica e Filosofia da Ciência).
2005
Achievement Award, National Insurance Academy Pune, India.
1989
Bolsista da Fundação Alexander von Humboldt ("Humboldtiano"), Fundação Alexander von Humboldt.


Produções



Produção bibliográfica
Citações

SCOPUS

Outras
Total de trabalhos:15
Total de citações:45
Carnielli, W. A.  Data: 25/12/2008

Artigos completos publicados em periódicos

1.
Walter A. Carnielli2017Walter A. Carnielli; PULCINI, G. . Cut-elimination and deductive polarization in complementary classical logic. WA Carnielli, G Pulcini. Logic Journal of the IGPL 25 (3), 273-282, 2017. 1, 2017.. LOGIC JOURNAL OF THE IGPL, v. 25, p. 273-282, 2017.

2.
Carnielli, Walter A.2017Carnielli, Walter A.. Sound probabilistic reasoning under contradiction, inconsistency and incompleteness. ЛОГИКО-ИЛОСОСКИЕ ШТУД, v. 13, p. 15-24, 2017.

3.
CARNIELLI, Walter2017CARNIELLI, Walter; LIMA-MARQUES, MAMEDE . Society semantics and the logic way to collective intelligence. Journal of Applied Non-Classical Logics, v. 27, p. 255-268, 2017.

4.
CARNIELLI, Walter2017CARNIELLI, Walter; RODRIGUES, ABILIO . An epistemic approach to paraconsistency: a logic of evidence and truth. SYNTHESE, v. 1, p. 1-26, 2017.

5.
Bueno-Soler, J.2016Bueno-Soler, J. ; Carnielli, Walter A. . Paraconsistent Probabilities: Consistency, Contradictions and Bayes? Theorem. Entropy, v. 18, p. 325, 2016.

6.
CARNIELLI, Walter2015CARNIELLI, Walter; MATULOVIC, MARIANA . The method of polynomial ring calculus and its potentialities. Theoretical Computer Science, p. 42-56, 2015.

7.
CARNIELLI, Walter2015CARNIELLI, Walter; RODRIGUES, ABÍLIO . TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY. Manuscrito, v. 38, p. 155-184, 2015.

8.
CARNIELLI, W.. A.2015CARNIELLI, W.. A.; ROFRIGUES, A. . A logic for evidence and truth. CLE e-Prints (Online), v. 15, p. 1-1, 2015.

9.
Carnielli, Walter A.2015Carnielli, Walter A.; MARIANO, H. L. ; MATULOVIC, M. . Reconciling first-order logic to algebra. CLE e-Prints (Online), v. 15, p. 1, 2015.

10.
Walter A. Carnielli2015Walter A. Carnielli; PULCINI, G. . Cuts and cut-elimination for complementary classical logic. CLE e-Prints (Online), v. 15, p. 1, 2015.

11.
AGUDELO, J. . C.2015AGUDELO, J. . C. ; Carnielli, Walter A. . Polinomial ring calculus for modalities. JOURNAL OF LOGIC AND COMPUTATION, v. 1, p. 100-120, 2015.

12.
Carnielli, Walter A.2015Carnielli, Walter A.. Some natural generalizations of the Collatz problem. Applied Mathematics E-Notes, v. 15, p. 207-215, 2015.

13.
Carnielli, Walter A.2014Carnielli, Walter A.; MATULOVIC, M. . Non-deterministic Semantics in Polynomial Format. Electronic Notes in Theoretical Computer Science, v. 305, p. 19-34, 2014.

14.
CARNIELLI, Walter2014CARNIELLI, Walter; Coniglio, Marcelo E. ; PODIACKI, RODRIGO ; RODRIGUES, TARCÍSIO . ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY. Review of Symbolic Logic, v. 1, p. 1-31, 2014.

15.
Carnielli, Walter A.2014Carnielli, Walter A.; CONIGLIO, M. E. . Swap structures for LFIs. CLE e-Prints (Online), v. 14, p. 1, 2014.

16.
CARNIELLI, Walter2013CARNIELLI, Walter. Problemão disfarçado de probleminha. Cálculo -Matemática Para Todos, v. 25, p. 20-27, 2013.

17.
Caminada, M. W. A.2013Caminada, M. W. A. ; Walter A. Carnielli ; Dunne, P. E. . Semi-stable semantics. Journal of Logic and Computation (Print), v. 22, p. 1207-1254, 2013.

18.
Carnielli, W.2013Carnielli, W.; CONIGLIO, M. E. . Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation (Online), v. 26, p. 97-116, 2013.

19.
CARNIELLI, W.. A.2012CARNIELLI, W.. A.; ARAUJO, A. . Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. Logic Journal of the IGPL (Online), v. 20, p. 477-485, 2012.

20.
Carnielli, Walter A.2012Carnielli, Walter A.; AZAMBUJA, A. . What contradictions say (and what they say not). CLE e-Prints (Impresso), v. 12, p. 1-27, 2012.

21.
CARNIELLI, W.. A.2011CARNIELLI, W.. A.; CAROLINO, P. K. . Adjusting a Conjecture of Erdös. Contributions to Discrete Mathematics, v. 6, p. 154-159, 2011.

22.
AGUDELO, JUAN C.2011AGUDELO, JUAN C. ; CARNIELLI, W.. A. . Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. The Review of Symbolic Logic, v. 4, p. 150-170, 2011.

23.
CARNIELLI, Walter2011CARNIELLI, Walter. The Single-minded Pursuit of Consistency and its Weakness. Studia Logica, v. 97, p. 81-100, 2011.

24.
CARNIELLI, W.. A.2011CARNIELLI, W.. A.; MATULOVIC, M. . Lecture Notes - Proof theory for contemporary logic by handling polynomials over finite fields . CLE e-Prints (Impresso), v. 11, p. 1-35, 2011.

25.
CARNIELLI, W.. A.2011CARNIELLI, W.. A.. The problem ax + b: the most natural generalization of Collatz problem. CLE e-Prints (Impresso), v. 11, p. 1-7, 2011.

26.
Agudelo, J. C.2010Agudelo, J. C. ; Carnielli, W. . Paraconsistent Machines and their Relation to Quantum Computing. Journal of Logic and Computation, v. 20, p. 573-595, 2010.

27.
Rasga, João2009Rasga, João ; CARNIELLI, Walter ; Sernadas, Cristina . Interpolation via translations. Mathematical Logic Quarterly, v. 55, p. 515-534, 2009.

28.
Carnielli, Walter A.2009Carnielli, Walter A.; Coniglio, Marcelo E. ; D Ottaviano, Itala M. L. . New Dimensions on Translations Between Logics. Logica Universalis (Print), v. 3, p. 1-18, 2009.

29.
CARNIELLI, W.. A.2009CARNIELLI, W.. A.. Uma lógica da modalidade económica?. Revista Brasileira de Filosofia, v. 232, p. 209-225, 2009.

30.
CARNIELLI, W.. A.2009CARNIELLI, W.. A.. Meeting Hintikka's Challenge to Paraconsistentism. Principia (Florianópolis. Online), v. 13, p. 283-297, 2009.

31.
DE OLIVEIRA, IGOR CARBONI2009DE OLIVEIRA, IGOR CARBONI ; CARNIELLI, W.. A. . Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories". Logic Journal of the IGPL (Print), v. 17, p. 803-804, 2009.

32.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2008CARNIELLI, Walter; RASGA, J. ; SERNADAS, C. . Preservation of Interpolation Features by Fibring. Journal of Logic and Computation, v. 18, p. 123-151, 2008.

33.
OLIVEIRA, I. C.2008OLIVEIRA, I. C. ; CARNIELLI, Walter . The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. Logic Journal of the IGPL, v. 16, p. 585-590, 2008.

34.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2008CARNIELLI, Walter; CONIGLIO, M. E. . Aristóteles , Paraconsistentismo e a Tradição Budista. O Que nos Faz Pensar, v. 23, p. 163-175, 2008.

35.
CARNIELLI, Walter2008CARNIELLI, Walter; GRÁCIO, M. C. C. . Modulated Logics and Flexible Reasoning. Logic and Logical Philosophy, v. 17, p. 211-249, 2008.

36.
CARNIELLI, W.. A.2008CARNIELLI, W.. A.. The tyranny of knowledge. Manuscrito (UNICAMP), v. 31, p. 511-518, 2008.

37.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2007CARNIELLI, Walter. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. Studies in Computational Intelligence (Print), v. 64, p. 349-364, 2007.

38.
BARRERO, T.2006BARRERO, T. ; CARNIELLI, Walter . Tableaux sin Refutación. Matematica Enseñanza Universitaria, Cali, v. 13, n.2, p. 81-99, 2006.

39.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2006CARNIELLI, Walter. Surviving Abduction. Logic Journal of the IGPL, v. 14, p. 237-256, 2006.

40.
BRUNNER, A. B. M.2005BRUNNER, A. B. M. ; CARNIELLI, Walter . Anti-intuitionism and paraconsistency. Journal of Applied Logic, Amsterdan, v. 3, n.1, p. 161-184, 2005.

41.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2005CARNIELLI, Walter; Bueno-Soler, J. . Possible-translations algebrization for paraconsistent logics.. Bulletin of the Section of Logic, v. 34, n.2, p. 77-92, 2005.

42.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2005CARNIELLI, Walter. Le logica impecabile del irrational. Revista Eletrônica Informação e Cognição, v. 4, p. 61-73, 2005.

43.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2003CARNIELLI, Walter; CALEIRO, C. ; CONIGLIO, M. E. ; SERNADAS, A. ; SERNADAS, C. . Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information, Holanda, v. 12, n.2, p. 183-211, 2003.

44.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2003CARNIELLI, Walter; Denise Guliato ; Rangaraj M. Rangayyan ; João A. Zuffo ; J. E. Leo Desautels . Fuzzy Fusion Operators to Combine Results of Complementary Medical Image Segmentation techniques. Journal of Electronic Imaging, Volume 12, pp. 379-389. Journal of Electronic Imaging, Purdue University , EUA, v. 12, n.3, p. 379-389, 2003.

45.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2003CARNIELLI, Walter; Denise Guliato ; Rangaraj M. Rangayyan ; ZUFFO, J. A. ; J. E. Leo Desautels . Segmentation of Breast Tumors in Mammograms Using Fuzzy Sets. Journal of Electronic Imaging, Volume 12, pp. 369-378. Photo Electronic Imaging, Purdue University, EUA, v. 12, n.3, p. 369-378, 2003.

46.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2002CARNIELLI, Walter; CONIGLIO, M. E. . Transfers Between Logics and their Applications. Studia Logica, Polônia, v. 72, n.3, p. 367-400, 2002.

47.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2002CARNIELLI, Walter; SERNADAS, C. ; RASGA, J. . Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic, Estados Unidos, v. 67, n.4, p. 1541-1569, 2002.

48.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2001CARNIELLI, Walter; MARCOS, J. . Ex Contradictione Non Sequitur Quodlibet. Bulletin of Advanced Reasoning and Knowledge, Romênia, v. 1, p. 89-109, 2001.

49.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2001CARNIELLI, Walter; MARCOS, J. . Tableau Systems for Logics of Formal Inconsistency. Proceedings of the 2001 International Conference on Artificial Intelligence (IC-AI'2001), CSREA Press, EUA, v. II, p. 848-852, 2001.

50.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2000CARNIELLI, Walter. K,2-K1,n and K2,n-K2,n Bipartite Ramsey Numbers. Discrete Mathematics, v. 223, n.1-3, p. 83-92, 2000.

51.
RAHMAN, S.2000RAHMAN, S. ; CARNIELLI, Walter . The Dialogical Approach to Paraconsistency. Synthese, Estados Unidos, v. 125, p. 201-221, 2000.

52.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli2000CARNIELLI, Walter; MARCOS, J. ; DE AMO, S. . Formal Inconsistency and Evolutionary Databases. Logic and Logical Philosophy,, Polônia, v. 8, p. 115-152, 2000.

53.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1999CARNIELLI, Walter; CONIGLIO, M. E. . A Categorial Approach to the Combination of Logics. Manuscrito (UNICAMP), Campinas, v. 22, n.2, p. 64-94, 1999.

54.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1999CARNIELLI, Walter. On the Ramsey Problem for Multicolor Bipartite Graphs. Adv In Appl Math, Nova Iorque, v. 22, n.1, p. 48-59, 1999.

55.
Carnielli, Walter A.1999Carnielli, Walter A.; Marcos, João . Limits for Paraconsistent Calculi. Notre Dame Journal of Formal Logic, v. 40, p. 375-390, 1999.

56.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1998CARNIELLI, Walter. Calea Logica catre Inconsistenta. Krisis Revista de Filosofie, Romênia, n.7, p. 12-31, 1998.

57.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1997CARNIELLI, Walter; D'OTTAVIANO, I. M. L. . Translations between Logical Systems: a Manifesto.. Logique et Analyse, v. 157, p. 67-81, 1997.

58.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1996CARNIELLI, Walter; D'OTTAVIANO, I. M. L. ; ALVES, E. H. . The Centre for Logic in Campinas and the Development of Logic in Brazil. Contemporary Brazilian research in logic. Part I. Logique et Analyse, v. 154, p. 15-29, 1996.

59.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1995CARNIELLI, Walter; SETTE, A. M. A. . Maximal Weakly-Intuitionistic Logics. Studia Logica, v. 55, p. 181-203, 1995.

60.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1993CARNIELLI, Walter. Some Results on Polarized Partition Relations of Higher Dimension. Mathematical Logic Quarterly, v. 39, p. 461-474, 1993.

61.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1992CARNIELLI, Walter; LIMA-MARQUES, M. . Reasoning Under Inconsistent Knowledge. Journal of Applied Non-Classical Logics, v. 2, n.1, p. 49-79, 1992.

62.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1991CARNIELLI, Walter; RATHJEN, M. . Hydrae and Subsistems of Aritmetic. INTERNER BERICHT - NSTITUT FUR MATHEMATK LOGIK UND GRUNDLAGENFORSCHUNG, 1991.

63.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1990CARNIELLI, Walter. Many-valued Logics and Plausible Reasoning. Proceedings of Conference on Many-Valued Logics, Charlotte, EUA, 1990.

64.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1990CARNIELLI, Walter. Hyper-Rook Domain Inequalities. STUDIES IN APPLIED MATHEMATICS, v. 82, n.1, p. 1-12, 1990.

65.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1988CARNIELLI, Walter; DA COSTA, N. C. A. . Kantian and Non-Kantian Logics. LOGIQUE ET ANALYSE, p. 0-0, 1988.

66.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1988CARNIELLI, Walter; DA COSTA, N. C. A. . Paraconsistent Deontic Logic. PHILOSOPHIA, v. 16, n.3-4, p. 293-305, 1988.

67.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1987 CARNIELLI, Walter. Systematization of The Finite Many-Valued Logics Through The Method of Tableaux. The Journal of Symbolic Logic, v. 52, n.1, p. 473-493, 1987.

68.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1987CARNIELLI, Walter. The Problem of Quantificational Completeness and the Characterization of all Perfect Quantifiers In Three In Three-Valued Logics. Mathematical Logic Quarterly, v. 33, p. 19-29, 1987.

69.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1987CARNIELLI, Walter. Methods of Proof for Relatedness and Dependence Logics. REPORTS ON MATHEMATICS LOGIC, v. 21, p. 35-46, 1987.

70.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1985CARNIELLI, Walter. An Algorithm for Axiomatization and Theorem Proving In Finite Many-Valued Logics. LOGIQUE ET ANALYSE, v. 112, p. 363-368, 1985.

71.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1985CARNIELLI, Walter. On Coloring and Covering Problems for Rook Domais. Discrete Mathematics, v. 57, p. 9-16, 1985.

72.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1983CARNIELLI, Walter; DE ALCANTARA, L. P. . Paraconsistent Algebras. Studia Logica, v. XLIII, n.1/2, p. 79-88, 1983.

73.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1983CARNIELLI, Walter; TORRES, O. M. . Completitud Estructural. BULLETIN DEL DEPARTAMIENTO DE CIENCIAS, v. XVI, n.23, p. 17-29, 1983.

74.
CARNIELLI, Walter;CARNIELLI, W.. A.;Carnielli, Walter A.;Carnielli, W.;Walter A. Carnielli1981CARNIELLI, Walter; DE ALCANTARA, L. P. . Transfinite Induction on Ordinal Configurations. ZEITSCH. FUR MATHEM. LOGIK UNDGRUND. DER MATHEMATIK, v. 27, p. 531-538, 1981.

Livros publicados/organizados ou edições
1.
CARNIELLI, Walter; Coniglio, Marcelo Esteban . Logic, Epistemology, and the Unity of Science. 1. ed. Amsterdam: Springer International Publishing, 2016. v. 1. 398 + xxivp .

2.
Carnielli, W.; PIZZI, C. (Org.) . Special Issue on Multimodal Logics. 1. ed. Nova Iorque: Springer, 2013. v. 7. 70p .

3.
MAGNANI, L. (Org.) ; CARNIELLI, W.. A. (Org.) ; PIZZI, C. (Org.) . Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. 1. ed. Heidelberg/Berlin: Springer, 2010. v. 1. 654p .

4.
CARNIELLI, W.. A.; EPSTEIN, R. L. . Pensamento Crítico: o poder da lógica e da argumentação. 1. ed. São Paulo: Rideel, 2009. v. 1. 365p .

5.
CARNIELLI, W.. A.; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . The Many Sides of Logic. 1. ed. Londres: College Publications, 2009. v. 1. 586p .

6.
CARNIELLI, Walter; CONIGLIO, M. E. ; GABBAY, D. ; GOUVEIA, P. ; SERNADAS, C. . Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems.. 1. ed. Amsterdam: Springer, 2008. v. 1. 604p .

7.
CARNIELLI, Walter; PIZZI, C. . Modalities and Multimodalities. 1. ed. Amsterdam: Springer Verlag, 2008. v. 1. 306p .

8.
CARNIELLI, Walter. Computability: Computable Functions, Logic, and the Foundations of Mathematics. 3. ed. Socorro, NM, EUA: Advanced Reasoning Forum, 2008. v. 1. 384p .

9.
CARNIELLI, W.. A.; SILVA, J. (Org.) . Logic, Language, and Knowledge. Essays on Chateaubriand's Logical Forms. 31. ed. Campinas: CLE- UNICAMP, 2008. v. 1.

10.
CARNIELLI, Walter. Handbook of Paraconsistency. Londres: College Publications, 2007.

11.
CARNIELLI, Walter. Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática. 1. ed. São Paulo: Editora UNESP, 2006. v. 1. 416p .

12.
CARNIELLI, Walter; MARCOS, J. (Org.) ; BATENS, D. (Org.) . A Paraconsistent Decagon. 1. ed. Amsterdan: Elsevier, 2005. v. 3(1). 1-5p .

13.
CARNIELLI, Walter; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic - Volume II. 1. ed. , 2005. v. 2.

14.
CARNIELLI, Walter; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic - Volume I. Londres: , 2005. v. 1.

15.
CARNIELLI, Walter; DIONISIO, F. M. (Org.) ; MATEUS, P. (Org.) . Proceedings of CombLog'04--Workshop on Combination of Logics: Theory and Applications.. 1. ed. Lisboa, Portugal: Departamento de Matemática- Instituto Superior Técnico, 2004. v. 4.

16.
CARNIELLI, Walter; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . Paraconsistency: The Logical Way to the Inconsistent. 1. ed. Nova Iorque: Marcel Dekker, 2002. v. 1.

17.
CARNIELLI, Walter; PIZZI, C. . Modalità e Multimodalità. 1. ed. Milão: Franco Angeli, 2001. v. 1.

18.
CARNIELLI, Walter. Computability: computable functions, logic and the foundations of mathematics, with. 2. ed. ,Belmont, CA, EUA: Wadsworth/Thomson Learning, 2000.

19.
CARNIELLI, Walter. Multi-Valued Logics- (Special edition of Journal of Applied Non Classical Logics). Toulouse: , 1999.

20.
CARNIELLI, Walter. Logic, Sets And Information: Proceedings Of The Xi Brazilian Conference On Mathematical Logic. Campinas: Coleção CLE- Centro de Lógica, Epistemologia e História da Ciência, 1995.

21.
EPSTEIN, R. L. ; CARNIELLI, Walter . Computability: Recursive Functions, Logic And The Foundations Of Mathematics. CALIFORNIA: WADSWORTH-BROOKS/COLE, 1988.

22.
CARNIELLI, Walter; DE ALCANTARA, L. P. . Methods And Applications of Mathematical Logic: Proceedings ff The VII Latin-American Symp. On Math. Logic. AMERICAN MATHEMATICAL SOCIETY, 1988.

Capítulos de livros publicados
1.
Bueno-Soler, Juliana ; CARNIELLI, Walter ; Coniglio, Marcelo E. ; Rodrigues Filho, Abilio . Formal (In)consistency, Abduction and Modalities. In: Magnani L. ; Bertolotti T. (Org.). Springer Handbook of Model-Based Science. 1ed.: Springer International Publishing, 2017, v. 1, p. 315-335.

2.
Walter A. Carnielli; Bueno-Soler, J. . Paraconsistent probabilities, their significance and their uses. In: Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus and Joao Rasga. (Org.). Essays in Honour of Amilcar Sernadas. 1ed.Londres: College Publications, 2017, v. 1, p. 197-230.

3.
Carnielli, Walter A.; BUENO-SOLER, J. . Experimenting with consistency. In: Markin, Vladimir, Zaitsev, Dmitry. (Org.). The Logical Legacy of Nikolai Vasiliev and Modern Logic. 1ed.Amsterdam: Springer, 2017, v. 387, p. 1111-2222.

4.
Carnielli, Walter A.; PRISCO, C. . The Wonder of Colors and the Principle of Ariadne. In: Silva, Marcos. (Org.). How Colours Matter to Philosophy. 1ed.Amsterdam: Springer, 2017, v. 388, p. 309-317.

5.
CARNIELLI, Walter. Making The `Hardest Logic Puzzle Ever a Bit Harder. In: Fitting M., Rayman B. (eds). (Org.). Outstanding Contributions to Logic. 1ed.: Springer International Publishing, 2017, v. 1, p. 181-190.

6.
CARNIELLI, Walter. Groups, Not Squares: Exorcizing a Fetish. In: Béziau J ;-Y., Basti G. (eds). (Org.). Studies in Universal Logic. 1ed.: Springer International Publishing, 2017, v. 1, p. 239-250.

7.
Walter A. Carnielli; ROFRIGUES, A. . Paraconsistency and duality: between ontological and epistemological views. In: Pavel Arazim; Michal Dancak. (Org.). The Logica Yearbook 2015. 1ed.Londres: College Publications, 2016, v. 1, p. 1-30.

8.
Walter A. Carnielli; ROFRIGUES, A. . On the philosophy and mathematics of the Logics of Formal Inconsistency. In: ean-Yves Beziau; Mihir Chakraborty; Soma Dutta. (Org.). New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014. 1ed.Calcutá: Springer India, 2016, v. , p. 57-88.

9.
Carnielli, Walter A.; ROFRIGUES, A. . Contradictions, inconsistencies and other oxymora. In: Haeusler, E. ; Sanz, W. ; Lopes, B.. (Org.). Why is this a proof?. 1ed.Londres: College Publications, 2015, v. , p. 197-223.

10.
Carnielli, Walter A.; CONIGLIO, M. E. ; ROFRIGUES, A. . Contradictions in reasoning: an evil or a blessing?. In: A.M. Alfonso-Goldfarb; W.A. Carnielli; H. Chang; M.H.M. Ferraz; J.L. Goldfarb; S. Waisse. (Org.). Contradictions in reasoning: an evil or a blessing?. 1ed.Campinas: Centro de Lógica, Epistemologia e História da Ciencia, 2015, v. 75, p. 135-152.

11.
Carnielli, W.. Paul Bernays and the eve of non-standard models in logic. In: Béziau, Jesn-Yves. (Org.). Universal Logic: An Anthology - From Paul Hertz to Dov Gabbay. 1ed.Basel: Birkhäuse, 2012, v. 18, p. 33-41.

12.
Carnielli, W.; CONIGLIO, M. E. . On discourses addressed by infidel logicians. In: K. Tanaka; F. Berto; E. Mares; F. Paoli. (Org.). Paraconsistency: Logic and Applications. 1ed.Berlim: Springer, 2011, v. 26, p. 27-41.

13.
CARNIELLI, W.. A.. Formal polynomials, heuristics and proofs in logic. In: Alexander S. karpenko. (Org.). Logical Investigations. 16ed.Moscou: Institute of Philosophy- Russian Academy of Sciences, 2010, v. 1, p. 280-294.

14.
CARNIELLI, W.. A.. On a Theoretical Analysis of Deceiving: How to Resist a Bullshit Attack. In: Magnani, L.; Carnielli, W.A.; Pizzi, C.. (Org.). Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. 1ed.Heidelberg/Berlin: Springer, 2010, v. 1, p. 237-244.

15.
CARNIELLI, W.. A.; MAGNANI, L. . Years of reasoning. In honor of the 65th birthday of Claudio Pizzi. In: L. Magnani; W. Carnielli; C. Pizzi. (Org.). Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery. 1ed.Berlin: Spinger, 2010, v. 314, p. -.

16.
CARNIELLI, Walter. Formal polynomials and the laws of form. In: J.-Y. Béziau; A. Costa-Leite. (Org.). Dimensions of Logical Concepts. Campinas: CLE- UNICAMP, 2009, v. 54, p. 201-212.

17.
CARNIELLI, Walter; DORIA, F. A. . Are the Foundations of Computer Science Logic?Dependent?. In: Cédric Dégremont; Laurent Keiff; Helge Rückert. (Org.). Dialogues, Logics and Other Strange Things- Essays in Honour of Shahid Rahman. 1ed.Londres: College Publicatios, 2008, v. 1, p. 87-107.

18.
CARNIELLI, Walter; Bueno-Soler, J. ; CONIGLIO, M. E. . Possible-translations algebraizability. In: J.-Y. Béziau; W.A. Carnielli; D. Gabbay. (Org.). Handbook of Paraconsistency. Londres: Inglaterra, 2007, v. , p. 321-340.

19.
CARNIELLI, Walter; CONIGLIO, M. E. ; MARCOS, J. . Logics of formal inconsistency. In: D. Gabbay; F. Guenthner. (Org.). Handbook of Philosophical Logic. 2ed.Alemanha: Springer, 2007, v. 14, p. 15-107.

20.
CARNIELLI, Walter; AGUDELO, J. . C. . Unconventional models of computation through non-standard logic circuits. Lecture Notes in Computer Science. Berlin: Alemanha, 2007, v. 4618, p. 29-40.

21.
CARNIELLI, Walter; CONIGLIO, M. E. . Bridge principles and combined reasoning. In: T. Müller; A. Newen.. (Org.). Logik, Begriffe, Prinzipien des Handelns. 1ed.Paderborn: Mentis Verlag, 2007, v. 1, p. 32-48.

22.
CARNIELLI, Walter; CALEIRO, C. ; CONIGLIO, M. E. ; MARCOS, J. . Two's company: The humbug of many logical values. In Logica Universalis - pp.169-189. In: Jean-Yves Béziau. (Org.). Logica Universalis. Basel: Birkhäuser, 2005, v. , p. 169-189.

23.
CARNIELLI, Walter; CONIGLIO, M. E. . Splitting Logics. In: S. Artemov; H. Barringer, A. S. d?Avila Garcez; L. C. Lamb; J. Woods,. (Org.). We Will Show Them: Essays in Honour of Dov Gabbay. Londres: King´s College Publications, 2005, v. 1, p. 389-414.

24.
CARNIELLI, Walter; CALEIRO, C. ; RASGA, J. ; SERNADAS, C. . Fibring of logics as a universal construction. In: D. Gabbay; F. Guenthner. (Org.). Handbook of Philosophical Logic. 2ed.Alemanha: Springer/Dordrecht, 2005, v. 13, p. 123-187.

25.
CARNIELLI, Walter. Polynomial Ring Calculus for Many-valued Logics. Multiple-Valued Logic, 2006. ISMVL 2006. 36th International Symposium on Multiple-Valued Logic. 1ed.: IEEE Computer Society, 2005, v. 1, p. 20-25.

26.
CARNIELLI, Walter. Cum iti construiesti propria logica paraconsistenta: O introducere in logicile (in)consistentei formale. In: I. Lucica; D. Gheorghiu; R. Chirila. (Org.). Ex Falso Quodlibet: studii die logica paraconsistenta. Bucareste: Editora Tehnica S.A., 2004, v. , p. 134-158.

27.
VELOSO, P. A. S. ; CARNIELLI, Walter . Logics for qualitative reasoning. In: Shahid Rahman; John Symons. (Org.). Logic, Epistemology and the Unity of Science. Amsterdam: Kluwer Academic Publishers, 2004, v. , p. 487-526.

28.
CUNHA, D. M. M. ; CONIGLIO, M. E. ; CARNIELLI, Walter . An incoherence in the AGM theory?. In: Hércules de H. Feitosa; Frank Sautter. (Org.). Lógica: Teoria, Aplicações e Reflexões.. Campinas: CLE- UNICAMP, 2004, v. 39, p. 107-117.

29.
DE AMO, S. ; CARNIELLI, Walter ; MARCOS, J. . A logical framework for integrating Inconsistent Information in multiple databases. In: Thomas Eiter; Klaus-Dieter Schewe. (Org.). Lecture Notes in Computer Science. Berlim: Springer-Verlag, 2002, v. 2284, p. 67-84.

30.
CARNIELLI, Walter; MARCOS, J. . A taxonomy of C-systems. In: W.A. Carnielli; M. E. Coniglio; I. M. L. D'Ottaviano. (Org.). Paraconsistency: The Logical Way to the Inconsistent. 1ed.Nova Iorque: Marcel Dekker,, 2001, v. , p. 1-94.

31.
CARNIELLI, Walter. Possible-translations semantics for paraconsistent logics. In: D. Batens et al.. (Org.). Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency,. Londres: Kings College Publications, 2000, v. , p. 159-172.

32.
SETTE, A. M. A. ; CARNIELLI, Walter ; VELOSO, P. A. S. . An alternative view of default reasoning. In: E. H. Hauesler; L. C. Pereira. (Org.). Proofs, Types and Categories. RIo de Janeiro: Editora da PUC- Rio de Janeiro,, 1999, v. , p. 127-158.

33.
CARNIELLI, Walter. Society Semantics for Multiple-Valued Logics. In: W. A. Carnielli; M. L. D'Ottaviano. (Org.). Advances in Contemporary Logic and Computer Science. Ann Arbor: American Mathematical Society, 1999, v. 235, p. 33-52.

34.
CARNIELLI, Walter; VELOSO, P. A. S. . Ultrafilter logic and generic reasoning, in Computational Logic and Proof Theory. In: CARNIELLI, W. A.. (Org.). Lecture Notes in Comput. Sci.. Berlin: Springer, 1997, v. 1289, p. 34-53.

35.
CARNIELLI, Walter; CIFUENTES, J. C. . Is There Logic Behind Fuzzynes?. In: CARNIELLI, W. A.. (Org.). BRAZILIAN CONFERENCE ON MATHEMATICS LOGIC, 20. PROCEEDINGS. IN LOGICS, SETS AND INFORMATION. Campinas: CENTRO DE LOGICA, 1995, v. 14, p. 73-91.

36.
CARNIELLI, Walter. Upper Bounds for Minimum Covering Codes by Tabu Search. In: CARNIELLI, W. A.. (Org.). OFICINA NACIONAL EM PROBLEMAS COMBINATORIOS, 2. ANAIS. TEORIA, ALGORITMOS E APLICACOES. : OFICINA NACIONAL EM PROBLEMAS COMBINATORIOS, 1995, v. , p. 50-58.

37.
CARNIELLI, Walter. Logicas Nao Classicas, Teoria da Informacao e Inteligencia Artificial. In: ÉVORA, Fátima R. R.. (Org.). SECULO XIX : O NASCIMENTO DA CIENCIA CONTEMPORANEA. Campinas: UNICAMP, 1992, v. 11, p. 101-110.

38.
CARNIELLI, Walter; FARIÑAS DEL CERRO, L. ; LIMA-MARQUES, M. . Contextual Negations and Reasoning with Contradictions. In: John Mylopoulos; Raymond Reiter. (Org.). Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'91). Sidney: Morgan Kaufmann, 1991, v. , p. 532-537.

39.
CARNIELLI, Walter. A Generalized Framework. In: CARNIELLI, W. A.. (Org.). THE SEMANTIC FOUNDATIONS OF LOGIC. AMSTERDAM: KLUWER ACADEMIC, 1990, v. 1, p. 108-114.

40.
CARNIELLI, Walter. Many-Valued Logics And Plausible Reasoning. In: CARNIELLI, W. A.. (Org.). INTERNATIONAL CONGRESS ON MANY-VALUED LOGICS, 20. PROCEEDINGS. : UNIVERSITY OF CHARLOTE, 1990, v. , p. 328-335.

Textos em jornais de notícias/revistas
1.
CARNIELLI, W.. A.. ?Opinião não é argumento?. VEJA, São Paulo, p. 64 - 65, 18 abr. 2018.

2.
Carnielli, Walter A.. O sujeito e a lógica: negação, contradição e consistência como instrumentos da razão. Revista Linguagem, São Paulo, p. 52 - 69, 07 set. 2017.

3.
CARNIELLI, Walter. A prova de Wiles do Teorema de Fermat. Ciência Hoje, 01 jan. 1994.

4.
CARNIELLI, Walter; RATHJEN, M. . Combinatória e indemonstrabilidade, ou o 13. trabalho de Hércules,. Matemática Universitária, 01 dez. 1991.

Trabalhos completos publicados em anais de congressos
1.
Bueno-Soler, J. ; CARNIELLI, W.. A. . Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?. In: Physics and Computation 2010- 3rd International Workshop, 2010, Luxor, Egito. Pre-Proceedings of Physics and Computation 2010- 3rd International Workshop. Açores: Centre for Applied Mathematics and Information Technology- University of Azores, 2010. v. 1. p. 109-118.

2.
CARNIELLI, Walter; RANGAYAN, R. M. ; ZUFFO, J. A. . Fuzzy fusion of results of medical image segmentation. In: SPIE Conference on Medical Imaging, 1999, San Diego - California. Image Processing, 1999.

3.
CARNIELLI, Walter; GRACIO, M. C. C. . A Lógica Topológica da Crença. In: XII Encontro Brasileiro de Lógica (Lógica'99), 1999, Itatiaia, RJ. Anais do XII Encontro Brasileiro de Lógica, 1999. p. 73-80.

4.
CARNIELLI, Walter; MARCOS, J. . Limits for Paraconsistent Calculi. In: XII Encontro Brasileiro de Lógica (Lógica' 99), 1999, Itatiais, RJ. Anais XII Encontro Brasileiro de Lógica. p. 64-72.

5.
CARNIELLI, Walter. Many-Valued Semantics For Para Consistent Logics.. In: LOGIC COLLOGUIUM-ASL., 1989. BERLIM, RFA. p. 0-0.

6.
CARNIELLI, Walter. Polarized Partition Relations of Higher Dimensions.. In: LOGIC COLLOQUIUM, ASL., 1988, Pádua, Itália. The Journal of Symbolic Logic. PADUA ITALIA, 1988. p. 0-0.

7.
CARNIELLI, Walter. Some Investigations on Covering Problems.. In: COLLECTED PAPERS DEDICATED TO PROF. E. FARAH., 1981. COLLECTED PAPERS DEDICATED TO PROF. E. FARAH.. SAO PAULO: USP. p. 0-0.

Resumos expandidos publicados em anais de congressos
1.
Bueno-Soler, J. ; Carnielli, W. . Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?. In: Physics and Computation 2010, 2010, Luxor/Aswan. Physics and Computation 2010- 3rd Intern. Workshop. Açores: Universidade dos Açores, 2010. v. 1.

2.
Bueno-Soler, J. ; CONIGLIO, M. E. ; CARNIELLI, Walter . Finite Algebraizability via Possible-Translations Semantics. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of the CombLog'04. Lisboa: Centro de Lógica e Computação- Instituto Superior Técnico, 2004. v. 1. p. 79-85.

3.
CARNIELLI, Walter; SERNADAS, C. ; ZANARDO, A. . Preservation of Interpolation by Fibring. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Liaboa. Proceedings of the CombLog'04. Lisboa: Centro de Lógica e Computação do Instituto Superior Técnico, 2004. v. 1. p. 151-157.

Resumos publicados em anais de congressos
1.
CARNIELLI, Walter; AGUDELO, J. . C. . Polynomial ring calculus for S4, intuitionistic logic and multimodal logics. In: World Congress and School on Universal Logic - UniLog 2010, 2010, Monte Estoril. UniLog 2010 Book of Abstracts. Lisboa: Instituo Supeior Técnico, 2010. v. 1. p. 29-29.

2.
CARNIELLI, Walter. Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz. In: 13th International Congress for Logic, Methodology and Philosophy of Science, 2007, Pequim, China. Handbook of the Second World Congress and School on Universal Logic. Pequim, China, 2007. p. 45-45.

3.
CARNIELLI, Walter. Logic in polynomial format, logic autopoiesis and the laws of form. In: 13th International Congress for Logic, Methodology and Philosophy of Science, 2007, Pequim, China. Volume of Abstracts of the 13th International Congress for Logic, Methodology and Philosophy of Science. Pequim, China, 2007. p. 257-257.

4.
CARNIELLI, Walter. Surviving Abduction. In: Model-Based Reasoning in Science and Engineering- MBR´04, 2004, Pavia. Proceedings of MBR´04, 2004.

5.
CONIGLIO, M. E. ; CARNIELLI, Walter . Belief Revision for Non-Classical Logics.. In: Logic Colloquium 2001, 2001, Viena. Proceedings of the Logic Colloquium 2001. Viena: Kurt Gödel Society, 2001. v. 4. p. 68-68.

6.
CARNIELLI, Walter; CONIGLIO, M. E. . Teoria de Modelos e Traduções. In: IX Encontro Nacional de Filosofia - ANPOF, 2000, Poços de Caldas, MG. Atas do IX Encontro Nacional de Filosofia - ANPOF, 2000. p. 125-126.

7.
CARNIELLI, Walter. La Lógica y el Razonamiento Cualitativo. In: II Encuentro de Filosofia e História de la Ciencia del Cono Sur, 2000, Buenos Aires (Quilmes). Anales del II Encuentro de Filosofia e História de la Ciencia del Cono Sur. p. 42-42.

8.
CARNIELLI, Walter; MARCOS, J. . C- systems: Paleontology and Futurology. In: World Congress on Paraconsistency -WCP' 2000, 2000, Juquehy, SP,. Book of Abstracts of the World Congress on Paraconsistency -WCP' 2000, 2000. p. 6-7.

9.
CONIGLIO, M. E. ; CARNIELLI, Walter . A Model Theoretic Approach to Translations Between Logics. In: 7th Workshop on Logic, Language, Information and Computation, 2000, Natal. Journal of the Interest Group in Pure and Applied Logics (IGPL). Londres: IGPL, 2000. v. 9. p. 137-137.

10.
CARNIELLI, Walter; CONIGLIO, M. E. . Translations and Model Theory.. In: Logic Colloquium 2000, 2000, Paris. Bull. of Symbolic Logic. Ann Arbour: Association for SYmbolic Logic, 2000. v. 7. p. 104-105.

11.
CARNIELLI, Walter. Proof Theory for Infinite-Valued Logics: a Functional Approach. In: European Summer Meeting of the Association for Symbolic Logic, 1999, Praga. The Bulletin of Symbolic Logic, 1999. v. 5. p. 99-99.

12.
CARNIELLI, Walter; GRACIO, M. C. C. . Modulated Logics and Uncertain Reasoning. In: 5th Barcelona Logic Meeting and 6th Kurt Goedel Colloquiium, 1999, Barcelona. Proceedings of the 6th Kurt Goedel Colloquiium, 1999. p. 00-00.

13.
CARNIELLI, Walter; DE AMO, S. . A Logic-Based System for Controlling Inconsistencies in Evolutionary Databases. In: 6th Workshop on Logic, Language, Information and Computation (6th WoLLIC), 1998, Itatiaia, RJ. Proceedings of the 6th Workshop on Logic, Language, Information and Computation (6th WoLLIC),, 1998. p. 89-101.

14.
CARNIELLI, Walter. The Logic of Formal Inconsistency and Applications for Databases. In: Stanislaw Jaskowski Memorial Symposium, 1998, Torun, Polônia. Proceedings of the Stanislaw Jaskowski Memorial Symposium, 1998.

15.
CARNIELLI, Walter. Ramsey-Type Theorems For Cubes.. In: PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS., 1986. BERKELEY, CA, USA. p. 0-0.

Artigos aceitos para publicação
1.
Walter A. Carnielli; CONIGLIO, M. E. ; ROFRIGUES, A. . On formal aspects of the epistemic approach to paraconsistency. MANUSCRITO (UNICAMP), 2018.

2.
Walter A. Carnielli; AZAMBUJA, A. . Formal Plenitude and Curry's Paradox: Sketch of a Non-Hierarchical Theory for Arithmetical Truth. Coleção CLE (UNICAMP), 2017.

Apresentações de Trabalho
1.
CARNIELLI, W.. A.; LIMA-MARQUES, M. . Society semantics and meta-levels of many-valued logic. 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
CARNIELLI, W.. A.. Paraconsistent autonomous probabilities. 2018. (Apresentação de Trabalho/Conferência ou palestra).

3.
CARNIELLI, W.. A.. Non-standard possibilistic and necessitistic measures as foundations for artificial reasoning. 2018. (Apresentação de Trabalho/Seminário).

4.
Walter A. Carnielli; PRISCO, C. . The Principle of Ariadne and the Axiom of Choice: some perspectives. 2017. (Apresentação de Trabalho/Conferência ou palestra).

5.
Walter A. Carnielli. Lógicas Posibilisticas y Necesitisticas. 2017. (Apresentação de Trabalho/Seminário).

6.
Walter A. Carnielli. Probabilidades Paraconsistentes. 2017. (Apresentação de Trabalho/Seminário).

7.
Walter A. Carnielli. Un Enfoque Epistémico a la Paraconsistencia: Evidencia y Verdad. 2017. (Apresentação de Trabalho/Seminário).

8.
Walter A. Carnielli. Rolling strange dice: probability and logic coexisting in non-classical realms. 2017. (Apresentação de Trabalho/Conferência ou palestra).

9.
Walter A. Carnielli. Consistency, possibilistic, and necessitistic measures. 2017. (Apresentação de Trabalho/Conferência ou palestra).

10.
Walter A. Carnielli. Consistency, possibilistic, and necessitistic measures. 2017. (Apresentação de Trabalho/Conferência ou palestra).

11.
Walter A. Carnielli. Possibility Theory, Evidence and Uncertainty. 2017. (Apresentação de Trabalho/Congresso).

12.
Carnielli, Walter A.. Probability measures of the inconsistent? and of the contradictory. 2015. (Apresentação de Trabalho/Congresso).

13.
Carnielli, Walter A.. Towards a new way to algebraize FOL (and several others). 2015. (Apresentação de Trabalho/Conferência ou palestra).

14.
Carnielli, Walter A.. Formal plenitude and Curry?s paradox: Sketch of an expanded theory for arithmetical truth. 2015. (Apresentação de Trabalho/Conferência ou palestra).

15.
Carnielli, Walter A.. On rational belief under contradiction: foundations of paraconsistent probability. 2015. (Apresentação de Trabalho/Conferência ou palestra).

16.
Walter A. Carnielli. Mesa Redonda: Os Perigos da Inteligência Artificial Hoje. 2015. (Apresentação de Trabalho/Seminário).

17.
Carnielli, Walter A.. An Epistemic Approach to Paraconsistency: A Logic of Evidence and Trut. 2015. (Apresentação de Trabalho/Conferência ou palestra).

18.
Carnielli, Walter A.; ROFRIGUES, A. . An epistemic approach to paraconsistency: dealing with evidence and truth. 2015. (Apresentação de Trabalho/Comunicação).

19.
ROFRIGUES, A. ; CARNIELLI, W.. A. . What would be a falsitymaker for the principle of non-contradiction?. 2015. (Apresentação de Trabalho/Comunicação).

20.
Carnielli, Walter A.. A Logic of Evidence and Truth: a true epistemic approach to paraconsistency. 2015. (Apresentação de Trabalho/Comunicação).

21.
Carnielli, Walter A.. Paraconsistency and fuzziness. 2014. (Apresentação de Trabalho/Conferência ou palestra).

22.
CARNIELLI, W.. A.. Uma Interpreção Epistemológica sobre a Informação Contraditória. 2014. (Apresentação de Trabalho/Conferência ou palestra).

23.
CARNIELLI, W.. A.. Contradiction Consistency and Inconsistency: Methods and Concepts on Logics of Formal (In)consistency. 2014. (Apresentação de Trabalho/Conferência ou palestra).

24.
CARNIELLI, Walter. A rapprochement between algebra and logic. 2014. (Apresentação de Trabalho/Congresso).

25.
CARNIELLI, W.. A.. Contradiction in reasoning: an evil or a blessing?. 2014. (Apresentação de Trabalho/Conferência ou palestra).

26.
CARNIELLI, W.. A.. Polynomials as a Universal Proof Method. 2013. (Apresentação de Trabalho/Seminário).

27.
CARNIELLI, W.. A.. Set Theories by Predicating on Consistency and Inconsistency. 2013. (Apresentação de Trabalho/Seminário).

28.
CARNIELLI, W.. A.. Paraconsistent Description Logics: how Description Logics can be more intelligent. 2013. (Apresentação de Trabalho/Seminário).

29.
CARNIELLI, W.. A.. Set theory with consistency and inconsistency predicates. 2013. (Apresentação de Trabalho/Seminário).

30.
CARNIELLI, W.. A.. How Description Logics can become more intelligent by supporting contradictions. 2013. (Apresentação de Trabalho/Seminário).

31.
CARNIELLI, W.. A.. Gödel?s theorems are not inevitable: how to rationally resist the incompleteness arguments. 2013. (Apresentação de Trabalho/Comunicação).

32.
CARNIELLI, W.. A.. The kingdom of polynomials: where logic, algebra and probability would meet. 2013. (Apresentação de Trabalho/Conferência ou palestra).

33.
CARNIELLI, Walter. O Problema da Parada: Alan Turing, de Leibniz a Gödel - Centenário de Alan Turing - Unicamp . 2012. (Apresentação de Trabalho/Conferência ou palestra).

34.
CARNIELLI, Walter. Painel: O centenário de Alan Turing: passado e futuro da computação. 2012. (Apresentação de Trabalho/Congresso).

35.
CARNIELLI, Walter. The several senses of consistency and their role in reasoning. 2012. (Apresentação de Trabalho/Conferência ou palestra).

36.
CARNIELLI, Walter. Logic: Between Semantics and Proof Theory. 2012. (Apresentação de Trabalho/Conferência ou palestra).

37.
CARNIELLI, Walter. From Curved Logic to Imaginary Sets: Inconsistent Set Theory and the Expansion of Mathematical Thinking. 2012. (Apresentação de Trabalho/Conferência ou palestra).

38.
CARNIELLI, Walter. On new foundations for paraconsistent set theory. 2012. (Apresentação de Trabalho/Comunicação).

39.
CARNIELLI, W. A.; CARNIELLI, W.. A. . Paraconsistent set theories by predicating on (in)consistency. 2012. (Apresentação de Trabalho/Conferência ou palestra).

40.
CARNIELLI, W.. A.. Computação Quântica e Lógicas Não-Clássicas. 2012. (Apresentação de Trabalho/Conferência ou palestra).

41.
CARNIELLI, W.. A.. Teoria de situações: onde lógica, informação, tempo e espaço se encontram. 2012. (Apresentação de Trabalho/Conferência ou palestra).

42.
CARNIELLI, W.. A.. Proofs by handling polynomials: a tool for teaching logic and metalogic. 2011. (Apresentação de Trabalho/Conferência ou palestra).

43.
CARNIELLI, W.. A.. How to use Polynomials to Design Proofs. 2011. (Apresentação de Trabalho/Seminário).

44.
CARNIELLI, W.. A.. Proof Theory for Contemporary Logic by Handling Poliyomials over Finite Fields. 2011. (Apresentação de Trabalho/Seminário).

45.
GOSRKI, S. B. ; CARNIELLI, W.. A. . Informação, contradição e o paradoxo de Bar-Hillel-Carnap. 2011. (Apresentação de Trabalho/Comunicação).

46.
CARNIELLI, W.. A.; CONIGLIO, M. E. . Paraconsistent set theory by predicating on consistency. 2011. (Apresentação de Trabalho/Comunicação).

47.
Carnielli, W.. Many semantics for a few logics. 2011. (Apresentação de Trabalho/Seminário).

48.
Carnielli, W.. Inconsistent Sets in Logics of Formal Inconsisency. 2011. (Apresentação de Trabalho/Conferência ou palestra).

49.
CARNIELLI, Walter; AGUDELO, J. . C. . Polynomial ring calculus for S4, intuitionistic logic and multimodal logics. 2010. (Apresentação de Trabalho/Congresso).

50.
CARNIELLI, Walter. Rationality, consistency and societies,. 2010. (Apresentação de Trabalho/Conferência ou palestra).

51.
CARNIELLI, Walter. Polynomials instead of formulas: revamping the heritage of Boole and Leibniz.. 2010. (Apresentação de Trabalho/Seminário).

52.
CARNIELLI, W.. A.. Introduction aux Logiques de I'inconsistance Formelle et Semantiques de Traductions Possibles. 2010. (Apresentação de Trabalho/Seminário).

53.
CARNIELLI, W.. A.. Logiques en format polynomial. 2010. (Apresentação de Trabalho/Seminário).

54.
CARNIELLI, W.. A.. Lógica e Pensamento Crítico. 2010. (Apresentação de Trabalho/Conferência ou palestra).

55.
CARNIELLI, W.. A.. Argumentação Eficiente para o Discurso Profissional ? Pensamento Crítico e Autodefesa Intelectual. 2010. (Apresentação de Trabalho/Conferência ou palestra).

56.
CARNIELLI, W.. A.. The possible- translations semantics and reasoning with contradictions. 2010. (Apresentação de Trabalho/Conferência ou palestra).

57.
CARNIELLI, W.. A.. As multimodalidades e seu interesse filosófico. 2010. (Apresentação de Trabalho/Conferência ou palestra).

58.
CARNIELLI, W.. A.. Um programa de argumentação e pensamento crítico. 2010. (Apresentação de Trabalho/Conferência ou palestra).

59.
CARNIELLI, W.. A.. Incompletude em lógica modal e seus efeitos na computação quântica. 2010. (Apresentação de Trabalho/Conferência ou palestra).

60.
Bueno-Soler, J. ; CARNIELLI, W.. A. . Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?.. 2010. (Apresentação de Trabalho/Comunicação).

61.
CARNIELLI, W.. A.. Sobre filósofos que admiram-se somente uns aos outros, tudo, muito e alguns. 2010. (Apresentação de Trabalho/Comunicação).

62.
CARNIELLI, W.. A.. Logics of Formal Inconsistency. 2009. (Apresentação de Trabalho/Comunicação).

63.
CARNIELLI, W.. A.. On Two Different Dimensions of Arithmetic. 2009. (Apresentação de Trabalho/Comunicação).

64.
AGUDELO, J. . C. ; CARNIELLI, W.. A. . Paraconsistent Computation and its Quantum Character. 2009. (Apresentação de Trabalho/Comunicação).

65.
CARNIELLI, W.. A.. Paraconsistent Computation and its Quantum Character. 2009. (Apresentação de Trabalho/Comunicação).

66.
CARNIELLI, W.. A.. Rationality, Consistency and Societies. 2009. (Apresentação de Trabalho/Comunicação).

67.
CARNIELLI, Walter. Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz. 2007. (Apresentação de Trabalho/Conferência ou palestra).

68.
CARNIELLI, Walter. Logics in polynomial format, logic autopoiesis and the laws of form. 2007. (Apresentação de Trabalho/Comunicação).

69.
CARNIELLI, Walter. Cuantificadores modulados y votación en poblaciones infinitas. 2007. (Apresentação de Trabalho/Conferência ou palestra).

70.
CARNIELLI, Walter. Combinations of logics: paradoxes, problems and perspectives. 2007. (Apresentação de Trabalho/Conferência ou palestra).

71.
CARNIELLI, Walter. Possible-Translations Semantics. Philosophisches Seminar, Universität Bonn, Alemanha, 12 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

72.
CARNIELLI, Walter. Tutotial: Many-Valued Semantics. 1st World School on Universal Logic, Montreux, Suiça, 26 a 30 de março. 2005. (Apresentação de Trabalho/Outra).

73.
CARNIELLI, Walter. Polynomial Ring Calculus for Logical Inference. 1st World Congress on Universal Logic, Montreux, Suíça,. 2005. (Apresentação de Trabalho/Comunicação).

74.
CARNIELLI, Walter. Integrating Inconsistent Information in Multiple Databases. Department of Electrical and Computer Engineering, University of Calgary, Canadá, 17 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

75.
CARNIELLI, Walter. Algebraizing Logics via Possible-Translations Semantics. Department of Electrical and Computer Engineering, University of Calgary, Canadá, 17 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

76.
CARNIELLI, Walter. Polynomial Ring Calculus for Many-valued Logics. 35th International Symposium on Multiple-Valued Logic. Calgary, Canadá, 19 a 21 de maio. 2005. (Apresentação de Trabalho/Comunicação).

77.
CARNIELLI, Walter. Integrating Inconsistent Information in Multiple Databases. Department of Electrical and Computer Engineering, University of Calgary, Canadá, 17 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

78.
CARNIELLI, Walter. Deconstructing logics by means of possible-translatins semantics, 2005 Winter Meeting of the Association for Symbolic Logic e American Philosophical Association. 2005. (Apresentação de Trabalho/Conferência ou palestra).

79.
CARNIELLI, Walter. The softened hermeneutics: new semantics for recalcitrant. XII Latin-American Symposium on Mathematical Logic (XII SLALM), Universidad de San José, Costa Rica, janeiro. 2004. (Apresentação de Trabalho/Conferência ou palestra).

80.
CARNIELLI, Walter. Minimalist Modalities. Logic and Computation Seminar, Instituto Superior Técnico, Lisboa, 20 de fevereiro. 2004. (Apresentação de Trabalho/Seminário).

81.
CARNIELLI, Walter. Minimalist Modalities. Logic and Computation Seminar, Instituto Superior Técnico, Lisboa, 20 de fevereiro. 2004. (Apresentação de Trabalho/Conferência ou palestra).

82.
CARNIELLI, Walter. Minimalist Modalities and Epistemic Paradoxes. Università degli Studi di Siena, Itália, 20 de abril. 2004. (Apresentação de Trabalho/Conferência ou palestra).

83.
CARNIELLI, Walter. Logicas de Inconsistentia Formal e su Semanticas. Proferida em Interlingua, Seminar de l'Institut de Logique, Université de Neuchâtel, Neuchâtel, Suiça, 17 de maio. 2004. (Apresentação de Trabalho/Conferência ou palestra).

84.
CARNIELLI, Walter. Algebraizing Logics via Possible-Translations Semantics. Seminari de Lògiques no-Clàssiques, Universitat de Barcelona, Espanha, 21 de maio. 2004. (Apresentação de Trabalho/Conferência ou palestra).

85.
CARNIELLI, Walter. Multimodalidades entre Positivas y Paraconsistentes. Universidad de Málaga, Espanha, 28 de junho. 2004. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Walter A. Carnielli; HAEUSLER, H. ; VIANA, P. . Special Issue: The Proceedings of the XVII EBL: 17th Brazilian Logic Conference, 2014. Londres: Oxford University Press, 2017 (Anais).

2.
Walter A. Carnielli; HAEUSLER, H. ; VIANA, P. . Foreword- Special Issue: The Proceedings of the XVII EBL: 17th Brazilian Logic Conference, 2014. Loncres, 2017. (Prefácio, Pósfacio/Prefácio)>.

3.
CARNIELLI, W.. A.; VIANA, P. ; FREITAS, R. . The Proceedings of the XVI EBL?16th Brazilian Logic Conference, 2011. Londres: Oxford University Press, 2013 (Anais).

4.
Carnielli, W.; PIZZI, C. . Special Issue on Multimodal Logics: A Preface. Nova Iorque, 2013. (Prefácio, Pósfacio/Prefácio)>.

5.
CARNIELLI, W.. A.; VIANA, P. ; FREITAS, R. . The Proceedings of the XVI EBL?16th Brazilian Logic Conference, 2011: A Preface, 2013. (Prefácio, Pósfacio/Prefácio)>.

6.
CARNIELLI, W.. A.; MAGNANI, L. . Years of Reasoning. In Honor of the 65th Birthday of Claudio Pizzi. Heidelberg/Berlin, 2010. (Prefácio, Pósfacio/Introdução)>.

7.
CARNIELLI, W.. A.; D'OTTAVIANO, I. M. L. ; MUNDICI, D. ; CONIGLIO, M. E. . Annals of the CLE/AIPS Event - Science, Truth and Consistency. Campinas: CLE/UNICAMP, 2009 (Anais).

8.
CARNIELLI, Walter; CONIGLIO, M. E. . Combining Logics. Stanford, USA: Stanford University, 2007 (Verbete).

9.
CARNIELLI, Walter. Proceedings of the XIV Brazilian Logic Conference. Inglaterra, 2007. (Prefácio, Pósfacio/Prefácio)>.

10.
CARNIELLI, Walter. Prefácio de "The Magic Garden of George B. And Other Logic Puzzles". Monza, 2007. (Prefácio, Pósfacio/Prefácio)>.

11.
CARNIELLI, Walter. Logicas Paraconsistentes; Sistemas de. São Paulo: Martins Fontes, 2006 (Verbete).

12.
CARNIELLI, Walter; CONIGLIO, M. E. ; D'OTTAVIANO, I. M. L. . An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic. Journal of the IGPL 2005 13: 1-3., 2005. (Prefácio, Pósfacio/Prefácio)>.

13.
CARNIELLI, Walter; MARCOS, J. ; BATENS, D. . A Paraconsistent Decagon. Journal of Applied Logic 3(1):1-5, 2005. (Prefácio, Pósfacio/Prefácio)>.

14.
CARNIELLI, Walter. An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic. Inglaterra, 2005. (Prefácio, Pósfacio/Prefácio)>.

15.
CARNIELLI, Walter. Prefácio de "An Introduction to Partially Ordered Structures and Sheaves". Monza, 2005. (Prefácio, Pósfacio/Prefácio)>.


Produção técnica
Assessoria e consultoria
1.
Walter A. Carnielli; DA SILVA, J. J. ; D Ottaviano, Itala M. L. . Comissão de Especialistas para Cargo de Professor Titular. 2015.

2.
Carnielli, Walter A.. Fund for Scientific Research-FNRS (F.R.S.-FNRS),. 2015.

3.
Walter A. Carnielli. Parecerista para iComputational and Applied Mathematics. 2015.

4.
Carnielli, Walter A.. Membro do Comitê Científico- Vienna Summer of Logic ARQNL 2014- Automated Reasoning in Quantified Non-Classical Logics IJCAR-Workshop- Logic in Computer Science. 2014.

5.
Carnielli, Walter A.. Membro do Comitê Científico- JELIA 2014 14 th Euroepean Conference on Logics in Artificial Intelligence. 2014.

6.
Carnielli, Walter A.. Membro do Comitê Científico- LSFA 2014 9th Workshop on Logical and Semantic Frameworks, with Applications. 2014.

7.
CARNIELLI, Walter. Membro do Turing Centenary Advisory Committee (TCAC). 2012.

8.
CARNIELLI, Walter. Member of the Program Committee of the XV LASML. 2012.

9.
CARNIELLI, Walter. Member of the Committee on Logic in Latin America of the Association for Symbolic Logic. 2012.

10.
Carnielli, Walter A.. Parecerista para 'Journal for General Philosophy of Science'. 2012.

11.
Carnielli, W.. Parecerista para 'Mathematics and Computers in Simulation'. 2012.

12.
Carnielli, W.. Membro do Comitê de Ética em Pesquisa da UNICAMP. 2012.

13.
Carnielli, Walter A.. Parecerista para 'Synthese'. 2011.

14.
Carnielli, W.. Parecerista para 'The Review of Symbolic Logic'. 2009.

15.
CARNIELLI, Walter. Membro do Comitê Científico - The 22 st International Florida Artificial Intelligence Research Society Conference (FLAIRS-21). 2008.

16.
CARNIELLI, Walter. Parecerista para "Journal of Algorithms in Cognition Information and Logic". 2008.

17.
CARNIELLI, Walter. Parecerista para "Logical Journal of the IGPL". 2008.

18.
Carnielli, W.. Parecerista para 'Logica Universalis'. 2008.

19.
Carnielli, W.. Membro da Comissão Central de Pesquisa da UNICAMP. 2008.

20.
CARNIELLI, Walter. Parecerista para "Journal of Symbolic Computation". 2007.

21.
CARNIELLI, Walter. Parecerista para "Journal of Applied Non-Classical Logics". 2007.

22.
CARNIELLI, Walter. Parecerista para "Archive for Mathematical Logic". 2007.

23.
CARNIELLI, Walter. Parecerista para "Erkenntnis". 2006.

24.
CARNIELLI, Walter. Resenhista ("reviewer") de "Computing Reviews", órgão da "Association for Computing Machinery". 2006.

25.
CARNIELLI, Walter. Parecerista para "Reports on Mathematical Logic". 2006.

26.
Carnielli, W.. Parecerista para 'Studia Logca'. 2001.

Programas de computador sem registro
1.
CARNIELLI, Walter; MATULOVIC, M. . PoLCa -Polynomial Ring Calculus Software. 2013.

Produtos tecnológicos
1.
CARNIELLI, Walter. Musica Pessoal.. 1988.

Trabalhos técnicos
1.
CARNIELLI, Walter. Membro do Comitê Científico - The 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS-21). 2008.

2.
CARNIELLI, Walter. Membro do Comitê Científico JELIA 2008 - 11th European Conference on Logics in Artificial Intelligence. 2007.

3.
CARNIELLI, Walter. Parecerista para The Philosophical Quarterly (University of St Andrews, Escócia). 2005.

4.
CARNIELLI, Walter. Membro do Comitê de Programa das Sextas Jornadas Rolando Chuaqui Kettlun en Matemática y Filosofía, Santiago do Chile, Chile, 27 e 28 de maio. 2004.

5.
CARNIELLI, Walter. Membro do Comitê de Programa do 9th European Conference on Logics in Artificial Intelligence- JELIA'04, Universidade Nova de Lisboa, Lisboa, Portugal, 27-30 de setembro. 2004.

6.
CARNIELLI, Walter. Membro do Comitê Organizador do Workshop on Combination of Logics: Theory and Applications (CombLog'04), CLC-IST, Lisboa, Portugal, 28-30 de julho. 2004.

7.
CARNIELLI, Walter. Membro do Comitê de Programa do evento MBR'04-Model-Based Reasoning in Science and Engineering Abduction, Visualization, and Simulation, Pavia, Itália, 16 a 18 de dezembro. 2004.

8.
CARNIELLI, Walter. Membro do Comitê Organizador do evento III World Congress on Paraconsistency-WVP III, Toulouse, França, 28-31 de julho. 2003.

9.
CARNIELLI, Walter. Membro do Comitê Organizador do evento XIII Encontro Brasileiro de Lógica, CLE / UNICAMP, 26 a 30 de maio. 2003.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
CARNIELLI, W.. A.. Por que ?opinião não é argumento?, segundo este professor de lógica da Unicamp. 2016. (Programa de rádio ou TV/Entrevista).

2.
Carnielli, Walter A.; BEZIAU, J. ; BAŞ ; BATENS, D. ; WEBER, Z. . Paraconsitent Logic and Reasoning. 2014. (Programa de rádio ou TV/Mesa redonda).

3.
Carnielli, Walter A.; ROY, S. ; SARKAR, P. ; KA, G. ; JOSPEH, J. . Brain, Contradictions and Computability. 2014. (Programa de rádio ou TV/Mesa redonda).

4.
CHATEAUBRIAND, O. ; CARNIELLI, W.. A. ; MORETTI, A. ; MANCOSU, P. ; SINACEUR, H. B. ; CASANAVE, A. L. . Quão classica é a assim chamada lógica classica?. 2013. (Programa de rádio ou TV/Mesa redonda).

5.
CARNIELLI, W.. A.. Interview with Walter Carnielli. 2013. (Programa de rádio ou TV/Entrevista).

6.
Carnielli, W.. Urna em debate. 2012. (Programa de rádio ou TV/Entrevista).

7.
Carnielli, W.. Computabilidade,Lógica,Filosofia e Fundamentos da Matemática. 2012. (Programa de rádio ou TV/Entrevista).

8.
CARNIELLI, W.. A.. Livro ensina como melhorar o poder de argumentação. 2009. (Programa de rádio ou TV/Entrevista).


Demais tipos de produção técnica
1.
Carnielli, Walter A.; AZAMBUJA, A. . On the Philosophy and Mathematics of the Logics of Formal Inconsitency. 2014. (Curso de curta duração ministrado/Outra).

2.
CARNIELLI, Walter. Possible-Translations Semantics. 2008. (Curso de curta duração ministrado/Outra).

3.
CARNIELLI, Walter. Editor de Resenhas da revista " Logic and Logical Philosophy ", Polônia, a partir de janeiro de 2005. 2005. (Editoração/Periódico).

4.
CARNIELLI, Walter. Debatedor na Mesa-Redonda: Systems of paraconsistent logic: state of the art. WCP3- III World Congress on Paraconsistency Toulouse, França, julho. 2003. (Debatedor).

5.
CARNIELLI, Walter. Debatedor na Mesa-Redonda: O CLE: sua proposta interdisciplinar e seus destinos. CLE/SBL 25 Anos e XII, EBL, Campinas, maio. 2003. (Debatedor).


Produção artística/cultural
Outras produções artísticas/culturais
1.
Carnielli, Walter A.; CONIGLIO, M. E. . Raciocínio lógico influencia no desempenho profissional; veja como melhorar o seu. 2011 (Entrevista).

2.
CARNIELLI, Walter; MAIA, A. ; do Valle, R. ; Manzolli, J. . NonSequitur: Colagem Sonoro-visual para um Encontro entre Lógica e Música. Arte e Ciência. MultiCiência-Revista Interdisciplinar dos Centros e Núcleos da UNICAMP, número 2, maio. 2004.

Demais trabalhos
1.
CARNIELLI, Walter. Sewing Logics Together: the possible-translations semantics and new meanings for old logics. 2008 (Conferência) .

2.
CARNIELLI, Walter. Possible-Translations Semantics and Logics of Formal Inconsistency. 2008 (COnferência) .

3.
CARNIELLI, Walter. Combining Logics by Means of Possible-Translation Semantics and Society Semantics. 2008 (COnferência) .

4.
CARNIELLI, Walter. Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra?. 2008 (COnferência) .

5.
CARNIELLI, Walter. Combining Logics. 2008 (COnferência) .

6.
CARNIELLI, Walter. Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: Some Perspectives on Polynomizing Logics. 2008 (COnferência) .

7.
CARNIELLI, Walter. Polynomial as a proof method: a rendez vous between logic and algebra. 2008 (COnferência) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
RUFFINO, M.; ROFRIGUES, A.; CARNIELLI, Walter. Participação em banca de Ana Flávia de Faria Cholodovskis. Lógicas de Inconsistência Formal e Não-Monotonicidade. 2014. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

2.
AZAMBUJA, A.; CARNIELLI, Walter; RUFFINO, M.. Participação em banca de Henrique Antunes Almeida. Revisitando o Teorema de Frege. 2014. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

3.
Walter A. Carnielli; RUFFINO, M.; ROFRIGUES, A.. Participação em banca de Henrique Antunes Almeida. Revisitando o Teorema de Frege. 2014. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

4.
CARNIELLI, W.. A.; LIMA-MARQUES, M.. Participação em banca de Rafael Fernandes de Barros Costa Azevedo. Um modelo ontológico do sistema eleitoral brasileiro. 2014. Dissertação (Mestrado em Ciências da Informação) - Universidade de Brasília.

5.
CONIGLIO, M. E.; CARNIELLI, Walter; BIANCONI, R.. Participação em banca de Teófilo de Souza Reis. Conectivos flexíveis: uma abordagem categorial às semânticas de traduções possíveis e à noção de forma lógica. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

6.
CARNIELLI, Walter; GIACOIA JUNIOR, O.; PELUSO, L. A.. Participação em banca de Fabricio Vasconcelos Gomes. Entre o Racional e o Justo: A Lógica e as Sentenças Judiciais. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

7.
CARNIELLI, Walter; FINGER, M.; CONIGLIO, M. E.. Participação em banca de Samir Bezerra Gorsky. A Semântica algébrica para as lógicas modais e seu interesse filosófico. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

8.
CARNIELLI, Walter; BIANCONI, R.; CONIGLIO, M. E.. Participação em banca de Rodrigo Podiacki Barreto de Menezes. Lógicas da Inconsistência Formal Quantificadas. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

9.
CONIGLIO, M. E.; CARNIELLI, Walter; D'OTTAVIANO, I. M. L.. Participação em banca de Alberto Leopoldo Batista Netou. Representação e combinação de lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

10.
CARNIELLI, Walter; CONIGLIO, M. E.; FINGER, M.. Participação em banca de Juan Carlos Agudelo Agudelo. Da computação paraconsistente à computação quântica. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

11.
CARNIELLI, Walter; VELOSO, P. A. S.; BIRABEN, R. C. E.. Participação em banca de Paulo Roberto Petrillo. Raciocínio Difuso via Lógicas Moduladas- Uma Solução ao Paradoxo dos Sorites. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

12.
CARNIELLI, Walter; VELOSO, P. A. S.; GRACIO, M. C. C.; BIRABEN, R. C. E.; FRANCOSO, E.. Participação em banca de Paulo Roberto Petrillo. Raciocinio difuso via logicas moduladas : uma solução ao paradoxo do Sorites. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

13.
CARNIELLI, Walter; CONIGLIO, M. E.; MARIANO, H.. Participação em banca de Tomá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.

14.
CARNIELLI, Walter; WASSERMANN, R.; CONIGLIO, M. E.. Participação em banca de Denise Maria Maldonado de Cunha. Crenças Não Ditas, Dito de Crenças.. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

15.
CARNIELLI, Walter; FUHRMANN, A.. Participação em banca de Alexandre Fernandes Batista Costa Leite. Paraconsistencia, modalidades e cognoscibilidade. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

16.
CARNIELLI, Walter; CONIGLIO, M. E.; IBRI, I. A.; MORENO, A. R.. Participação em banca de Cassiano Terra Rodrigues. Lógica e Investigação. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

17.
CARNIELLI, Walter; CONIGLIO, M. E.; WASSERMANN, R.. Participação em banca de Víctor Leandro Fernández. Semântica de Sociedades para Lógicas n-Valoradas. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

18.
SILVA, R. R.; MORAES, R. C. C.; CARNIELLI, Walter. Participação em banca de Wagner de Mello Elias. A revelação da palavra de Deus nas sagradas escrituras e a subordinação da igreja a autoridade publica. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

19.
CARNIELLI, Walter; CONIGLIO, M. E.; BEZIAU, J.. Participação em banca de João Marcos de Almeida. Semântica de Traduções Possíveis. 1999. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

20.
CARNIELLI, Walter. Participação em banca de Ruben Aleksander Pela. Algoritmos Abstratos e Seu Significado Para A Matematica. 1996. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas.

21.
CARNIELLI, Walter; SANTOS, J. P. O.. Participação em banca de Emerson Luiz do Monte Carmelo. O Problema das Hipertorres e Partições Polarizadas Finitas e Infinitas. 1995. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas.

Teses de doutorado
1.
Walter A. Carnielli; ROFRIGUES, A.; BUENO-SOLER, J.; PEREIRA, L. C. P. D.; RUFFINO, M.. Participação em banca de Pedro Mendes Ferreira Lemos. The Fading Light of Contingency: On Tense, Modals, and Assessment-sensitivity. 2016. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

2.
Carnielli, Walter A.; WASSERMANN, R.; FINGER, M.; MARCOS, J.; COZMAN, F. G.. Participação em banca de Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. 2015. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

3.
CARNIELLI, W.. A.. Participação em banca de David Sena Oliveira. Cálculo do Entrelaçamento de Estados Puros com Quatro a Seis Qubits. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

4.
JUNQUEIRA, L. R.; Carnielli, Walter A.; GOMES, S.; ALAS, O.; PASSOS, M.. Participação em banca de Rodrigo Roque Dias. Princípios de seleção, jogos topológicos e indestrutibilidade de espaços compactos. 2012. Tese (Doutorado em Matemática) - Universidade de São Paulo.

5.
GOMES, S.; PASSOS, M.; ALAS, O.; JUNQUEIRA, L. R.; Carnielli, W.. Participação em banca de Leandro Fiorini Aurichi. A influência dos subespaços discretos sobre os espaços topológicos. 2009. Tese (Doutorado em Matemática) - Universidade de São Paulo.

6.
CARNIELLI, Walter; CONIGLIO, M. E.; BIANCONI, R.; MARIANO, H.; HAEUSLER, E. H.. Participação em banca de Luís Augusto Sbardellini. O Continuum, os Reais e o Conceito de Homogeneidade. 2005 - Universidade Estadual de Campinas.

7.
CARNIELLI, Walter; CONIGLIO, M. E.; D'OTTAVIANO, I. M. L.; VELOSO, P. A. S.; CATUOGNO, P.; FINGER, M.. Participação em banca de Victor Leandro Fernández. FIbrilação de Lógicas na Hierarquia de Leibniz. 2005 - Universidade Estadual de Campinas.

8.
CARNIELLI, Walter; RASGA, J.; CALEIRO, C.; CONIGLIO, M. E.; KRAUSE, D.. Participação em banca de João Marcos de Almeida. Logics of Formal Inconsistency. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

9.
CARNIELLI, Walter; D'OTTAVIANO, I. M. L.; CONIGLIO, M. E.; DA COSTA, N. C. A.; SILVA, R. R.. Participação em banca de Frank Thomas Sautter. O Argumento Ontológico Gödeliano para a Existência de Deus. 2000. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

10.
CARNIELLI, Walter; D'OTTAVIANO, I. M. L.; CONIGLIO, M. E.; BASTOS, C. D.; PEREIRA, L. C. P. D.; QUEIROZ, R. J.. Participação em banca de Daniel Durante Pereira Alves. Normalização Forte via Ordinal Natural. 1999 - Universidade Estadual de Campinas.

Qualificações de Mestrado
1.
Walter A. Carnielli; RUFFINO, M.; D'OTTAVIANO, I. M. L.. Participação em banca de Pedro Henrique Carrasqueira Zanei. Jogos paracvonsistentes. 2016. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

Trabalhos de conclusão de curso de graduação
1.
CONIGLIO, M. E.; CARNIELLI, Walter; D'OTTAVIANO, I. M. L.. Participação em banca de Newton Marques Peron..Paradoxos Modais e Lógicas da Inconsistência Formal. 2007. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Estadual de Campinas.

2.
CARNIELLI, Walter; CONIGLIO, M. E.; D'OTTAVIANO, I. M. L.. Participação em banca de Rafael Rodrigues Testa.Lógica Deôntica para o Estudo de Sistemas Normativos. 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.
Carnielli, Walter A.; MARCONDES, D.; BRITO, A. N.. Banca de Ttular na UFF-Prof. Dirk Greimann,. 2015. Universidade Federal Fluminense.

Concurso público
1.
CARNIELLI, Walter; D'OTTAVIANO, I. M. L.; ALVES, E. H.; VELOSO, P. A. S.. Concurso Público de Provas e Títulos para Professor Titular. 2006. Universidade Estadual Paulista Júlio de Mesquita Filho.

2.
CARNIELLI, Walter. Banca de Concurso Público -Professor Assistente em Lógica- UNESP, Marília. 2003. Universidade Estadual Paulista Júlio de Mesquita Filho.

3.
CARNIELLI, Walter; BIANCONI, R.; CONIGLIO, M. E.. Banca de Processo Seletivo (para professor Doutor). 2002. Institutode Matemática e Estatística- Universidade de São Paulo.

Livre docência
1.
CARNIELLI, Walter; MIRAGLIA NETO, F.; COZMAN, F. G.; BARRERA, J.; WAINER, J.. Concurso de Livre-Docência. 2005. Institutode Matemática e Estatística- Universidade de São Paulo.

2.
CARNIELLI, Walter; D'OTTAVIANO, I. M. L.; DA COSTA, N. C. A.; PEREIRA, L. C. P. D.; MIRAGLIA NETO, F.. Concurso de Livre-Docente. 2004. Universidade Estadual de Campinas.

3.
CARNIELLI, Walter. Banca de Livre-Docência. 2002. Universidade de São Paulo.

Outras participações
1.
CARNIELLI, Walter; GONÇALVES, A.. Comissão de Avaliação de Doutorado de Emerson Monte Carmelo. 2003. Universidade Federal do Rio de Janeiro.

2.
CARNIELLI, Walter; FINGER, M.; WASSERMANN, R.. Comissão Julgadora de Dissertação de Mestrado de Wagner Dias. 2002. Universidade de São Paulo.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling.Non-standard possibilistic and necessitistic measures as foundations for artificial reasoning. 2918. (Simpósio).

2.
Fourth Workshop CLE - Buenos Aires Logic Group.Popperian probabilities for paraconsistent logics. 2018. (Seminário).

3.
3rd Workshop CLE ? Buenos Aires Logic Group @ IIF-SADAF.Probability, Consistency and Determinateness: a Bold Betting. 2016. (Seminário).

4.
Logic Today: Developments and Perspectives. Sound Probabilistic Reasoning under Contradiction, Inconsistency and Incompleteness. 2016. (Congresso).

5.
VII Semana de Tecnologia em Foco.Big Data e Inteligência Artificial: uma crítica. 2016. (Oficina).

6.
XVII Encontro Nacional ANPOF.O Enigma Logico Mais Difícil do Mundo não é o mais difícil. 2016. (Encontro).

7.
CLMPS 2015 - 15th Congress of Logic, Methodology and Philosophy of Science.. Probability measures of the inconsistent? and of the contradictory. 2015. (Congresso).

8.
LOGICA 2015. An Epistemic Approach to Paraconsistency: A Logic of Evidence and Truth. 2015. (Congresso).

9.
Second Workshop CLE - Buenos Aires Logic Group.A logic for evidence and truth. 2015. (Seminário).

10.
UNILOG 2015 - 5th Congress on Universal Logic.. An epistemic approach to paraconsistency: dealing with evidence and truth. 2015. (Congresso).

11.
1st Workshop Centro de Lógica, Epistemologia e História da Ciência (Brazil) Buenos Aires Logic Group (Argentina).ContradictioConsistency and Inconsistency: Methods and Concepts on Logics of Formal (In)consistency. 2014. (Seminário).

12.
CESIMA Anno 20- Crossing Oceans: Exchange of Products, Instruments, and Procedures in the History of Chemistry and Related Sciences (CESIMA/CLE-Unicamp/ SHAC ). Contradiction in reasoning: an evil or a blessing?. 2014. (Congresso).

13.
4º Colóquio de Arquitetura da Informação- CPAI - UnB.Teoria de situações: onde lógica, informação, tempo e espaço se encontram. 2012. (Encontro).

14.
Associação de Pós-Graduandos da FEEC (APOGEEU) UNICAMP.Computação Quântica e Lógicas Não-Clássicas. 2012. (Encontro).

15.
EADCA 2012 Quinto Encontro dos Alunos e Docentes do Departamento de Engenharia de Computação e Automação Industrial-FEE- UNICAMP.Alan Turing, do Enigma ao Problema da Parada. 2012. (Simpósio).

16.
Seminário do Instituto de Estudos da Linguagem- IEL- UNICAMP.Publicação assistida, fatores de impacto e grandes editoras: Um ciclo vicioso?. 2012. (Seminário).

17.
Beyond the Possible: in Memorian of Richard Sylvan. Inconsistent Sets in Logis of Formal Inconsistency. 2011. (Congresso).

18.
Seminário FCE- Faculdade de Ciência Aplicadas de Limeira- UNICAMP.Logica e Argumentação: da Ilusão ao Ceticismo. 2011. (Seminário).

19.
Seminar of the School of Historical and Philosophical Studies..Many Semantics for a few logics. 2011. (Seminário).

20.
III Workshop-Escola de Computação e Informação Quântica.Paraconsistência e Computação Quântica. 2010. (Oficina).

21.
Physics and Computation 2010.Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?. 2010. (Oficina).

22.
XV Colóquio Conesul de Filosofia das Ciências Formais.Sobre filósofos que admiram-se somente uns aos outros, tudo, muito e alguns. 2010. (Encontro).

23.
"First International Workshop on Foundations of Computer Science as Logic-Related".Computability: Logic versus Physics. 2008. (Oficina).

24.
Logic School/ Escola de Lógica.Possible-Translations Semantics (Tutorial). 2008. (Outra).

25.
QICS Workshop on Foundational Structures for Quantum Information and Computation. Is quantum computation logic-dependent?. 2008. (Congresso).

26.
XII Encontro Nacional de Filosofia da ANPOF.O que é isso: a Relevância Filosófica?. 2006. (Encontro).

27.
The 2nd Indian International Conference on Artificial Intelligence. Quantum algorithms, paraconsistent computation and Deutsch's problem. 2005. (Congresso).

28.
Logic and Computation Seminar.Minimalist modalities. 2004. (Seminário).

29.
CLE/SBL 25 ANos.O CLE, sua proposta interdisciplinar e seus destinos. 2003. (Oficina).

30.
V Jornadas ROlando Chuaqui Kettlun de Matemática y FIlosofia.Logicas de la inconsistencia formal. 2003. (Oficina).

31.
Seminário - Universidad EAFIT.Semanticas de Sociedad y C-Sistemas. 2002. (Outra).

32.
X Encontro Nacional de Filosofia da ANPOF.As regras derivadas e a aficiência relativa dos métodos de demonstração. 2002. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
CARNIELLI, Walter. GCAI-2018 / 4th Global Conference on Artificial Intelligence- membro do Comitê Científico. 2018. (Congresso).

2.
Walter A. Carnielli; BUENO-SOLER, J. ; BIRABEN, R. C. E. ; PULCINI, G. ; TESTA, R. ; VENTURI, G. ; BERTATO, F. M. . Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE. 2016. 2016. (Congresso).

3.
BARRIOS, E. ; CONIGLIO, M. E. ; PAILOS, F. ; Walter A. Carnielli . 3RD WORKSHOP * Centro de Lógica, Epistemologia e História da Ciência (Brazil) Buenos Aires Logic Group (Argentina). 2016. (Concurso).

4.
Carnielli, Walter A.. Contest: the Future of Logic (President of the Jury). 2015. (Concurso).

5.
Carnielli, Walter A.. Scientific Committee-5th World Congress and School on Universal Logic - UNILOG 2015. 2015. (Congresso).

6.
Carnielli, Walter A.. Programa de Superdotados- Projeto Prolog. 2015. (Concurso).

7.
Carnielli, Walter A.. Ratio ad contrarium: the logical and philosophical importance of reasoning under contradictions (Sessão Especial no CLMPS 2015 ). 2015. (Congresso).

8.
Walter A. Carnielli; BARRIOS, E. ; CONIGLIO, M. E. . 2nd Workshop CLE - Buenos Aires Logic Group. 2015. (Concurso).

9.
Walter A. Carnielli; BLACKBURN, P. ; CORCORAN, J. . Contest: the Future of Logic. 2015. (Concurso).

10.
CARNIELLI, Walter. CESIMA Anno 20- Crossing Oceans: Exchange of Products, Instruments, and Procedures in the History of Chemistry and Related Sciences (CESIMA/CLE-Unicamp/ SHAC). 2014. (Congresso).

11.
CARNIELLI, Walter. 1 SLALM2014 - 16th Latin-American Smposium on Mathematical Logic. 2014. (Congresso).

12.
Carnielli, Walter A.; CONIGLIO, M. E. ; BARRIOS, E. . 1st Workshop Centro de Lógica, Epistemologia e História da Ciência (Brazil) Buenos Aires Logic Group (Argentina). 2014. (Congresso).

13.
Carnielli, W.; BUENO-SOLER, J. ; CONIGLIO, M. E. . Worskshop on Thinking and Rationality. 2013. (Congresso).

14.
CARNIELLI, Walter. PMUV- Philosophy and Mathematics of Uncertainty and Vagueness. 2012. (Congresso).

15.
CARNIELLI, Walter. Computability and Logic: celebrating the Alan Turing Year in Brazil (Seminários GLTA-CLE e Colloquia Logicae). 2012. (Outro).

16.
CARNIELLI, W.. A.; FREITAS, R. ; VIANA, P. . XVI Encontro Brasileiro de Lógica. 2011. (Congresso).

17.
CARNIELLI, Walter. Machines from Turing to Quantum. 2011. (Outro).

18.
CARNIELLI, W.. A.; EPSTEIN, R. L. . Pannel session: Critical Thinking and Logic. 2011. (Outro).

19.
CARNIELLI, Walter; PIZZI, C. . Special Session on Multimodal Logics. 2010. (Congresso).

20.
CARNIELLI, W.. A.. III Workshop-Escola de Computação e Informação Quântica (Membro da Comissão de Programa). 2010. (Congresso).

21.
CARNIELLI, W.. A.. Science, Truth and Consistency. 2009. (Congresso).

22.
CARNIELLI, Walter; D'OTTAVIANO, I. M. L. ; CONIGLIO, M. E. . "CLE 30 ? 30th Anniversary of the Centre for Logic, Epistemology and the History of Science, UNICAMP", " XV EBL -15th Brazilian Logic Conference", "XIV SLALM ? 14th Latin-American Symposium on Mathematical Logic". 2008. (Congresso).

23.
CARNIELLI, Walter; CONIGLIO, M. E. ; D'OTTAVIANO, I. M. L. . Logic School/ Escola de Lógica. 2008. (Outro).

24.
CARNIELLI, Walter. "First International Workshop on Foundations of Computer Science as Logic-Related". 2008. (Congresso).

25.
CARNIELLI, Walter. "Logical Consequence and its Combinations", sessão do IICAI-05, Pune, India. 2005. (Congresso).

26.
CARNIELLI, Walter. Workshop "Semantics and Meaning" (SeMe 2005), organizado em torno da visita de Saul Kripke ao CLE. 2005. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Daniel Diniz. Lógica, Argumentaçãoe Probabilidade. Início: 2017. Dissertação (Mestrado profissional em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Maira 'Bittencourt. Lógica e probabilidade. Início: 2017. Dissertação (Mestrado profissional em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Henrique Antunes Almeida. Sem título (a ser definido). Início: 2015. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Orientador).

Monografias de conclusão de curso de aperfeiçoamento/especialização
1.
Henrique Yuji Rossetti Inonhe. Formalização da Matemática através de Assistentes de Provas: Um estudo do Estado. da Arte. Início: 2017. Monografia (Aperfeiçoamento/Especialização em Matematica) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Pedro Henrique Carrasqueira Zanei. "Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência". 2018. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

2.
Igor de Camargo e Souza Câmara. Condicionais Contrafatuais e Contrapossíveis. 2018. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

3.
Edson Vinicius Bezerra. Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedade. 2017. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

4.
Luis Claudio Balan de Campos. Kant e a geometria. 2016. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

5.
Sandro Marcio da Silva Preto. Lógica, probabilidade e consequência. 2015. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

6.
Ana Flávia Cholodovskis. Lógicas Näo-Monotôonicas e Paraconsistência. 2014. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

7.
Henrique Antunes Almeida. Revisitando o Teorema de Frege. 2014. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

8.
Antonio Marmo de Oliveira. Sistemas, Pressuposições e Implicaturas: Uma Investigação Exploratória, Lógica e Filosófica. 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

9.
Pietro Kreitlon Carolino. Polinomizando: Um Método de Representação em Lógica, com Raízes em Leibniz e Boole. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

10.
Fabrício Vasconcelos Gomes. Entre o Racional e o Justo: A Lógica e as Sentenças Judiciais. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

11.
Samir Bezerra Gorsky. A Semântica algébrica para as lógicas modais e seu interesse filosófico. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

12.
Rodrigo Podiacki Barreto de Menezes. Lógicas da Inconsistência Formal Quantificadas. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

13.
Juan Carlos Agudelo. Da computação paraconsistente à computação quântica. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

14.
Paulo Roberto Petrillo. Raciocínio Difuso via Lógicas Moduladas: Uma Solução ao Paradoxo dos Sorites. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

15.
Tomá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, . Orientador: Walter Alexandre Carnielli.

16.
Alexandre Fernandes Batista Costa Leite. Paraconsistência, Modalidades e Cognoscibilidade.. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

17.
Denise Maldonado da Cunha. Crenças não ditas, ditos de crenças. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

18.
João Marcos de Almeida. Semânticas de Traduções Possíveis. 1999. Dissertação - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

19.
Ruben Aleksander Pela. Algoritmos Abstratos e Seu Significado Para A Matematica. 1996. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

20.
Emerson Luiz do Monte Carmelo. O Problema das Hipertorres e Particoes Polarizadas Finitas e Infinitas. 1995. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

21.
Pedro Catuogno. Produto Semidireto e Subdiretamente Irredutiveis. 1992. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

22.
José Carlos Cifuentes Vasquez. O Metodo dos Isomorfismos Parciais e A Caracterizacao Algebrica da Expressabilidade Matematica. 1988. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Walter Alexandre Carnielli.

Tese de doutorado
1.
Bruno Ramos Mendonça. Teoria Tradicional da Informação Semântica sem Escândalo da Dedução: Uma reavaliação moderadamente externalista do tópico baseada em semântica urna e uma aplicação paraconsistente. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

2.
Pedro Mendes Ferreira Lemos. The Fading Light of Contingency: On Tense, Modals, and Assessment-sensitivity. 2016. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

3.
Samir Bezerra Gorsky. A lógica e a metafísica dos enigmas: surpresa, espanto e informação. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

4.
Mariana Matulovic da Silva. Demonstrações na algibeira: polinômios como um método universal de provas. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

5.
Anderson de Araújo. Uma abordagem modelo-teórica da computabilidade de Turing clássica. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

6.
Davide Crippa. The problem of the quadrature of the circle between XVIIth and XVIIIth century, and the status of impossibility proofs. 2010. Tese (Doutorado em Instit d?Histoire et de Philosophie des Sciences) - Université Paris 1 Pantheon-Sorbonne, . Coorientador: Walter Alexandre Carnielli.

7.
Juan Carlos Agudelo Agudelo. Computação paraconsistente: uma abordagem lógica à computação quânticä. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

8.
Rodrigo de Alvarenga Freire. Os Fundamentos do Pensamento Matemático no Século XX e a Relevância Fundacional da Teoria de Modelos. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

9.
João Marcos de Almeida. Logics of Formal Inconsistency. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

10.
Maria Cláudia Cabrini Grácio. Lógicas Moduladas e Bases para o Raciocínio sob Incerteza. 1999. Tese - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

11.
Denise Guliato. Algoritnos para Segmentação Difusa de Imagens. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Walter Alexandre Carnielli.

12.
Mamede Lima-Marques. Un Environemt Multimodal pour la Resolution des Conflicts Aerienes. 1992. Tese (Doutorado em Computaçãoe Informática) - Université Toulouse III Paul Sabatier, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

Supervisão de pós-doutorado
1.
Rodrigo de Alvarenga Freire. 2013. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Walter Alexandre Carnielli.

2.
Abílio Rodrigues. 2012. Universidade Federal de Minas Gerais, . Walter Alexandre Carnielli.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Maíra Bittencourt. Filosofia e Probabilidade. 2013. Monografia. (Aperfeiçoamento/Especialização em Filosofia da Ciência) - Universidade Estadual de Campinas. Orientador: Walter Alexandre Carnielli.

Iniciação científica
1.
Igor Carboni de Oliveira. Computabilidade e Indecidibilidade. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

Orientações de outra natureza
1.
Bruno Jacinto. Estágio na Unicamp como ganhador do Prêmio Santander. 2007. Orientação de outra natureza. (Filosofia) - Universidade de Lisboa. Orientador: Walter Alexandre Carnielli.

2.
Hugo Luiz Mariano. Supervisão de Pós-Doutorado. 2004. Orientação de outra natureza. (Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

3.
Márcio Chaves-Tannus. Supervisão de Pós-Doutorado. 2003. Orientação de outra natureza - Centro de Lógica, Epistemologia e História da Ciência- UNICAMP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

4.
Andréas Brunner. Supervisão de Pós-Doutorado. 2003. Orientação de outra natureza. (Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

5.
Mamede Lima-Marques. Supervisão de Pós-Doutorado. 1995. Orientação de outra natureza - Centro de Lógica, Epistemologia e História da Ciência- UNICAMP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.



Inovação



Programa de computador sem registro
1.
CARNIELLI, Walter; MATULOVIC, M. . PoLCa -Polynomial Ring Calculus Software. 2013.



Educação e Popularização de C & T



Artigos
Artigos completos publicados em periódicos
1.
CARNIELLI, Walter2013CARNIELLI, Walter. Problemão disfarçado de probleminha. Cálculo -Matemática Para Todos, v. 25, p. 20-27, 2013.


Textos em jornais de notícias/revistas
1.
CARNIELLI, W.. A.. ?Opinião não é argumento?. VEJA, São Paulo, p. 64 - 65, 18 abr. 2018.


Apresentações de Trabalho
1.
CARNIELLI, Walter. O Problema da Parada: Alan Turing, de Leibniz a Gödel - Centenário de Alan Turing - Unicamp . 2012. (Apresentação de Trabalho/Conferência ou palestra).

2.
CARNIELLI, Walter. Painel: O centenário de Alan Turing: passado e futuro da computação. 2012. (Apresentação de Trabalho/Congresso).

3.
CARNIELLI, W.. A.. Contradiction Consistency and Inconsistency: Methods and Concepts on Logics of Formal (In)consistency. 2014. (Apresentação de Trabalho/Conferência ou palestra).


Entrevistas, mesas redondas, programas e comentários na mídia
1.
Carnielli, W.. Urna em debate. 2012. (Programa de rádio ou TV/Entrevista).

2.
CHATEAUBRIAND, O. ; CARNIELLI, W.. A. ; MORETTI, A. ; MANCOSU, P. ; SINACEUR, H. B. ; CASANAVE, A. L. . Quão classica é a assim chamada lógica classica?. 2013. (Programa de rádio ou TV/Mesa redonda).

3.
CARNIELLI, W.. A.. Por que ?opinião não é argumento?, segundo este professor de lógica da Unicamp. 2016. (Programa de rádio ou TV/Entrevista).

4.
CARNIELLI, W.. A.. Interview with Walter Carnielli. 2013. (Programa de rádio ou TV/Entrevista).

5.
Carnielli, W.. Computabilidade,Lógica,Filosofia e Fundamentos da Matemática. 2012. (Programa de rádio ou TV/Entrevista).


Organização de eventos, congressos, exposições e feiras
1.
CARNIELLI, Walter. Computability and Logic: celebrating the Alan Turing Year in Brazil (Seminários GLTA-CLE e Colloquia Logicae). 2012. (Outro).



Outras informações relevantes


1) PRÊMIOS

-CANDIDATO ao Georg Forster Research Award, da Alexander von Humboldt Fpundation para 2015
-MEDALHA DE OURO da Academia Telesio-Galilei, 2012
(Telesio-Galilei Academy of Science, Suíça)
-ACHIEVEMENT AWARD, National Insurance Academy Pune, India., 2005

2)  GOOGLE SCHOLAR: Citações	3453/ Índice h	33	 / Índice i10	63

3) CONFERENCISTA CONVIDADO EM:

Graduate Center, City University of New York, EUA, 1986 
BM Research Center, San Jose, California, EUAA, 1986 
Instituto de Matemáticas, IVIC, Venezuela, 1987 
Departamento de Matemáticas, Universidad de Mérida, Venezuela,1987 
Università degli Studi di Torino, Itália, 1988 
Università degli Studi di Siena,  Itália, 1988 
Universitá degli Studi di Firenze, Itália, 1988 
Université Paul Sabatier, França , 1988, 1989, 1991 
Université Catolique de Louvain, Bélgica, 1988 
Max Planck Institut, Bonn, Alemanha, 1988 
Mathematisches Forschungsinstitut, Oberwolfach, Alemanha, 1988 
Westfälische-Wilhelms-Universität, Münster, Alemanha, 1990 
Universiteet van Amsterdam, Holanda, 1989 
Uniwersytet Warszawski, Warsaw, Polônia, 1990 
Instituto Internacional de Estudos Avanzados (IDEA-UNESCO) Caracas,Venezuela, 1992 
Université de Paris, Orsay, França, 1992 
Project DRUMS (SPRIT- European Community ) Gif-sur-Ivette,França, 1992 
Universidad Nacional de Colombia, Santafé de Bogotá, Colombia, 1994 
Universidad de Los Andes, Santafé de Bogotá, Colombia, 1994 
Universidade de Évora, Portugal, 1998 
University of Torun, Polônia, 1998 
Instituto Superior Técnico, Lisboa, Portugal, 1999 
Universitat de Barcelona, Espanha, 1999 
Universidad de Málaga, Espanha, 1999 
New Europe College, Bucareste, Romênia, 2000
Instituto Superior Técnico , Lisboa, Portugal, 2004, 2005, 2006
Departamento  de Matemática, Un. de Málaga, Espnaha, 2004
Arché Philosophical Research Centre for Logic, Language,
Metaphysics and Epistemology, St. Andrews, Escócia, 2008
Roskilde University, Roskilde, Dinamarca, 20



Página gerada pelo Sistema Currículo Lattes em 12/12/2018 às 8:50:05