Logo SIPEX
Logotipo UNICAMP
Informações Curriculares do Pesquisador na UNICAMP
Dados do Pesquisador
Nome: Carnielli, Walter A.
E-Mail: carniell@cle.unicamp.br
Tipo/Função: Docente - Professor Titular - MS6
Unidade: INSTITUTO DE FILOSOFIA E CIENCIAS HUMANAS
Departamento: DEPARTAMENTO DE FILOSOFIA

Formação Acadêmica
Data Título Instituição Unidade
07/1997 PROFESSOR TITULAR UNIVERSIDADE ESTADUAL DE CAMPINAS  
12/1985 LIVRE DOCENTE UNIVERSIDADE ESTADUAL DE CAMPINAS  
12/1990 PÓS-DOUTORADO UNIVERSITY OF CALIFORNIA  
12/1985 PÓS-DOUTORADO WESTFALISCHE WILHELMS UNIVERSITAT  
12/1982 DOUTOR EM MATEMÁTICA UNIVERSIDADE ESTADUAL DE CAMPINAS  
09/1979 MESTRE EM MATEMÁTICA UNIVERSIDADE ESTADUAL DE CAMPINAS  
04/1976 Bacharel e Licenicado em Matematica UNIVERSIDADE ESTADUAL DE CAMPINAS  


Cursos de Curta Duração
Período Título Instituição
12/1980 a 12/1980 Filosofia da Ciência Universidade Estadual de Campinas


Especialidade
Área: FILOSOFIA
Especialidade: Lógica, Lógica Matemática, Conjuntos, Teoria da Computação, Álgebra, Matemática.

Tabela dos Assuntos
Grupos de Pesquisa Artigos publicados em periódicos especializados arbitrados de circulação Trabalhos completos e resumos publicados em anais de congressos Artigos publicados em periódicos especializados não arbitrados e resumos Artigos publicados em periódicos não especializados de circulação
Artigos e trabalhos completos aceitos para publicação Participações em eventos científicos internacionais Participações em eventos científicos nacionais Comunicações em outros tipos de eventos e outras publicações de caráter variado Desenvolvimento ou geração de trabalhos técnicos
Livros Relatórios Técnicos Seminários, palestras, conferências e mesas-redondas proferidas em instituições Livros Didáticos Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
Atividades de extensão e serviço à comunidade Atividades de Orientação e Supervisão Orientação vinculada a programas especiais de Ensino Projetos Vinculados ao Ensino Projetos de Pesquisa
Projetos em colaboração com outras instituições Organização de eventos científicos, culturais e artísticos e cursos de curta duração Linhas de Pesquisa Participação em bancas examinadoras Atividades Administrativas
Prêmios e Homenagens Recebidas Indicadores Quantitativos de Produção e Pesquisa

topo da página
Grupos de Pesquisa
            Grupos de Pesquisa
Lógica e Epistemologia; Orgão(s): (CLE) Centro de Lógica, Epistemologia e Historia da Ciencia, [IFCH] (DF) Departamento de Filosofia; Participação(ões): Participante

Grupo de Lógica Teórica e Aplicada; Orgão(s): (CLE) Centro de Lógica, Epistemologia e Historia da Ciencia, [IFCH] (DF) Departamento de Filosofia; Participação(ões): Responsável



topo da página
Artigos publicados em periódicos especializados arbitrados de circulação
            Internacional
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; Recovery operators, paraconsistency and duality, 10/2020, Logic Journal of the IGPL (Print), Vol. 28, Fac. 5, pp.624-656, Oxford, INGLATERRA, 2020

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Twist-Valued Models for Three-Valued Paraconsistent Set Theory, 08/2020, Logic and Logical Philosophy, pp.1-40, Torun, POLONIA, 2020

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; FUENMAYOR, David; Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account, 03/2020, CLE e-Prints (Online), Vol. 19, Fac. 3, pp.1-42, Campinas, SP, BRASIL, 2020

MENDONÇA, Bruno Ramos; CARNIELLI, Walter A.; Fraïssé?s theorem for logics of formal inconsistency, 11/2018, Logic Journal of the IGPL (Print), Vol. 38, pp.87-95, Oxford, INGLATERRA, 2018

CARNIELLI, Walter A.; 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., 06/2017, Logic Journal of the IGPL (Print), Vol. 25, pp.273-282, Oxford, INGLATERRA, 2017

CARNIELLI, Walter A.; LIMA-MARQUES, Mamede; Society semantics and the logic way to collective intelligence, 01/2017, Journal of Applied Non-Classical Logics, Vol. 27, Fac. 3-4, pp.255-268, Paris, FRANCA, 2017

CARNIELLI, Walter A.; Sound probabilistic reasoning under contradiction, inconsistency and incompleteness, 01/2017, Logiko-filosofskie Shtudii, Vol. 13, pp.15-24, São Petersburgo, RUSSIA, 2017

BUENO-SOLER, Juliana; CARNIELLI, Walter A.; Paraconsistent Probabilities: Consistency, Contradictions and Bayes? Theorem, 09/2016, Entropy (Basel. Online), Vol. 18, Fac. 9, pp.325-342, Basel, SUICA, 2016

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Paraconsistent set theory by predicating on consistency, 02/2016, Journal of Logic and Computation (Print), Vol. 26, Fac. 1, pp.97-116, Oxford, REINO UNIDO, 2016

CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; A logic for evidence and truth, 10/2015, CLE e-Prints (Online), Vol. 15, pp.1-31, Campinas, SP, BRASIL, 2015

CARNIELLI, Walter A.; PULCINI, G.; Cuts and cut-elimination for complementary classical logic, 10/2015, CLE e-Prints (Online), Vol. 15, pp.1-9, Campinas, SP, BRASIL, 2015

AGUDELO, J. C. A.; CARNIELLI, Walter A.; Polynomial ring calculus for modalities, 10/2015, Journal of Logic and Computation (Print), Oxford, REINO UNIDO, 2015

CARNIELLI, Walter A.; Some natural generalizations of the Collatz problem, 03/2015, Applied Mathematics E - Notes, Vol. 15, pp.207-215, Hsinchu, TAIWAN, 2015

CARNIELLI, Walter A.; MARIANO, H. L.; SILVA, Mariana Matulovic da; Reconciling first-order logic to algebra, 02/2015, CLE e-Prints (Online), Vol. 15, pp.1-26, Campinas, SP, BRASIL, 2015

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; PODIACKI, Rodrigo; RODRIGUES, Tarcísio Genaro; ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY, 09/2014, The Review of Symbolic Logic, Vol. 7, Fac. 03, pp.548-578, Cambridge, REINO UNIDO, 2014

CARNIELLI, Walter A.; SILVA, Mariana Matulovic da; Non-deterministic Semantics in Polynomial Format, 07/2014, Electronic Notes in Theoretical Computer Science, Vol. 305, pp.19-34, New York, ESTADOS UNIDOS DA AMERICA, 2014

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Swap Structures for LFIs, 03/2014, CLE e-Prints (Online), Vol. 14, pp.1-39, Campinas, SP, BRASIL, 2014

CAMINADA, Martin W. A.; CARNIELLI, Walter A.; DUNNE, Paul E.; Semi-stable semantics, 10/2012, Journal of Logic and Computation (Print), Vol. 22, pp.1207-1254, Oxford, REINO UNIDO, 2012

CAMINADA, Martin W. A.; CARNIELLI, Walter A.; DUNNE, Paul E.; Semi-stable semantics, 08/2012, Journal of Logic and Computation (Print), Vol. 22, pp.1207-1254, Oxford, REINO UNIDO, 2012

CARNIELLI, Walter A.; Paul Bernays and the eve of non-standard models in logic, 06/2012, Logica Universalis (Print), Vol. 1, pp.1-5, Basel, SUICA, 2012

CARNIELLI, Walter A.; ARAÚJO, A.; Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning, 02/2012, Logic Journal of the IGPL (Print), Vol. 20, pp.477-485, Oxford, INGLATERRA, 2012

CARNIELLI, Walter A.; CAROLINO, Pietro K.; Adjusting a Conjecture of Erdös, 06/2011, Contributions to Discrete Mathematics, Vol. 6, Fac. 1, pp.154-159, Calgary, CANADA, 2011

CARNIELLI, Walter A.; Polynomial ring calculus for modal logics: a new semantics and proof method for modalities, 05/2011, The Review of Symbolic Logic, Vol. 1, pp.150-170, Cambridge, REINO UNIDO, 2011

CARNIELLI, Walter A.; The Single-minded Pursuit of Consistency and its Weakness, 02/2011, Studia Logica, Vol. 97, pp.81-100, Dordrecht, HOLANDA, 2011

CARNIELLI, Walter A.; Adjusting a Conjecture of Erdõs (NO PRELO), 11/2010, Contributions to Discrete Mathematics, Vol. 1, pp.38-43, Calgary, CANADA, 2010

CARNIELLI, Walter A.; The single-minded pursuit of consistency and its weakness, 11/2010, Studia Logica, Vol. 1, pp.81-100, Dordrecht, HOLANDA, 2010

CARNIELLI, Walter A.; Non-standard numbers: a semantic obstacle for modeling arithmetical reasoning (NO PRELO), 08/2010, Logic Journal of the IGPL (Print), Vol. 1, pp.59-64, Oxford, INGLATERRA, 2010

CARNIELLI, Walter A.; Paul Bernays and the eve of non-standard models in logic (NO PRELO), 08/2010, Logica Universalis (Print), Vol. 1, pp.72-77, Basel, SUICA, 2010

CARNIELLI, Walter A.; Paraconsistent Machines and their Relation to Quantum Computing, 04/2010, Journal of Logic and Computation (Print), Vol. 20, pp.573-595, Oxford, REINO UNIDO, 2010

OLIVEIRA, I. C.; CARNIELLI, Walter A.; Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories", 12/2009, Logic Journal of the IGPL (Print), Vol. 17, pp.803-804, Oxford, INGLATERRA, 2009

DOTTAVIANO, Ítala M. Loffredo; CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; New dimensions on translations between logics, 06/2009, Logica Universalis (Print), Vol. 1, pp.75-93, Basel, SUICA, 2009

CARNIELLI, Walter A.; Interpolation via translations, 01/2009, Reports on Mathematical Logic, Vol. 55, Fac. 5, pp.515-534, Krakow, POLONIA, 2009

CARNIELLI, Walter A.; Modulated logics and flexible reasoning, 01/2009, Logic and Logical Philosophy, Vol. 1, pp.12-36, Torun, POLONIA, 2009

CARNIELLI, Walter A.; The Ricean objection: an analogue of Rice's Theorem for first-order theories, 11/2008, Logic Journal of the IGPL (Print), Vol. 1, pp.1-6, Oxford, INGLATERRA, 2008

CARNIELLI, Walter A.; RASGA, João; SERNADAS, Cristina; Preservation of interpolation features by fibring, 02/2008, Journal of Logic and Computation (Print), Vol. 18, Fac. 1, pp.123-151, Oxford, REINO UNIDO, 2008

CARNIELLI, Walter A.; Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole, 07/2007, International Journal on Computational Intelligence and Applications, Vol. 64, pp.349-364, London, REINO UNIDO, 2007

CARNIELLI, Walter A.; Surviving Abduction, 08/2006, Logic Journal of the IGPL (Print), Vol. 14(2), pp.237-256, Oxford, INGLATERRA, 2006

CARNIELLI, Walter A.; Tableaux sin Refutación, 06/2006, Matematica Enseñanza Universitaria, Vol. 13, Fac. 2, pp.81-99, Cali, COLOMBIA, 2006

CARNIELLI, Walter A.; Anti-intuitionism and paraconsistency, 10/2005, Journal of Applied Non-Classical Logics, Vol. 3, Fac. 1, pp.161-184, Paris, FRANCA, 2005

CARNIELLI, Walter A.; Computer Society, 10/2005, Casa Publicadora, Vol. 1, pp.85-89, São Paulo, SP, BRASIL, 2005

CARNIELLI, Walter A.; Fibring Non-Truth-Functional Logics: completeness Preservation, 10/2003, Journal of Logic, Language and Information, Vol. 1, Fac. 1, pp.183-211, Dordrecht, HOLANDA, 2003

CARNIELLI, Walter A.; Segmentation of breast tumors in mammograms using fuzzy sets, 10/2003, Journal of Electronic Imaging (Print), Vol. 1, Fac. 1, pp.369-378, Bellingham, ESTADOS UNIDOS DA AMERICA, 2003

CARNIELLI, Walter A.; Belief revision for non-classical logics, 01/2002, The Bulletin of Symbolic Logic, Vol. 8, Fac. 1, pp.129-130, Urbana, IL, ESTADOS UNIDOS DA AMERICA, 2002

CARNIELLI, Walter A.; Transfers between logics and their applications, 01/2002, Studia Logica, Vol. 72, Fac. 3, pp.367-400, Dordrecht, HOLANDA, 2002

CARNIELLI, Walter A.; K2, 2-K1, n and k2, n bipartite ramsey numbers, 10/2000, Discrete Mathematics, Vol. x, pp.83-94, Amsterdam, HOLANDA, 2000

CARNIELLI, Walter A.; The dialogical approach to paraconsistency, 10/2000, Synthese: an international journal for epistemology, methodology and philosophy of science, Vol. x, pp.201-221, Dordrecht, HOLANDA, 2000

CARNIELLI, Walter A.; Formal Inconsistency and Evolutionary, 04/2000, Logic and Logical Philosophy, Vol. 8, pp.115-152, Torun, POLONIA, 2000

CARNIELLI, Walter A.; On the Ramsey probem for multicolor Bipartite Graphs., 06/1999, Advances in Applied Mathematics (Print), Vol. 22, pp.48-59, San Diego, ESTADOS UNIDOS DA AMERICA, 1999

CARNIELLI, Walter A.; Admissibility of logical inference rules, 04/1998, Mat. Sci. Eng., Vol. 136, Amsterdam, HOLANDA, 1998

DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; WRIGLEY, Michael B.; XI Brazilian Conference on Mathematical Logic, 05/1997, Bulletin of the IGPL, Vol. 1, pp.441-478, Oxford University Press, REINO UNIDO, 1997

DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; ALVES, E. H.; The Center for Logic in Campinas and the Development of Logic in Brazil, 12/1996, Logique et Analyse, Vol. 153, Fac. 4, pp.15-29, Wilsele, BELGICA, 1996

CARNIELLI, Walter A.; SETTE, Antonio Mario A.; Maximal weakly-intuitionistic logics, 06/1995, Studia Logica, Vol. 55, pp.181-203, Dordrecht, HOLANDA, 1995

CARNIELLI, Walter A.; SETTE, Antonio Mario A.; Default Operators, 01/1995, Bulletin of the IGPL, Vol. 3, Fac. 1, Oxford University Press, REINO UNIDO, 1995

CARNIELLI, Walter A.; On Sequents and Tableaux for Many-Valued Logics, 06/1992, The Journal of Non-Classical Logic, Vol. 0008, Fac. 000001, pp.59-76, Campinas, SP, BRASIL, 1992

CARNIELLI, Walter A.; Hyper-Rook Domain Inequalities, 12/1990, Studies in Applied Mathematics, Vol. 082, Fac. 01, pp.1-12, New York, N.Y., ESTADOS UNIDOS DA AMERICA, 1990


            Nacional
CARNIELLI, Walter A.; BARRIO, Eduardo Alejandro; New advances in Logics of Formal Inconsistency, 01/2019, Logic Journal of the IGPL (Online), Vol. 2, pp.9-12, Oxford, REINO UNIDO, 2019

CARNIELLI, Walter A.; O sujeito e a lógica: negação, contradição e consistência como instrumentos da razão, 09/2017, Revista Linguagem, Vol. 3, pp.52-69, São Paulo, SP, BRASIL, 2017

CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; Formal Plenitude and Curry's Paradox: Sketch of a Non-Hierarchical Theory for Arithmetical Truth, 01/2017, Coleção CLE (UNICAMP), Vol. 1, pp.1-17, Campinas, SP, BRASIL, 2017

CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY, 12/2015, Manuscrito (UNICAMP), Vol. 38, Fac. 2, pp.155-184, Campinas, SP, BRASIL, 2015

CARNIELLI, Walter A.; On discourses addressed by infidel logicians, 08/2011, O Que nos Faz Pensar (PUCRJ), Vol. 1, pp.89-94, Rio de Janeiro, RJ, BRASIL, 2011

CARNIELLI, Walter A.; Meeting Hintikka's Challenge to Paraconsistentism, 12/2009, Principia (UFSC), Vol. 13, pp.283-297, Florianópolis, SC, BRASIL, 2009

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Aristóteles, Paraconsistentismo e a Tradição Budista, 06/2008, O Que nos Faz Pensar (PUCRJ), Vol. 1, Fac. 23, pp.163-175, Rio de Janeiro, RJ, BRASIL, 2008

CARNIELLI, Walter A.; Possible-translations algebrization for paraconsistent logics, 10/2005, University of Lodz. Department of Logic. Bulletin of the Section of Logic, Vol. 34, Fac. 2, pp.72-78, Lodz, POLONIA, 2005

CARNIELLI, Walter A.; Le logica impecabile del irrational, 09/2005, Revista Eletrônica Informação e Cognição, Vol. 4, pp.61-73, Marilia, SP, BRASIL, 2005

BUENO-SOLER, Juliana; CARNIELLI, Walter A.; Possible-translations Algebraization for Paraconsistent Logics, 06/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 6, pp.1-13, Campinas, SP, BRASIL, 2005

CARNIELLI, Walter A.; Polynomial Ring Calculus for Logical Inference, 03/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 3, pp.1-17, Campinas, SP, BRASIL, 2005

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; ALMEIDA, João Marcos; Logics of Formal Inconsistency, 02/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 1, pp.1-82, Campinas, SP, BRASIL, 2005

CARNIELLI, Walter A.; GRÁCIO, M. C. C.; Modulated Logics and Uncertain Reasoning, 02/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 2, pp.1-34, Campinas, SP, BRASIL, 2005

CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; CUNHA, Denise; An incoherence in the AGM theory?, 12/2004, Coleção CLE (UNICAMP), Vol. 39, pp.107-117, Campinas, SP, BRASIL, 2004

MANZOLLI, Jônatas; CARNIELLI, Walter A.; VALLE, Raul do; MAIA JUNIOR, Adolfo; Non-Sequitur: Colagem Sonoro-visual para um Encontro entre Lógica e Música, 03/2004, Multiciência (UNICAMP), Vol. 2, pp.1-12, Campinas, SP, BRASIL, 2004

BRUNNER, Andreas; CARNIELLI, Walter A.; Anti-Intuitionism and Paraconsistency, 03/2003, CLE e-Prints (Impresso), Vol. 3, Fac. 1, pp.1-20, Campinas, SP, BRASIL, 2003

CARNIELLI, Walter A.; How to build your own paraconsistent logic on introduction to the Logics of Formal (In)Consistency, 07/2002, CLE e-Prints (Impresso), Vol. 2, Fac. 7, pp.1-15, Campinas, SP, BRASIL, 2002

CARNIELLI, Walter A.; VELOSO, Paulo; Logics for Qualitative Reasoning, 10/2001, CLE e-Prints (Impresso), Vol. 1, Fac. 3, pp.1-35, Campinas, SP, BRASIL, 2001

SERNADAS, Cristina; RASGA, João; CARNIELLI, Walter A.; Modulated Fibring and the Collapsing Problem, 10/2001, CLE e-Prints (Impresso), Vol. 1, Fac. 2, pp.1-34, Campinas, SP, BRASIL, 2001

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; SERNADAS, Amílcar; SERNADAS, Cristina; Fibring Non-Truth-Functional Logics: Completeness Preservation, 08/2001, CLE e-Prints (Impresso), Vol. 1, Fac. 1, pp.1-23, Campinas, SP, BRASIL, 2001

CARNIELLI, Walter A.; A Categorial Aporoach to the Combination of Logics., 03/1999, Manuscrito (UNICAMP), Vol. 22, pp.64-94, Campinas, SP, BRASIL, 1999

CARNIELLI, Walter A.; EPSTEIN, R. L.; Propositional Logics, 12/1990, Coleção CLE (UNICAMP), Vol. 01, Campinas, SP, BRASIL, 1990



topo da página
Trabalhos completos e resumos publicados em anais de congressos
            Trabalho Completo - Internacional
CARNIELLI, Walter A.; Paraconsistency and fuzziness, 02/2014, Científico Internacional, 5th World Congress on Paraconsistency (WCP5), Vol. -, pp.25-27, Kolkata, INDIA, 2014

CARNIELLI, Walter A.; Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?, 08/2010, Científico Internacional, 3th International Workshop on Physics and Computation, Vol. 1, pp.109-118, Luxor, EGITO, 2010

BUENO-SOLER, Juliana; CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Finite algebraizability via possible-translations semantics, 07/2004, Científico Internacional, CombLog'04 - Workshop on Combination of Logics: Theory and Applications, Vol. 1, pp.79-85, Lisboa, PORTUGAL, 2004

CARNIELLI, Walter A.; A taxonomy of C-systems, 12/2002, Científico Internacional, II World Congress on Paraconsistency, Vol. 228, pp.1-94, São Sebastião, SP, BRASIL, 2002

CARNIELLI, Walter A.; A logical framework for integrating inconsistent information in multiple databases, 01/2002, Científico Internacional, Second International Symposium-Folks, Vol. 1, pp.67-84, Salzau, ALEMANHA, 2002

CARNIELLI, Walter A.; Conectividade Difusa e Segmentação de Imagens, 12/1996, Científico Internacional, XVIII CILAMCE - Congr. Ibero-Americano de Métodos Comput. em Eng., Vol. S/N, São Paulo, SP, BRASIL, 1996

CARNIELLI, Walter A.; DEL CERRO, L. F.; MARQUES, M. L.; Contextual Negation and Reasoning With Contradictions., 12/1991, Científico Internacional, IJCA-91, Vol. S/N, pp.532-537, Sydney, AUSTRALIA, 1991

CARNIELLI, Walter A.; Many-Valued Logics and Plausible Reasoning, 12/1990, Científico Internacional, Proceedings of the 2th International Congress on Many-Valued Logics, Vol. S/N, pp.328-335, Univ. Charlotte, SP, BRASIL, 1990


            Trabalho Completo - Nacional
CARNIELLI, Walter A.; Ultrafilter logic and generic reasoning, 09/1997, Científico Nacional, 5th Kurt Gödel Colloquium, Vol. S/N, pp.34-53, Alemanha, ALBANIA, 1997

CARNIELLI, Walter A.; Crise nos fundamentos da metemática de século XX e novos paradigmas para o século XXI, 02/1996, Científico Nacional, VII Encontro Nacional da ANPOF, Vol. 1, pp.1-159, Águas de Lindóia, SP, BRASIL, 1996

ARAGÃO, Marcus V.S.Poggi de; DE SOUZA, C. C.; CARNIELLI, Walter A.; MONTE CARMELO, E.; Upper Bounds for Minimum Covering Codes by Tabu Search, 05/1995, Científico Nacional, II Ofic.Nac.de Problemas Combinatórios: Teoria,Algorit.e Aplicações, Vol. S/N, pp.50-58, Campinas, SP, BRASIL, 1995

CARNIELLI, Walter A.; Lógicas não-clássicas, teoria da informação e inteligencia artificial, 10/1993, Científico Nacional, VII Colóquio de História da Ciência, Vol. 0011, pp.101-110, Campinas, SP, BRASIL, 1993


            Resumo - Internacional
CARNIELLI, Walter A.; A probabilistic approach to evidence and truth: On paraconsistency, probability, and evidence, 10/2018, Científico Internacional, Logic Bochum IV including the 4th workshop on conexive logics, Vol. 1, pp.1-2, Bochum, ALEMANHA, 2018

CARNIELLI, Walter A.; Non-standard possibilistic and necessitistic measures as foundations for artificial reasoning, 06/2018, Científico Internacional, First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling, Vol. 1, pp.1-2, Dresden, ALEMANHA, 2018. Resumo expandido

CARNIELLI, Walter A.; Contradictory and inconsistent sets, Zermelian set theory, and forcing, 10/2017, Científico Internacional, Fourth International meeting of the APMP, Vol. 1, pp.20-21, Salvador, BA, BRASIL, 2017

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; An epistemic approach to paraconsistency, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.35-35, Pirenopolis, GO, BRASIL, 2017

CARNIELLI, Walter A.; Possibility theory, evidence and uncertainty, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.116-116, Pirenopolis, GO, BRASIL, 2017

CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; An epistemic approach to paraconsistency: dealing with evidence and truth, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. 1, pp.133-134, Istanbul, TURQUIA, 2015

RODRIGUES FILHO, Abilio Azambuja; CARNIELLI, Walter A.; What would be a falsitymaker for the principle of non-contradiction?, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. ., pp.145-146, Istanbul, TURQUIA, 2015

CARNIELLI, Walter A.; A logic for evidence and truth, 04/2015, Científico Internacional, Second Workshop CLE-Buenos Aires Logic Group, Vol. ., pp.1-1, Campinas, SP, BRASIL, 2015

CARNIELLI, Walter A.; Proofs by handling polynomials: a tool for teaching logic and metalogic, 06/2011, Científico Internacional, Third International Congress on Tools for Teaching Logic, Vol. 1, pp.1-3, Salamanca, ESPANHA, 2011

CARNIELLI, Walter A.; Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?, 08/2010, Científico Internacional, 3th International Workshop on Physics and Computation, Vol. 1, pp.109-118, Luxor, EGITO, 2010. Resumo expandido

CARNIELLI, Walter A.; Polynomial ring calculus for S4, intuitionistic logic and multimodal logics, 04/2010, Científico Internacional, 3rd World Congress and School on Universal Logic, Vol. 1, pp.29-29, Lisboa, PORTUGAL, 2010

CARNIELLI, Walter A.; Logic in polynomial format, logic autopoiesis and the laws of form, 08/2007, Científico Internacional, 13th International Congress for Logic, Methodology and Philosophy of Science, Vol. 1, pp.257-257, Pequin, CHINA, 2007

CARNIELLI, Walter A.; Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz, 08/2007, Científico Internacional, 2nd World Congress and School on Universal Logic (UniLOG'07), Vol. 1, pp.45-45, Pequim, CHINA, 2007

CARNIELLI, Walter A.; Surviving Abduction, 12/2004, Científico Internacional, Model-Based Reasoning in Science and Engineering (MBR'04), Vol. 2, pp.2-2, Pavia, ITALIA, 2004

CARNIELLI, Walter A.; SERNADAS, Cristina; ZANARDO, ALBERTO; Preservation of interpolation by fibring, 07/2004, Científico Internacional, CombLog'04 - Workshop on Combination of Logics: Theory and Applications, Vol. 1, pp.151-157, Lisboa, PORTUGAL, 2004

CARNIELLI, Walter A.; Semântica Algébrica de Traduções Possíveis: um enfoque categorial, 10/2003, Científico Internacional, XIII Encontro Brasileiro de Lógica, Vol. 1, pp.55-55, Campinas, SP, BRASIL, 2003

CARNIELLI, Walter A.; Susko's Thesis and Logic semantics, 10/2003, Científico Internacional, III World Congress on Paraconsistency, Vol. 1, pp.23-23, Toulouse, FRANCA, 2003

CARNIELLI, Walter A.; Translation and model teory, 10/2003, Científico Internacional, Logic Colloquium 2000: ASL European Summer Meeting, Vol. 1, pp.88-88, Paris, FRANCA, 2003

CARNIELLI, Walter A.; C-systems - paleontology and futurology, 11/2000, Científico Internacional, II World Congress on Paraconsistency, Vol. 1, pp.20-21, São Paulo, SP, BRASIL, 2000

CARNIELLI, Walter A.; La lógica y el razionamento cualitativo, 11/2000, Científico Internacional, II Encuentro de Filosofia e Historia de la Ciencia del Cono Sur, Vol. 1, pp.42-42, Quilmes, ARGENTINA, 2000


            Resumo - Nacional
CARNIELLI, Walter A.; Probability, Consistency and Determinateness: a Bold Betting, 04/2016, Artístico Nacional, 3 Terceira Temporada Cachorro Urubu - Núcleo Tumulto! de Investigação Cênica, Vol. 1, pp.1-1, São Paulo, SP, BRASIL, 2016

RODRIGUES FILHO, Abilio Azambuja; CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Dealing with paraconsistency and paracompleteness: on minimal logics of formal inconsistency and undeterminedness, 10/2014, Científico Nacional, XVI Encontro Nacional da Anpof, Vol. ., pp.1-1, Aracajú, SE, BRASIL, 2014

CARNIELLI, Walter A.; On two paradigms of uncertainty, and their rationality, 10/2014, Científico Nacional, XVI Encontro Nacional da Anpof, Vol. ., pp.1-1, Aracajú, SE, BRASIL, 2014

CARNIELLI, Walter A.; Proof Theory for Contemporary Logic by Handling Polinomials over Finite Fields, 05/2011, Científico Nacional, XVI Encontro Brasileiro de Lógica - EBL, Vol. 1, pp.1-3, Petrópolis, RJ, BRASIL, 2011

CARNIELLI, Walter A.; Informação, contradição e o paradoxo de Bar-Hillel-Carnap, 05/2011, Científico Nacional, XVI Encontro Brasileiro de Lógica - EBL, Vol. 1, pp.1-3, Petrópolis, RJ, BRASIL, 2011

CARNIELLI, Walter A.; Paraconsistent set theory by predicating on consistency, 05/2011, Científico Nacional, XVI Encontro Brasileiro de Lógica - EBL, Vol. 1, pp.1-3, Petrópolis, RJ, BRASIL, 2011

CARNIELLI, Walter A.; A ditadura do conhecimento, 10/2008, Científico Nacional, XIII Encontro Nacional de Filosofia da ANPOF, Vol. 1, pp.1-3, Canela, RS, BRASIL, 2008

CARNIELLI, Walter A.; O que é isso: a Relevância Filosófica? (Livro de Atas), 10/2006, Científico Nacional, XII Encontro Nacional de Filosofia da ANPOF, Vol. 1, pp.555-555, Salvador, BA, BRASIL, 2006

CARNIELLI, Walter A.; As regras derivadas e a eficiência relativa dos métodos de demonstração, 09/2002, Científico Nacional, X Encontro Nacional de Filosofia -ANPOF, Vol. 1, pp.229-229, São Paulo, SP, BRASIL, 2002

CARNIELLI, Walter A.; Teoria de modelos e traduções, 10/2000, Científico Nacional, IX Encontro Nacional de Filosofia, Vol. 1, pp.125-126, Poços de Caldas, SP, BRASIL, 2000

CARNIELLI, Walter A.; A model-theoretic approach to translations between logics, 10/2000, Científico Nacional, 7th Workshop on Logic, Language, Information and Computation, Vol. 1, pp.56-65, São Paulo, SP, BRASIL, 2000

CARNIELLI, Walter A.; Lógica e raciocínio qualitativo, 10/2000, Científico Nacional, IX Encontro Nacional de Filosofia, Vol. 1, pp.127-128, Poços de Caldas, SP, BRASIL, 2000

CARNIELLI, Walter A.; Integração de Crescimento de Região e Detecção de Arestas através de Operadores de Agregação, 09/1996, Científico Nacional, SIBRAP'97 - Simp. Bras. de Comp. Graf. e Proc. de Imagens, Vol. S/N, Uberlandia, MG, BRASIL, 1996

OLIVEIRA, Joäo R. S.; CARNIELLI, Walter A.; Computabilidade e Lógicas Näo Clássicas., 11/1992, Científico Nacional, 3a. Jornada de Iniciaçäo Científica do IMECC, Vol. S/N, pp.13-13, Campinas, SP, BRASIL, 1992



topo da página
Artigos publicados em periódicos especializados não arbitrados e resumos
            Periódicos especializados não arbitrados
CARNIELLI, Walter A.; Problemão disfarçado de probleminha, 02/2013, Revista Cálculo - Matemática para todos, Vol. 25, pp.20-27, São Paulo, SP, BRASIL, 2013

CARNIELLI, Walter A.; Uma lógica da modalidade econômica?, 01/2009, Revista Brasileira de Filosofia no Ensino Fundamental, Vol. 1, pp.13-17, Florianópolis, SC, BRASIL, 2009


            Resumos em periódicos especializados (internacionais)
DOTTAVIANO, Ítala M. Loffredo; SILVA, J.J.; SETTE, Antonio Mario A.; CARNIELLI, Walter A.; Translation between Deductive Systems: a Categorial Approach, 12/1997, Bulletin of the IGPL, Vol. 0, pp.1-1, Oxford University Press, REINO UNIDO, 1997



topo da página
Artigos publicados em periódicos não especializados de circulação
            Internacional
CARNIELLI, Walter A.; 'Opinião não é argumento', 04/2018, Veja, pp.64-65, São Paulo, SP, BRASIL, 2018

CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; Translations between logical systems, 06/1998, X, Vol. 40, Fac. 157, pp.69-81, Compiegne, FRANCA, 1998



topo da página
Artigos e trabalhos completos aceitos para publicação
            Em periódicos arbitrados (internacional)
CARNIELLI, Walter A.; SILVA, Mariana Matulovic da; The method of polynomial ring calculus and its potentialities, Theoretical Computer Science, Vol. 606, pp.42-56, Amsterdam, HOLANDA

CARNIELLI, Walter A.; ZUFFO, J.A.; Fuzzy Fussion operators to combine results of complementary medical image segmentation techniques., Journal of Electronic Imaging (Print), Vol. 12, Fac. 3, pp.1-1, Bellingham, ESTADOS UNIDOS DA AMERICA


            Em anais de Congresso (internacional)
CARNIELLI, Walter A.; Paraconsistency: The logical way to the inconsistent - Proceedings of WCP 2000, Científico Internacional, II World Congress on Paraconsistency, Vol. 1, pp.1-1, São Sebastião, SP, BRASIL



topo da página
Participações em eventos científicos internacionais
            Trabalhos apresentados (oralmente)
CARNIELLI, Walter A. (Expositor); Creativity 2019 - 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday, (08/12/2019 a 13/12/2019), Rio de Janeiro, RJ, BRASIL, Oral: How paraconsistency makes Gods mightier: a lesson on creativity

CARNIELLI, Walter A. (Expositor); Logic Bochum IV including the 4th workshop on conexive logics, (19/10/2018 a 21/10/2018), Bochum, ALEMANHA, Oral: A probabilistic approach to evidence and truth: On paraconsistency, probability, and evidence

CARNIELLI, Walter A. (Expositor); International Congress of Mathematicians 2018 (ICM 2018), (01/08/2018 a 09/08/2018), Rio de Janeiro, RJ, BRASIL, Oral: The Principle of Ariadne as a New Choice Paradigm in Mathematics

CARNIELLI, Walter A. (Autor); First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling, (26/06/2018 a 29/06/2018), Dresden, ALEMANHA, Oral: Non-standard possibilistic and necessitistic measures as foundations for artificial reasoning

CARNIELLI, Walter A. (Autor); The 6th UNILOG – World Congress and School on Universal Logic: Probability, and their Generalizations, (16/06/2018 a 20/06/2018), Vichy, FRANCA, Oral: Paraconsistent autonomous probabilities

CARNIELLI, Walter A. (Autor); LIMA-MARQUES, Mamede (Autor); The 6th UNILOG – World Congress and School on Universal Logic: Probability, and their Generalizations, (16/06/2018 a 20/06/2018), Vichy, FRANCA, Oral: Society semantics and meta-levels of many-valued logic

CARNIELLI, Walter A. (Expositor); Fourth International meeting of the APMP, (23/10/2017 a 27/10/2017), Salvador, BA, BRASIL, Oral: Contradictory and inconsistent sets, Zermelian set theory, and forcing

CARNIELLI, Walter A. (Autor); Bath-Bristol Workshop Crosses the Atlantic, (24/06/2017 a 24/06/2017), Bristol, REINO UNIDO, Oral: Consistency, possibilistic, and necessitistic measures

CARNIELLI, Walter A. (Expositor); I Jornada de Lógica No-Clássica: Paraconstência, (01/07/2017 a 03/07/2017), Ciudad de México, MEXICO, Oral: Lógicas Posibilisticas y Necesitisticas

CARNIELLI, Walter A. (Expositor); I Jornada de Lógica No-Clássica: Paraconstência, (01/07/2017 a 03/07/2017), Ciudad de México, MEXICO, Oral: Probabilidades Paraconsistentes

CARNIELLI, Walter A. (Expositor); I Jornada de Lógica No-Clássica: Paraconstência, (01/07/2017 a 03/07/2017), Ciudad de México, MEXICO, Oral: Un Enfoque Epistémico a la Paraconsistencia: Evidencia y Verdad

CARNIELLI, Walter A. (Autor); Forschungskolloquium /Research Colloquium Logic and Epistemology, (20/06/2017 a 20/06/2017), Bochum, ALEMANHA, Oral: Consistency, possibilistic, and necessitistic measures

CARNIELLI, Walter A. (Autor); Forschungskolloquium /Research Colloquium Logic and Epistemology, (20/06/2017 a 20/06/2017), Bochum, ALEMANHA, Oral: Rolling strange dice: probability and logic coexisting in non-classical realms

CARNIELLI, Walter A. (Autor); DI PRISCO, CARLOS (Autor); 17th Slam - Latin American Symposium on Mathematical Logic, (26/06/2017 a 30/06/2017), Puebla, MEXICO, Oral: The Principle of Ariadne and the Axiom of Choice: some perspectives

CARNIELLI, Walter A. (Expositor); CONIGLIO, Marcelo E. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: An epistemic approach to paraconsistency

CARNIELLI, Walter A. (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: Possibility theory, evidence and uncertainty

CARNIELLI, Walter A. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); IV Conference of the Brazilian Society for Analytic Philosophy, (05/07/2016 a 08/07/2016), Campinas, SP, BRASIL, Oral: Logical pluralism without truth relativism

CARNIELLI, Walter A. (Expositor); 12th International Conference “Logic Today: Developments and Perspectives”, (22/06/2016 a 24/06/2016), St. Petersburg, RUSSIA, Oral: Sound Probabilistic Reasoning under Contradiction, Inconsistency and Incompleteness

CARNIELLI, Walter A. (Expositor); 1 First joint meeting Brazil-Spain in Mathematics, (07/12/2015 a 10/12/2015), Fortaleza, CE, BRASIL, Oral: A Logic of Evidence and Truth: a true epistemic approach to paraconsistency

BUENO-SOLER, Juliana (Autor); CARNIELLI, Walter A. (Autor); 25 Seminário de Pesquisa da FT: Uma teoria da probabilidade para lidar com fenômenos envolvendo contradição, (15/10/2015 a 15/10/2015), Limeira, SP, BRASIL, Oral: Uma teoria da probabilidade para lidar com fenômenos envolvendo contradição

CONIGLIO, Marcelo E. (Expositor); CARNIELLI, Walter A. (Expositor); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, BRASIL, Oral: From Fidel structures to swap structures for LFIs

CARNIELLI, Walter A. (Expositor); BUENO-SOLER, Juliana (Expositora); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, BRASIL, Oral: Paraconsistent probability structures over LFIs

CARNIELLI, Walter A. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, BRASIL, Oral: Paraconsistency as evidence preservation: a natural deduction approach

CARNIELLI, Walter A. (Expositor); 15th Congress on Logic, Methodology and Philosophy of Science, (03/08/2015 a 08/08/2015), Helsinki, FINLANDIA, Oral: Probability measures of the inconsistent? and of the contradictory

CARNIELLI, Walter A. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA, Oral: An epistemic approach to paraconsistency: dealing with evidence and truth

RODRIGUES FILHO, Abilio Azambuja (Expositor); CARNIELLI, Walter A. (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA, Oral: What would be a falsitymaker for the principle of non-contradiction?

CARNIELLI, Walter A. (Expositor); Logic 2015: Logica 2015, (15/06/2015 a 19/06/2015), Hejnice, REPUBLICA TCHECA, Oral: An Epistemic Approach to Paraconsistency: A Logic of Evidence and Trut

CARNIELLI, Walter A. (Expositor); Second Workshop CLE-Buenos Aires Logic Group, (31/03/2015 a 03/04/2015), Campinas, SP, BRASIL, Oral: A logic for evidence and truth

CARNIELLI, Walter A. (Autor); Representation and axiomatization: power and limits, (19/03/2015 a 21/03/2015), Paris, FRANCA, Oral: Formal plenitude and Curry's paradox: Sketch of an expanded theory for arithmetical truth

CARNIELLI, Walter A. (Expositor); Séminaire de Logiques Non Classiques, (27/03/2015 a 27/03/2015), Paris, FRANCA, Oral: On rational belief under contradiction: foundations of paraconsistent probability

CARNIELLI, Walter A. (Expositor); Towards a new way to algebraize FOL (and several others), (09/02/2015 a 09/02/2015), Lisboa, PORTUGAL, Oral: Towards a new way to algebraize FOL (and several others)

CARNIELLI, Walter A. (Expositor); CESIMA Anno XX - Crossing Oceans: Exchange of Products, Instruments, and Procedures in the History of Chemistry and Related Sciences, (24/08/2014 a 28/08/2014), São Paulo, SP, BRASIL, Oral: Contradiction in reasoning: an evil or a blessing?

CARNIELLI, Walter A. (Expositor); First Workshop CLE - Buenos Aires Logic Group, (04/08/2014 a 05/08/2014), Buenos Aires, ARGENTINA, Oral: Contradiction Consistency and Inconsistency: Methods and Concepts on Logics of Formal (In)consistency

CARNIELLI, Walter A. (Expositor); 16th Latin American Symposium on Mathematical Logic (XVI SLALM), (28/07/2014 a 01/08/2014), Buenos Aires, ARGENTINA, Oral: A rapprochement between algebra and logic

CARNIELLI, Walter A. (Expositor); 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA, Oral: Paraconsistency and fuzziness

CARNIELLI, Walter A. (Expositor); 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA, Oral: Exhibitor at Round Table 2 = Brain, Contradictions and Computability. Participants: Sisir Roy, Palash Sarkar, Guruprasad Ka, Joby Jospeh

CARNIELLI, Walter A. (Expositor); 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA, Oral: Exhibitor at Round Table 1 = Paraconsitent Logic and Reasoning. Participants: Jean-Yves Béziau,
Can Başkent, Diderik Batens, Zach Weber

CARNIELLI, Walter A. (Expositor); XVII Congresso da Sociedade Interamericana de Filosofia, tema geral “Ciência e Cultura”., (07/10/2013 a 11/10/2013), Salvador, BA, BRASIL, Oral: Gödel s theorems are not inevitable: how to rationally resist the incompleteness arguments

CARNIELLI, Walter A. (Organizador); Colloquium Logicae - Palestra sobre Alan Tuting na UNICAMP, (05/12/2012 a 05/12/2012), Campinas, SP, BRASIL, Oral: O Problema da Parada: Alan Turing, de Leibniz a Gödel - Centenário de Alan Turing - Unicamp

CARNIELLI, Walter A. (Expositor); Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, (01/11/2012 a 02/11/2012), Tel Aviv, ISRAEL, Oral: Paraconsistent set theories by predicating on (in)consistency

CARNIELLI, Walter A. (Editor); Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, (01/11/2012 a 02/11/2012), Tel Aviv, ISRAEL, Oral: Logic: Between Semantics and Proof Theory

CARNIELLI, Walter A. (Expositor); International Workshop Nikolai Vasiliev's Logical Legacy and the Modern Logic, (24/10/2012 a 26/10/2012), Moscow, RUSSIA, Oral: From Curved Logic to Imaginary Sets: Inconsistent Set Theory and the Expansion of Mathematical Thinking

CARNIELLI, Walter A. (Expositor); 15th Latin American Synposium on Mathematical Logic (XV SLALM), (04/06/2012 a 08/06/2012), Bogotá, COLOMBIA, Oral: On new foundations for paraconsistent set theory

CARNIELLI, Walter A. (Expositor); LOFT10 2012 - Tenth Conference on Logic and the Foundations of Game and Decision Theory, (18/06/2012 a 20/06/2012), Sevilla, ESPANHA, Oral: The several senses of consistency and their role in reasoning

CARNIELLI, Walter A. (Expositor); Beyond the Possible - Remembering Richard Sylvan, (27/07/2011 a 29/07/2011), Melbourne, AUSTRALIA, Oral: Inconsistent Sets in Logics of Formal Inconsisency

CARNIELLI, Walter A. (Expositor); Logic Seminar, (15/07/2011 a 17/07/2011), Melbourne, AUSTRALIA, Oral: Many semantics for a few logics

CARNIELLI, Walter A. (Expositor); Third International Congress on Tools for Teaching Logic, (01/06/2011 a 04/06/2011), Salamanca, ESPANHA, Oral: Proofs by handling polynomials: a tool for teaching logic and metalogic

CARNIELLI, Walter A. (Expositor); Seminários do Departamento de Matemática da Universidade de Salerno, (23/05/2011 a 28/11/2011), Salerno, ITALIA, Oral: How to use Polynomials to Design Proofs

CARNIELLI, Walter A. (Expositor); XIV Colóquio Conesul de Filosofia das Ciências Formais, (06/10/2010 a 10/10/2010), Santa Maria, RS, BRASIL, Oral: Sobre filósofos que admiram-se somente uns aos outros, tudo, muito e alguns

CARNIELLI, Walter A. (Expositor); Weekly Seminar, (10/09/2010 a 12/09/2010), Alexandria, EGITO, Oral: The possible- translations semantics and reasoning with contradictions

CARNIELLI, Walter A. (Expositor); 3th International Workshop on Physics and Computation, (30/08/2010 a ), Luxor, EGITO, Oral: Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?.

CARNIELLI, Walter A. (Expositor); Seminars of LILaC--Logic, Interaction, Language, and Computation, (15/05/2010 a 18/05/2010), Toulouse, FRANCA, Oral: Introduction aux Logiques de I'inconsistance Formelle et Semantiques de Traductions Possibles

CARNIELLI, Walter A. (Expositor); Seminars of LILaC--Logic, Interaction, Language, and Computation, (15/05/2010 a 18/05/2010), Toulouse, FRANCA, Oral: Logiques en format polynomial

CARNIELLI, Walter A. (Autor); 3rd World Congress and School on Universal Logic, (18/04/2010 a 25/04/2010), Lisboa, PORTUGAL, Oral: Polynomial ring calculus for S4, intuitionistic logic and multimodal logics

CARNIELLI, Walter A. (Expositor); Seminário de Lógica Matemática, (30/04/2010 a 30/04/2010), Lisboa, PORTUGAL, Oral: Polynomials instead of formulas: revamping the heritage of Boole and Leibniz.

CARNIELLI, Walter A. (Expositor); Logic and Computation Seminar, (28/04/2010 a 28/04/2010), Lisboa, PORTUGAL, Oral: Rationality, consistency and societies,

CARNIELLI, Walter A. (Expositor); CONIGLIO, Marcelo E. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Logics of formal inconsistency

CARNIELLI, Walter A. (Expositor); ARAÚJO, A. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: On two different dimensions of arithmetic

CARNIELLI, Walter A. (Expositor); AGUDELO, J. C. A. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Paraconsistent computation and its quantum character

CARNIELLI, Walter A. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Rationality, Consistency and Societies

CARNIELLI, Walter A. (Expositor); Arche-Philosophical Research Centre for Logic, Language, Metaphysucs and Epistemology, (10/11/2008 a 10/11/2008), Saint Andrews, ESCOCIA, Oral: Combining Logics by Means of Possible-Translation Semantics and Society Semantics

CARNIELLI, Walter A. (Expositor); Arche-Philosophical Research Centre for Logic, Language, Metaphysucs and Epistemology, (10/11/2008 a 10/11/2008), Saint Andrews, ESCOCIA, Oral: Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra?

CARNIELLI, Walter A. (Expositor); ILIAS Seminars- ICR- Universidade de Luxembutgo, (09/10/2008 a 09/10/2008), Luxemburgo, LUXEMBURGO, Oral: Possible-Translations Semantics and Logics of Formal Inconsistency

CARNIELLI, Walter A. (Expositor); Logic Tea, (20/10/2008 a 20/10/2008), Amsterdam, HOLANDA, Oral: Sewing Logics Together: the possible-translations semantics and new meanings for old logics

CARNIELLI, Walter A. (Expositor); First International Workshop on Foundations of Computer Science as Logic-Related, (30/08/2008 a 30/08/2008), Istanbul, TURQUIA, Oral: Computability: Logic versus Physics

CARNIELLI, Walter A. (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, BRASIL, Oral: Minimal axiomatizations and algebrais rings: a conjectured relationship

CARNIELLI, Walter A. (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, BRASIL, Oral: Falsifying a conjectura of Paul Erdös

CARNIELLI, Walter A. (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, BRASIL, Oral: Paraconsistency aspects and quantum indiscernibility

CARNIELLI, Walter A. (Expositor); 2nd World Congress and School on Universal Logic (UniLOG'07), (16/08/2007 a 29/08/2007), Pequim, CHINA, Oral: Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz

CARNIELLI, Walter A. (Expositor); 13th International Congress for Logic, Methodology and Philosophy of Science, (09/08/2007 a 15/08/2007), Pequin, CHINA, Oral: Logics in polynomial format, logic autopoiesis and the laws of form

CARNIELLI, Walter A. (Expositor); The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), (20/12/2005 a 22/12/2005), Pune, INDIA, Oral: Quantum algorithms, paraconsistent computation and Deutsch's problem

CARNIELLI, Walter A. (Expositor); 35th International Symposium on Multiple-Valued Logic, (19/05/2005 a 21/05/2005), Calgary, CANADA, Oral: Polynomial Ring Calculus for Many-valued Logics

CARNIELLI, Walter A. (Expositor); Philosophisches Seminar, (12/05/2004 a 12/05/2004), Bonn, ALEMANHA, Oral: Possible-Translations Semantics.

CARNIELLI, Walter A. (Expositor); First World Congress and School on Universal Logic, (26/03/2005 a 03/04/2005), Montreux, SUICA, Oral: Polynomial Ring Calculus for Logical Inference

CARNIELLI, Walter A. (Expositor); First World Congress and School on Universal Logic, (26/03/2005 a 03/04/2005), Montreux, SUICA, Oral: Many-Valued Semantics

CARNIELLI, Walter A. (Expositor); Seminário de Lógica, (28/06/2004 a 28/06/2004), Málaga, ESPANHA, Oral: Multimodalidades entre Positivas y Paraconsistentes

CARNIELLI, Walter A. (Expositor); Seminar de l'Institut de Logigue, (17/05/2004 a 17/05/2004), Neuchâtel, SUICA, Oral: Logicas de Inconsistentia Formal e su Semanticas

CARNIELLI, Walter A. (Expositor); Seminari de Lògiques no-Clàssiques, (21/05/2004 a 21/05/2004), Barcelona, ESPANHA, Oral: Algebraizing Logics via Possible-Translations Semantics

CARNIELLI, Walter A. (Expositor); Conferência: Minimalist modalities and Epistemic Paradoxes, (20/04/2004 a 20/04/2004), Itália, ITALIA, Oral: Minimalist modalities and Epistemic Paradoxes

CARNIELLI, Walter A. (Expositor); Logic and Computation Seminar, (20/02/2004 a 20/02/2004), Lisboa, PORTUGAL, Oral: Minimalist modalities

CARNIELLI, Walter A. (Docente); XII Simpósio Latinoamericano de Lógica Matemática, (12/01/2004 a 16/01/2004), San José, COSTA RICA, Oral: The softned hermeneutics

CARNIELLI, Walter A. (Coordenador); LEMOS, Cláudia Thereza G.de (Participação em Mesa-redonda (Debatedor)); ALVES, E. H. (Participação em Mesa-redonda (debatedor)); DOTTAVIANO, Ítala M. Loffredo (Participação em Mesa-redonda (Debatedor)); CHINELLATO, J.A. (Participação em Mesa-redonda (Debatedor)); GABBI JUNIOR, Osmyr Faria (Participação em Mesa-redonda (Debatedor)); CLE/SBL 25 ANOS - XIII ENCONTRO BRASILEIRO DE LÓGICA, (26/05/2003 a 30/05/2003), Campinas, SP, BRASIL, Oral: O CLE: sua proposta interdisciplinar e seus destinos

CARNIELLI, Walter A. (Coordenador); Worksop on Parconsistent Logic, (05/08/2003 a 09/08/2003), Trento, ITALIA, Oral: How to build your own paraconsitent logic: an introduction to the Logics of Formal (In)Consistency

CARNIELLI, Walter A. (Coordenador); Seminário de Teoria da Computação, (26/07/2002 a ), Lisboa, PORTUGAL, Oral: Tableau methods for non-standard logics: making sense of proof reasoning

CARNIELLI, Walter A. (Coordenador); Seminário de Teoria da Computação, (21/01/2000 a ), Lisboa, PORTUGAL, Oral: Logicais Modais e Multimodais

CARNIELLI, Walter A. (Coordenador); Seminário de Teoria da Computação, (21/01/2000 a ), Lisboa, PORTUGAL, Oral: Reasoning Under Inconsistency

CARNIELLI, Walter A. (Coordenador); Conference of the advanced reasoning forum, (10/08/2000 a 10/08/2000), Bucareste, ROMENIA, Oral: The power of reasoning under Inconsistency

CARNIELLI, Walter A. (Coordenador); Logic Colloquium 2000: ASL European Summer Meeting, (11/10/2000 a 16/10/2000), Paris, FRANCA, Oral: Translations and model theory

CARNIELLI, Walter A. (Docente); Kurt Godel Colloquium, (05/08/1997 a 07/08/1997), Viena, AUSTRIA, Oral: Ultrafilter Logic and Generic Reasoning

CARNIELLI, Walter A. (Docente); World Congress on Paraconsistency, (05/07/1997 a 07/07/1997), Gent, BELGICA, Oral: Non-deterministic semantics Paraconsistent Logics

CARNIELLI, Walter A. (Docente); Generic Reasoning and Ultrafilter Logic, (01/05/1997 a 04/05/1997), Saarbrucken, ALEMANHA, Oral: Generic Reasoning and Ultrafilter Logic

CARNIELLI, Walter A. (Docente); A Mathematical Theory of Translations between Logics, (02/03/1996 a 02/03/1996), Toulouse, FRANCA, Oral: A Mathematical Theory of Translations Between Logics


            Trabalhos apresentados (posters)
CARNIELLI, Walter A. (Expositor); QICS Workshop on Foundational Structures for Quantum Information and Computation, (14/09/2008 a 20/09/2008), Obergurgl, AUSTRIA, Poster: Is quantum computation logic-dependent?


            Trabalhos apresentados de outras formas
CARNIELLI, Walter A. (Docente); Logic for Generic Reasoning, (10/07/1997 a 10/07/1997), Saarbrücken, ALEMANHA, Título: Logic for Generic Reasoning


            Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, 4th Global Conference on Artificial Intelligence- membro do Comitê Científico: GCAI 2018, (17/09/2018 a 19/09/2018), Luxembourg, LUXEMBURGO

Carnielli, Walter A.; (Outra) , Membro da Comissão Organizadora, The 6th UNILOG – World Congress and School on Universal Logic: Probability, and their Generalizations, (16/06/2018 a 20/06/2018), Vichy, FRANCA

Carnielli, Walter A.; (Outra) , Comentador junto com Bruno Mendonça eHenrique Antunes do Mini-Panel: Ampliative Deductive Proof in Mathematical Practice. Expositor: Danielle Macbeth,, IV Conference of the Brazilian Society for Analytic Philosophy, (05/07/2016 a 08/07/2016), Campinas, SP, BRASIL

Carnielli, Walter A.; (Outra) , Scientific Committee, 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA

Carnielli, Walter A.; (Outra) , Membro do Scientific Committee, 5 5th World Congress and School on Universal Logic - Unilog 2015, (20/06/2015 a 30/06/2015), Istanbul, TURQUIA

Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, JELIA 2014 - 14th Euroepean Conference on Logics in Artificial Intelligence, (24/09/2014 a 26/09/2014), Madeira, PORTUGAL

Carnielli, Walter A.; (Outra) , Program Committee, First International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014),, (23/07/2014 a 23/07/2014), Viena, AUSTRIA

Carnielli, Walter A.; (Coordenador de Mesa Redonda) , Round Tables: 1) Paraconsistent Logic and Reasoning and 2) Brain, Contradictions and Computability, 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA

Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, LSFA- 8th Workshop on Logical and Semantic Framework, with Applications., (02/09/2013 a 03/09/2013), São Paulo, SP, BRASIL

Carnielli, Walter A.; (Coordenador de Mesa Redonda) , Mesas de Palestras no dia 26/11/2009 (manhã e tarde), CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL

Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, JELIA 2008 - 11th European Conference on Logics in Artificial Intelligence, (28/09/2008 a 30/09/2008), Dresden, ALEMANHA

Carnielli, Walter A.; (Coordenador de Sessão Técnica) , Workshop Schedule - First Session, First International Workshop on Foundations of Computer Science as Logic-Related, (30/08/2008 a 30/08/2008), Istanbul, TURQUIA

Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, The 21st International Florida Artificial Intelligence Research Society (FLAIRS-21), (15/05/2008 a 17/05/2008), Miami, ESTADOS UNIDOS DA AMERICA

Carnielli, Walter A.; (Debatedor de Mesa Redonda) , Os símbolos e a produção do conhecimento, VII Encontro Brasileiro Internacional de Ciência Cognitiva - EBICC, (30/10/2006 a 03/11/2006), São Paulo, SP, BRASIL

Carnielli, Walter A.; (Outra) , Conferencista Convidado, The Second International Conference of Philosophy and Cognitive Science, (03/07/2006 a 05/07/2006), Guangzhou, CHINA

Carnielli, Walter A.; (Coordenador de Sessão Técnica) Semantics and Meaning, (25/07/2005 a 28/07/2005), Campinas, SP, BRASIL


            Participação como membro de comissão
Carnielli, Walter A.; (Membro de Comissão) , Scientific Committee, Creativity 2019 - 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday, (08/12/2019 a 13/12/2019), Rio de Janeiro, RJ, BRASIL



topo da página
Participações em eventos científicos nacionais
            Trabalhos apresentados (oralmente)
CARNIELLI, Walter A. (Expositor); XVII Encontro Nacional da Anpof, (17/10/2016 a 21/10/2016), Aracaju, SE, BRASIL, Oral: O Enigma Logico Mais Difícil do Mundo Nao E o Mais Difícil

CARNIELLI, Walter A. (Expositor); 7 Tecnologia em Foco, (26/09/2016 a 30/09/2016), Limeira, SP, BRASIL, Oral: Big Data e Inteligência Artificial: uma crítica

CARNIELLI, Walter A. (Expositor); 3 Terceira Temporada Cachorro Urubu - Núcleo Tumulto! de Investigação Cênica, (29/04/2017 a 21/05/2017), São Paulo, SP, BRASIL, Oral: Probability, Consistency and Determinateness: a Bold Betting

CONIGLIO, Marcelo E. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); CARNIELLI, Walter A. (Expositor); XVI Encontro Nacional da Anpof, (27/10/2014 a 31/10/2014), Aracajú, SE, BRASIL, Oral: Dealing with paraconsistency and paracompleteness: on minimal logics of formal inconsistency and undeterminedness

CARNIELLI, Walter A. (Expositor); XVI Encontro Nacional da Anpof, (27/10/2014 a 31/10/2014), Aracajú, SE, BRASIL, Oral: On two paradigms of uncertainty, and their rationality

CARNIELLI, Walter A. (Expositor); Seminários do Grupo de Pesquisa Interdisciplinar História e Atualidade do Diálogo entre Ciência, Filosofia e Teologia da Unicamp - CCFT, (08/06/2013 a 30/11/2013), Campinas, SP, BRASIL, Oral: Gödel: um retorno da Matemática ao Misticismo?

CARNIELLI, Walter A. (Expositor); XXXII Congresso da Sociedade Brasileira de Computação (CSBC), (16/07/2012 a 19/07/2012), Curitiba, PR, BRASIL, Oral: Painel: O centenário de Alan Turing: passado e futuro da computação

CARNIELLI, Walter A. (Expositor); XVI Encontro Brasileiro de Lógica - EBL, (09/05/2011 a 13/05/2011), Petrópolis, RJ, BRASIL, Oral: Proof Theory for Contemporary Logic by Handling Polinomials over Finite Fields

CARNIELLI, Walter A. (Expositor); XVI Encontro Brasileiro de Lógica - EBL, (09/05/2011 a 13/05/2011), Petrópolis, RJ, BRASIL, Oral: Informação, contradição e o paradoxo de Bar-Hillel-Carnap

CARNIELLI, Walter A. (Expositor); XVI Encontro Brasileiro de Lógica - EBL, (09/05/2011 a 13/05/2011), Petrópolis, RJ, BRASIL, Oral: Paraconsistent set theory by predicating on consistency

CARNIELLI, Walter A. (Expositor); III Workshop-Escola de Computação e Informação Quântica, (13/10/2010 a 15/10/2010), Petrópolis, RJ, BRASIL, Oral: Paraconsistência e Computação Quântica

CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: As multimodalidades e seu interesse filosófico

CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: Lógica, argumentação e pensamento crítico: um programa

CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: Lógica Quântica, suas Vertentes Modais e a Incompletude

CARNIELLI, Walter A. (Expositor); Seminários de Matemática, (29/10/2010 a 29/10/2010), Belo Horizonte, MG, BRASIL, Oral: Incompletude em lógica modal e seus efeitos na computação quântica

CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: Um programa de argumentação e pensamento crítico

CARNIELLI, Walter A. (Expositor); Palestras sobre teorias da argumentação, (11/06/2010 a 11/06/2010), São Paulo, SP, BRASIL, Oral: Argumentação Eficiente para o Discurso Profissional Pensamento Crítico e Autodefesa Intelectual

CARNIELLI, Walter A. (Expositor); Conferência no Curso de Inteligência Estratégica, (25/03/2010 a 25/03/2010), Rio de Janeiro, RJ, BRASIL, Oral: Lógica e Pensamento Crítico

CARNIELLI, Walter A. (Expositor); XIII Encontro Nacional de Filosofia da ANPOF, (06/10/2008 a 10/10/2008), Canela, RS, BRASIL, Oral: A ditadura do conhecimento

CARNIELLI, Walter A. (Expositor); XII Encontro Nacional de Filosofia da ANPOF, (23/10/2006 a 27/10/2006), Salvador, BA, BRASIL, Oral: O que é isso: a Relevância Filosófica?

CARNIELLI, Walter A. (Expositor); XIV Encontro Brasileiro de Lógica (EBL), (24/04/2006 a 28/04/2006), Itatiaia, RJ, BRASIL, Oral: Boolean logic in polynomial form

CARNIELLI, Walter A. (Expositor); XI Encontro Nacional de Filosofia da ANPOF, (18/10/2004 a 22/10/2004), Salvador, BA, BRASIL, Oral: Demonstrabilidade e verdade na obra de Kurt Gödel

MEDEIROS, Maria da Paz Nunes d (Docente); CARNIELLI, Walter A. (Docente); KRAUSE, Décio (Docente); X Encontro Nacional de Filosofia da ANPOF, (29/09/2002 a 03/10/2002), São Paulo, SP, BRASIL, Oral: O que devemos incentivar nossos alunos a pesquisar em Lógica no Brasil?

CARNIELLI, Walter A. (Docente); X Encontro Nacional de Filosofia da ANPOF, (29/09/2002 a 03/10/2002), São Paulo, SP, BRASIL, Oral: As regras derivadas e a eficiência relativa dos métodos de demonstração

CARNIELLI, Walter A. (Coordenador); 7th Workshop on Logic, Language, Information and Computation, (01/01/2000 a ), São Paulo, SP, BRASIL, Oral: A model-theoretic approach to translations between logics

CARNIELLI, Walter A. (Coordenador); IX Encontro Nacional de Filosofia, (06/10/2000 a 06/10/2000), Poços de Caldas, SP, BRASIL, Oral: Teoria de Modelos e Traduções

CARNIELLI, Walter A. (Docente); VIII Colóquio de História da Ciência, (01/10/1993 a 01/10/1993), Águas de Lindóia, SP, BRASIL, Oral: Lógica temporal

CARNIELLI, Walter A. (Docente); X Encontro Brasileiro de Lógica, (01/05/1993 a 01/05/1993), Itatiaia, SP, BRASIL, Oral: Lógicas Difusas Intrínsecas

CARNIELLI, Walter A. (Docente); Palestra a Convite, (01/12/1992 a 01/12/1992), Toulouse, FRANCA, Oral: New Results on Polarized Partition Relations.

CARNIELLI, Walter A. (Docente); Palestra a Convite, (01/12/1992 a 01/12/1992), Toulouse, FRANCA, Oral: Connaissances et Inconsistances.

CARNIELLI, Walter A. (Docente); Colóquio em Homenagem ao Professor Andrés Raggio, (01/10/1992 a 01/10/1992), Diamantina, SP, BRASIL, Oral: Cardinais inimagináveis: alguns resultados em combinatória infinita

CARNIELLI, Walter A. (Docente); V Encontro Nacional de Filosofia, (01/10/1992 a 01/10/1992), Diamantina, SP, BRASIL, Oral: Cardinais Inimagináveis: Alguns Resultados em Combinatória Infinita.

CARNIELLI, Walter A. (Docente); IJCAI, (01/12/1991 a 01/12/1991), Sidney, AUSTRALIA, Oral: Contextual negations and resoning with contradiction.


            Trabalhos apresentados de outras formas
CARNIELLI, Walter A. (Docente); Lógicas Multivalentes e Semânticas de Sociedade, (30/08/1996 a 30/08/1996), Rio de Janeiro, RJ, BRASIL, Título: Lógicas Multivalentes e Semânticas da Sociedade


            Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
Carnielli, Walter A.; (Outra) , Scientific Committee, 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL

Carnielli, Walter A.; (Outra) , Moderador da Sessão. Temática Lógica., XIII Encontro Nacional de Filosofia da ANPOF, (06/10/2008 a 10/10/2008), Canela, RS, BRASIL

Carnielli, Walter A.; (Coordenador de Mesa Redonda) O CLE, sua proposta interdisciplinar e seus destinos, (10/10/2003 a 15/10/2003), Campinas, SP, BRASIL



topo da página
Comunicações em outros tipos de eventos e outras publicações de caráter variado
            Entrevistas e outras divulgações
CARNIELLI, Walter A. (Autor); Por que 'opinião não é argumento', segundo este professor de lógica da Unicamp, 27/12/2016, Nexo Jornal, Jornal, São Paulo, SP, BRASIL

CARNIELLI, Walter A. (Entrevistado); Interview with Prof. Walter Carnielli, 01/10/2013, The Reasoner, Volume 7, Número11, Novembro de 2013, Revista, Kent, INGLATERRA

CHATEAUBRIAND F, Oswaldo (Expositor); CARNIELLI, Walter A. (Expositor); MORETTI, Alberto (Autor); MANCOSU, Paolo (Autor); SINACEUR, Hourya Benis (Expositor); CASANAVE, Abel (Expositor); Quão classica é a assim chamada lógica classica?, 10/10/2013, Web, Rádio, Salvador, BA, BRASIL

CARNIELLI, Walter A. (Entrevistado); Computabilidade, Lógica, Filosofia e Fundamentos da Matemática, 10/12/2012, Revista Kinesis Vol. IV, n 08, Dezembro 2012 p. i-viii, Revista, Marília, SP, BRASIL

CARNIELLI, Walter A. (Entrevistado); Urna em debate, 09/07/2012, Folha de São Paulo, Jornal, São Paulo, SP, BRASIL

CARNIELLI, Walter A. (Entrevistado); CONIGLIO, Marcelo E. (Entrevistado); Raciocínio lógico influencia no desempenho profissional; veja como melhorar o seu. (Entrevista publicada), 01/09/2011, http://www.infomoney.com.br/capacitacao, Jornal, São Paulo, SP, BRASIL

CARNIELLI, Walter A. (Autor); Livro ensina como melhorar o poder de argumentação, 07/09/2009, CBN, Rádio, Campinas, SP, BRASIL


            Outras
                        Outras Publicações
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; FUENMAYOR, David; Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account, 03/2020, Preprint eletrônico, Cornell University Library, pp. 34, pp.1-34, Cornell, ESTADOS UNIDOS DA AMERICA, 2020

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Twist-Valued Models for Three-valued Paraconsistent Set Theory, 12/2019, Preprint eletrônico, Cornell University Library, pp. 27, pp.1-27, Cornell, ESTADOS UNIDOS DA AMERICA, 2019

CARNIELLI, Walter A.; HERMANN HAEUSLER, Edward; VIANA, Petrúcio; Special Issue: The Proceedings of the XVII EBL: 17th Brazilian Logic Conference, 2014, 07/2017, Anais, Oxford University Press, pp. 242, pp.1-242, Londres, INGLATERRA, 2017

CARNIELLI, Walter A.; VIANA, Petrúcio; FREITAS, Renata de; The Proceedings of the XVI EBL 16th Brazilian Logic Conference, 2011, 08/2013, Anais, Oxford University Press, pp. 5, pp.1-5, Londres, INGLATERRA, 2013

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Raciocínio lógico influencia no desempenho profissional; veja como melhorar o seu (entrevista concedida ao site de notícias InfoMoney), 10/2011, Entrevista concedida, UOL DIVEO, pp. 1, pp.1-1, São Paulo, SP, BRASIL, 2011

CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; MUNDICI, Daniele; CONIGLIO, Marcelo E.; Annals of the CLE/AIPS Event - Science, Truth and Consistency, 08/2009, Anais, CLE/UNICAMP, pp. 2, pp.11-12, Campinas, SP, BRASIL, 2009

CARNIELLI, Walter A.; K2,2-K1, n and K2, n-K2, n bipartite Hamsey numbers, 01/2000, artigo, Discrete Mathematics, pp. 10, pp.83-92, INGLATERRA, 2000



topo da página
Desenvolvimento ou geração de trabalhos técnicos
            Trabalhos computacionais - Sem ítens registrados
CARNIELLI, Walter A. (Autor); BONNA, Glauber de (Autor); SILVA, Mariana Matulovic da (Autor); PoLCa- Polynomial Calculus, Desenvolvimento de Aplicativos, 07/2013


            Outros - Sem ítens Registrados
CARNIELLI, Walter A. (Docente); Reunião do Conselho Acadêmico da Filosofia do CNPq, realizada em 22 de novembro de 2017, Reunião, 11/2017

CARNIELLI, Walter A. (Pesquisador); Visita acadêmica, a convite, da Fundação Alexander von Humboldt (Alexander von Humboldt-Stiftung), no período de 02 de agosto a 18 de setembro de 2017, Visita acadêmica, 09/2017

CARNIELLI, Walter A. (Parecerista); ÉVORA, Fátima R. Rodrigues (Parecerista); CHIBENI, Silvio Seno (Parecerista); Parecer de Aprovação de Inscrição em Concurso Público de Provas e Títulos para obtenção do Título de Livre Docente do Candidato Marco A. Caron Ruffino, e Indicação da Comissão Julgadora do Concurso., Parecer, 09/2015

CARNIELLI, Walter A. (Coordenador); Logicas de la inconsistencia formal, Oficina, 10/2003

CARNIELLI, Walter A. (Coordenador); Seminários individuais com orientandos e estudantes em geral, Seminários individuais, 12/2000



topo da página
Livros
            Publicados
CARNIELLI, Walter A.; Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery, 10/2010, Texto Integral, ed. 1, Springer, pp. 654, pp.1-654, 2010

CARNIELLI, Walter A.; Pensamento Crítico: O Poder da Lógica e da Argumentação, 11/2009, Texto Integral, ed. 1, Rideel, Vol. 1, pp. 384, pp.1-384, 2009

CONIGLIO, Marcelo E.; DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; The Many Sides of Logic, 11/2009, Texto Integral, ed. 1, Studies in Logic Series, College Publications, Vol. 21, pp. 586, pp.1-586, 2009

CARNIELLI, Walter A.; Modalities and Multimodalities, 10/2008, Texto Integral, ed. 1, Applied Logic Series, Springer-Velag, Vol. 35, pp. 306, pp.1-306, 2008

CARNIELLI, Walter A.; Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems, 08/2008, Texto Integral, ed. 1, Springer-Velag, pp. 604, pp.1-604, 2008

CARNIELLI, Walter A.; Paraconsistent Logic Without Frontiers, 07/2006, Texto Integral, ed. 1, Elsevier Science, Vol. 4, pp. 320, pp.1-320, 2006

CARNIELLI, Walter A.; Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática, 03/2006, Texto Integral, ed. 1, 1, Editora UNESP, Vol. 1, pp. 416, pp.1-416, 2006

CARNIELLI, Walter A.; Paraconsistency: the logical way to the inconsistent, 01/2002, Texto Integral, ed. 1, 1, Marcel Dekker, Vol. 1, pp. 540, pp.1-540, 2002

CARNIELLI, Walter A.; Proceedings of the Worksop on Paraconsistent Logic, 01/2002, Texto Integral, ed. 1, 1, CLE e-Prints, Vol. 2, pp. 186, pp.1-186, 2002

CARNIELLI, Walter A.; PIZZI, Claudio; Modalità e Multimodalità, 10/2001, Texto Integral, ed. 1, Franco Angeli, pp. 178, pp.7-184, 2001

DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Paraconsistency: the Logical Way to the Inconsistent. (Prefácio), 05/2001, Texto Integral, ed. 1, Marcel Dekker Inc., pp. 1, pp.1-1, 2001

CARNIELLI, Walter A.; Computability: recursive functions, logic and the foundations of mathematics, with timeline computability undecibility, 11/2000, Texto Integral, ed. 1, Wadsworth/Thomson Learning, pp. 338, pp.1-338, 2000

CARNIELLI, Walter A.; Logic Sets and Information - Proceedings of the Tenth Brazilian Conference on Mathematical Logic, 07/1996, Texto Integral, Coleção CLE, Centro de Logica - CLEHC, Vol. 14, pp. 20, pp.73-92, 1996


            Capítulos de livros publicados
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; On formal aspects of the epistemic approach to paraconsistency, 12/2018, "Logic and Philosophy of Logic: Recent Trends in Latin America and Spain", Capítulo, ed. 1, Studies in Logic, College Publications, Vol. 78, pp. 27, pp.48-74, 2018

CARNIELLI, Walter A.; Making The `Hardest Logic Puzzle Ever a Bit Harder, 01/2018, "Outstanding Contributions to Logic", Capítulo, ed. 1, Springer International Publishing, Vol. 1, pp. 10, pp.181-190, 2018

CARNIELLI, Walter A.; DI PRISCO, CARLOS; The Wonder of Colors and the Principle of Ariadne, 12/2017, "How Colours Matter to Philosophy", Capítulo, ed. 1, Springer, Vol. 388, pp. 9, pp.309-317, 2017

CARNIELLI, Walter A.; BUENO-SOLER, Juliana; Experimenting with consistency, 08/2017, "The Logical Legacy of Nikolai Vasiliev and Modern Logic", Capítulo, ed. 1, Springer, Vol. 387, pp. 21, pp.199-219, 2017

CARNIELLI, Walter A.; BUENO-SOLER, Juliana; Paraconsistent probabilities, their significance and their uses, 06/2017, "Essays in Honour of Amilcar Sernadas", Capítulo, ed. 1, 1, College Publications, Vol. 1, pp. 34, pp.197-230, 2017

BUENO-SOLER, Juliana; CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; Formal (In)consistency, Abduction and Modalities, 05/2017, "Springer Handbook of Model-Based Science", Capítulo, ed. 1, Springer International Publishing, pp. 21, pp.315-335, 2017

CARNIELLI, Walter A.; BUENO-SOLER, Juliana; Paraconsistent probabilities, their significance and their uses, 09/2016, "Essays in Honour of Amilcar Sernadas", Capítulo, ed. 1, 1, College Publications, Vol. 1, pp. 34, pp.197-230, 2016

CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; On the philosophy and mathematics of the Logics of Formal Inconsistency, 07/2016, "New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014", Capítulo, ed. 1, Springer India, pp. 32, pp.57-88, 2016

CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; Paraconsistency and duality: between ontological and epistemological views, 06/2016, "The Logica Yearbook 2015", Capítulo, ed. 1, College Publications, Vol. 1, pp. 30, pp.1-30, 2016

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; Contradictions in reasoning: an evil or a blessing?, 12/2015, "Crossing Oceans: Exchange of Products, Instruments and Procedures in the History of Chemistry and Related Sciences - Selected Papers", Capítulo, ed. 1, CLE-UNICAMP, Vol. 1, pp. 18, pp.135-152, 2015

CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; Contradictions, inconsistencies and other oxymora, 06/2015, "Why is this a proof?", Capítulo, ed. 1, College Publications, pp. 27, pp.197-223, 2015

CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; On Discourses Addressed by Infidel Logicians, 12/2012, "Paraconsistency: Logic and Applications", Capítulo, ed. 1, Springer, Vol. 1, pp. 15, pp.27-41, 2012

CARNIELLI, Walter A.; Paul Bernays and the eve of non-standard models in logic, 12/2012, "Universal Logic: An Anthology - From Paul Hertz to Dov Gabbay", Capítulo, ed. 1, Birkhäuse, Vol. 18, pp. 9, pp.33-41, 2012

CARNIELLI, Walter A.; On discourses addressed by infidel logicians, 08/2011, "Paraconsistency: Logic and Applications", Capítulo, ed. 1, Springer, Vol. 1, pp. 12, pp.107-118, 2011

CARNIELLI, Walter A.; Formal polynomials, heuristics and proofs in logic, 11/2010, "Logical Investigations", Capítulo, ed. 1, Institute of Philosophy-Russian Academy of Sciences, Vol. 1, pp. 15, pp.280-294, 2010

CARNIELLI, Walter A.; On a Theoretical Analysis of Deceiving: How to Resist a Bullshit Attack, 08/2010, "Model-Based Reasoning in Science and Technology: Abduction Logic, and Computational Discovery", Capítulo, ed. 1, Springer, Vol. 1, pp. 8, pp.237-244, 2010

CARNIELLI, Walter A.; Formal polynomials and the laws of form, 08/2009, "Dimensions of Logical Concepts", Capítulo, ed. 1, CLE- UNICAMP, Vol. 54, pp. 12, pp.201-212, 2009

CARNIELLI, Walter A.; Are the foundations of computer science logic-dependent?, 11/2008, "Dialogues, Logics and Other Strange Things-Essays in Honour of Shahid Rahman", Capítulo, ed. 1, College Publications, pp. 21, pp.87-107, 2008

CARNIELLI, Walter A.; Unconventional models of computation through non-standard logic circuits, 06/2007, "Lecture Notes in Computer Science", Capítulo, ed. 1, Springer Berlin / Heidelberg, Vol. 4618, pp. 12, pp.29-40, 2007

CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Possible-translations algebraizability, 04/2007, "Paraconsistent Logic Without Frontiers", Capítulo, ed. 1, Nort-Holland/Elsevier, Vol. 4, pp. 5, pp.85-89, 2007

CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Logics of Formal Inconsistency, 03/2007, "Handbook of Philosophical Logic", Capítulo, ed. 1, Kluwer Academic Publishers, Vol. 14, pp. 6, pp.53-58, 2007

CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Bridge principles and combined reasoning, 01/2007, "Logik, Begriffe, Prinzipien des Handelns", Capítulo, ed. 1, 1, Mentis Verlag, Vol. 1, pp. 17, pp.32-48, 2007

CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Logics of Formal Inconsistency, 05/2006, "Handbook of Philosophical Logic", Capítulo, ed. 2, Dordrecht: Kluwer Academic Publishers, Vol. 14, pp. 26, pp.20-45, 2006

CARNIELLI, Walter A.; Polynomial Ring Calculus for Many-valued Logics. Multiple-Valued Logic., 05/2006, "36th International Symposium on Multiple-Valued Logic", Capítulo, ed. 1, IEEE Computer Society, Vol. 1, pp. 6, pp.20-25, 2006

CARNIELLI, Walter A.; Splitting Logics, 10/2005, "We Will Show Them! Essays in Honour of Dov Gabbay", Capítulo, ed. 1, King´s College Publications, Vol. 1, pp. 26, pp.389-414, 2005

CONIGLIO, Marcelo E.; DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; An Event on Brazilian Logic Part II. Proceedings of the XIII Brazilian Conference on Mathematical Logic, 10/2005, "An Event on Brazilian Logic Part II. Proceedings of the XIII Brazilian Conference on Mathematical Logic", Capítulo, ed. 1, Oxford University Press, Vol. 1, pp. 24, pp.25-48, 2005

CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Two´s company: 'The humbug of many logical values, 10/2005, "Logica Universalis", Capítulo, ed. 1, Jean-Yves Béziau, Vol. 1, pp. 21, pp.169-189, 2005

CARNIELLI, Walter A.; RASGA, João; SERNADAS, Cristina; Fibring of logics as a universal construction, 08/2005, "Handbook of Philosophical Logic", Capítulo, ed. 1, Springer/Dordrecht, pp. 65, pp.123-187, 2005

CUNHA, Denise; CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; An inconherece in the AGM theory, 12/2004, "Lógica: Teoria, Aplicações e Reflexões", Capítulo, ed. 1, Centro de Lógica, Epistemologia e História da Ciência / UNICAMP, Vol. 39, pp. 11, pp.107-117, 2004

CARNIELLI, Walter A.; Logics for qualitative reasoning, 10/2004, "Logic, Epistemology and the Unity of Science", Capítulo, ed. 1, Kluwer Academic Publishers, pp. 40, pp.487-526, 2004

CARNIELLI, Walter A.; Cum iti construiesti propria logica paraconsistenta: O introducere in logicile (in)consistentei formale, 08/2004, "Ex Falso Quodlibet: studii die logica paraconsistenta", Capítulo, ed. 1, Editora Tehnica S.A., pp. 25, pp.134-158, 2004

CARNIELLI, Walter A.; A logical framework for integrating Incosistent information in multiple databases., 09/2002, "Lecture Notes in Computer Science.", Capítulo, ed. 1, Editora São paulo, Vol. 2284, pp. 18, pp.67-84, 2002

CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; A Taxonomy of C-Systems., 07/2001, "Paraconsistency: The Logical Way to the Inconsistent.", Capítulo, ed. 1, Editora Nova Iorque, Vol. 1, pp. 94, pp.1-94, 2001

CARNIELLI, Walter A.; Possible translations semantics for paraconsistent logics, 10/2000, "Frontiers in parconsistency logic: proceedings of the world congress on paraconsistency, Ghent", Capítulo, ed. 1, King's College Publication, pp. 114, pp.59-172, 2000

CARNIELLI, Walter A.; Society Semantics for Multiple-Valued Logics., 09/1999, "Advances in Contemporary and Computer science", Capítulo, ed. 1, Ann Aebor, Vol. 235, pp. 20, pp.33-52, 1999

CARNIELLI, Walter A.; An alternative view of default reasoning, 07/1999, "Proofs, Types and Categories.", Capítulo, ed. 1, Editora Rio de Janeiro, Vol. 1, pp. 32, pp.127-158, 1999

CARNIELLI, Walter A.; Auto-Organização em Estruturas Combinatórias, 07/1996, "Auto-Organização em Estruturas Combinatórias", Capítulo, Coleção CLE, Centro de Logica - CLEHC, Vol. 18, pp. 14, pp.63-76, 1996

CARNIELLI, Walter A.; Is there logic behind fuzzyness?, 07/1996, "Is there logic behind fuzzyness?", Capítulo, Coleção CLE, Centro de Logica - CLEHC, Vol. 14, pp. 20, pp.73-92, 1996

CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; A Paraconsistent Logic: J3, 08/1995, "A Paraconsistent Logic: J3", Capítulo, ed. 2, International Philosophy Series, Kluwer ac.Publ.Nijhoff, Vol. 35, pp. 23, pp.263-285, 1995

CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; Paraconsistent logic-J3, 12/1990, "Paraconsistent logic-J3", Capítulo, International Philosophy Series, Kluwer ac. Publ.Nijhoff, Vol. 35, pp. 23, pp.263-285, 1990


            Capítulos de livros aceitos para publicação
BUENO-SOLER, Juliana; CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; Formal (In)consistency, abduction and modalities, "Handbook of Model-Based Science", Capítulo, ed. 1, SPRINGER-VERLAG, pp. 59, pp.1-59


            Prefácios de livros
CARNIELLI, Walter A.; Years of Reasoning. In Honor of the 65th Birthday of Claudio Pizzi, 10/2010, "Years of Reasoning. In Honor of the 65th Birthday of Claudio Pizzi", Prefácio, ed. 1, Springer, Vol. 1, pp. 1, pp.1-1, 2010

CARNIELLI, Walter A.; Proceedings of the XIV Brazilian Logic Conference, 09/2007, "Proceedings of the XIV Brazilian Logic Conference", Prefácio, ed. 1, Oxford University Press, pp. 2, pp.1-2, 2007

CARNIELLI, Walter A.; A Paraconsistent Decagon, 10/2005, "A Paraconsistent Decagon", Prefácio, ed. 1, Journal of Applied Logic, pp. 5, pp.1-5, 2005

DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; Advances in contemporany logic and Computer Science (Prefácio), 06/1999, "American Mathematical Society: Contemporary Mathematics", Prefácio, ed. 1, American Mathematical Society: Contemporary Mathematics, Vol. 235, pp. 1, pp.1-1, 1999


            Edição ou Organização de livros
CARNIELLI, Walter A. (Organizador); Handbook of Paraconsistency, Livro, Edição ou Organização, College Publications, p., 528, pp.1-528

CARNIELLI, Walter A. (Organizador); A Paraconsistent Decagon, Livro, Edição ou Organização, Elsevier - Journal of Applied Logic, p., 5, pp.1-5

CARNIELLI, Walter A. (Organizador); DOTTAVIANO, Ítala M. Loffredo (Organizador); CONIGLIO, Marcelo E. (Organizador); An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic (volume 2), Livro, Edição ou Organização, Oxford University Press, p., 50, pp.1-50

CARNIELLI, Walter A. (Organizador); DOTTAVIANO, Ítala M. Loffredo (Organizador); CONIGLIO, Marcelo E. (Organizador); An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic (volume 1), Livro, Edição ou Organização, Oxford University Press, p., 149, pp.1-149

CARNIELLI, Walter A. (Organizador); DIONÍSIO, F. Miguel (Organizador); MATEUS, Paulo (Organizador); Proceedings of the CombLog'04 - Workshop on Combination of Logics: Theory and Applications(Co-editor e organizador), Livro, Edição ou Organização, Instituto Superior Técnico Departamento de Matemática, p., 202, pp.1-202

DOTTAVIANO, Ítala M. Loffredo (Coordenador); CARNIELLI, Walter A. (Coordenador); CONIGLIO, Marcelo E. (Coordenador); Paraconsistency: the Logical Way to the Inconsistent. (Editor Responsável), Livro, Edição ou Organização, Marcel Dekker Inc., p., 1, pp.1-1


            Reedição com revisão
CARNIELLI, Walter A.; Computability: Computable Functions, Logic, and the Foundations of Mathematics, 06/2008, Texto Integral, ed. 3, Advanced Reasoning Forum, pp. 384, pp.1-384, 2008


            Resenhas / Ilustração / Verbete
CARNIELLI, Walter A.; Coherent systems, 09/2008, "Studies in Logic and Practical Reasoning,", Resenha, ed. 1, Elsevier - Mathematical Reviews, American Mathematical Society, pp. 2, pp.1-2, 2008

CARNIELLI, Walter A.; Combining logics, 10/2007, "Stanford Encyclopedia of Philosophy", Verbete, ed. 1, Stanford University, pp. 31, pp.1-31, 2007


            Orelhas de livros
CARNIELLI, Walter A.; 98i:03035 Admissibility of logical inference rules, 08/1998, "98i:03035 Admissibility of logical inference rules", Orelha, ed. 1, North-Holland Publishing Co., Vol. 1, pp. 11, pp.111-121, 1998

CARNIELLI, Walter A.; 98h:68212 Reasoning about information change, 06/1998, "98h:68212 Reasoning about information change", Orelha, ed. 1, Journal Logic Language Information, s.l.p., Vol. 6, pp. 23, pp.147-169, 1998

CARNIELLI, Walter A.; 88f:03057 - Review de :*A Conceptual approach to the Cartesian and distributive propositional calculi* para o Mathematical Reviews, 01/1998, "88f:03057 - Review de :*A Conceptual approach to the Cartesian and distributive propositional calcul", Orelha, ed. 1, Science and Philosophy, pp. 22, pp.446-467, 1998

CARNIELLI, Walter A.; 87g:05035 Symmetric designs with parameters, 08/1997, "87g:05035 Symmetric designs with parameters", Orelha, ed. 1, s.l.p., Vol. 21, pp. 9, pp.19-27, 1997

CARNIELLI, Walter A.; 97c:03097 A nonstandard approach to the logical omniscience problem., 06/1997, "97c:03097 A nonstandard approach to the logical omniscience problem.", Orelha, ed. 1, Artificial Inteligence, s.l.p., Vol. 79, pp. 38, pp.203-240, 1997

CARNIELLI, Walter A.; 96g:03035 - Modellings for belief change: prioritization and entrenchment, 07/1996, "96g:03035 - Modellings for belief change: prioritization and entrenchment", Orelha, ed. 1, s.l.p., Vol. 58, pp. 37, pp.21-57, 1996

CARNIELLI, Walter A.; 96k:03008 - What is a logical system?, 06/1996, "96k:03008 - What is a logical system?", Orelha, ed. 1, Oxford University Press, Vol. 4, pp. 454, pp.1-454, 1996

CARNIELLI, Walter A.; 95m:03054 - Review de : * Kleene's three-valued logics and their children* para Mathematical Reviews, 08/1995, "95m:03054 - Review de : * Kleene's three-valued logics and their children* para Mathematical Review", Orelha, ed. 1, s.l.p., Vol. 20, pp. 19, pp.113-131, 1995

CARNIELLI, Walter A.; 95e:03001 - Review de : *Lógica indutiva e probabilidade* para o Mathematical Reviews, 01/1994, "95e:03001 - Review de : *Lógica indutiva e probabilidade* para o Mathematical Reviews", Orelha, ed. 2, Editora Hucitec; Editora da USP, Vol. 1, pp. 91, pp.1-91, 1994

CARNIELLI, Walter A.; 95d:02027 - Review de : *Assunta two assertions of Aristotle* para o Mathematical Reviews, 01/1994, "95d:02027 - Review de : *Assunta two assertions of Aristotle* para o Mathematical Reviews", Orelha, ed. 1, Atti Accad. Pontiniana, Vol. 41, pp. 25, pp.219-243, 1994

CARNIELLI, Walter A.; 94g03027 - Review de : *A generalized viewpoint* para o Mathematical Reviews, 01/1994, "94g03027 - Review de : *A generalized viewpoint* para o Mathematical Reviews", Orelha, ed. 1, A Bradford Book. MIT Press, Cambridge, pp. 178, pp.1-178, 1994

CARNIELLI, Walter A.; 93j:03015 - Review de : *Conditional inference and logic for intelligent systems* para Mathematical Reviews, 06/1993, "93j:03015 - Review de : *Conditional inference and logic for intelligent systems* para Mathematical", Orelha, North-Holland Publishing, 1993

CARNIELLI, Walter A.; 93e03009 - Review de : *Matrix logic and mind. A probe into a unified theory of mind and matter* para o Mathematical Reviews, 04/1993, "93e03009 - Review de : *Matrix logic and mind. A probe into a unified theory of mind and matter* par", Orelha, ed. 1, North-Holland Publishing Co., 1993

CARNIELLI, Walter A.; 92a:03021 - Review de : *New foundations for deontic logic* para o Mathematical Reviews, 03/1993, "92a:03021 - Review de : *New foundations for deontic logic* para o Mathematical Reviews", Orelha, s.l.p., Vol. 11, pp. 5, pp.5-9, 1993

CARNIELLI, Walter A.; 91g:03047 - Review de :*Truth and modality for knowledge representation* para o Mathematical Reviews, 01/1991, "91g:03047 - Review de :*Truth and modality for knowledge representation* para o Mathematical Reviews", Orelha, Pitman Publishing Ltd., 1991

CARNIELLI, Walter A.; 90k:03019 - Review de : *Three-valued logics: an introduction, a comparison of various logical lexica, and some philosophical remarks* para o Mathematical Reviews, 01/1990, "90k:03019 - Review de : *Three-valued logics: an introduction, a comparison of various logical lexic", Orelha, Ann. Pure Appl. Logic, Vol. 43, pp. 47, pp.99-145, 1990

CARNIELLI, Walter A.; Many-valued logic in statu nascendi, 12/1989, "Many-valued logic in statu nascendi", Orelha, ed. 1, Teoria, s.l.p, Vol. 9, pp. 6, pp.57-62, 1989

CARNIELLI, Walter A.; A Routley-Meyer semantics for converse Ackermann properly, 08/1987, "A Routley-Meyer semantics for converse Ackermann properly", Orelha, ed. 1, s.l.p., Vol. 16, pp. 12, pp.65-76, 1987

CARNIELLI, Walter A.; 87d:03054 - Review de : *A descending chain of incomplete extensions of implicational S5* para o Mathematical Reviews, 01/1987, "87d:03054 - Review de : *A descending chain of incomplete extensions of implicational S5* para o Mat", Orelha, Z. Math. Logik Grundl. Math., s.l.p., Vol. 31, pp. 8, pp.201-208, 1987

CARNIELLI, Walter A.; 97b:03134 - Review de : *L-consistency and the diamond* para o Mathematical Reviews, 01/1987, "97b:03134 - Review de : *L-consistency and the diamond* para o Mathematical Reviews", Orelha, Notre Dame J. Formal Logic, s.l.p., Vol. 26, pp. 7, pp.341-347, 1987

CARNIELLI, Walter A.; 86m:03085 - Review de : *Modal set theory. Proceedings of the second Easter conference on model theory* para o Mathematical Reviews, 03/1986, "86m:03085 - Review de : *Modal set theory. Proceedings of the second Easter conference on model theo", Orelha, Huldoldt Univ., Vol. 60, pp. 13, pp.87-99, 1986

CARNIELLI, Walter A.; 86k:03012 - Review de : *Paraconsistent logic* para o Mathematical Reviews, 01/1986, "86k:03012 - Review de : *Paraconsistent logic* para o Mathematical Reviews", Orelha, Naples, 1986

CARNIELLI, Walter A.; 86j:03010 - Review de :*Qualques foncteurs faussement primitifs en logique diontique (trivalence et action)* para o Mathematical Reviews, 01/1986, "86j:03010 - Review de :*Qualques foncteurs faussement primitifs en logique diontique (trivalence et", Orelha, Logique et Analyze, s.l.p., Vol. 27, pp. 13, pp.393-405, 1986

CARNIELLI, Walter A.; 86i:03031 - Review de : *On metalogic and three-valued logic* para a Mathematical Reviews, 01/1986, "86i:03031 - Review de : *On metalogic and three-valued logic* para a Mathematical Reviews", Orelha, Teorema, s.l.p., Vol. 13, pp. 36, pp.225-260, 1986

CARNIELLI, Walter A.; 86a:03063 - Review de: *Hauptsatz for higher-order modal logic* para Mathematical Reviews, 01/1986, "86a:03063 - Review de: *Hauptsatz for higher-order modal logic* para Mathematical Reviews", Orelha, Journal of Symbolic Logic, s.l.p., Vol. 48, pp. 20, pp.174-193, 1986

CARNIELLI, Walter A.; 86a03063 - Review de: *An extend joint consistency theorem for a family of free modal logics with equality* para Mathematical Reviews, 01/1986, "86a03063 - Review de: *An extend joint consistency theorem for a family of free modal logics with eq", Orelha, Journal of Symbolic Logic, s.l.p., pp. 10, pp.174-183, 1986

CARNIELLI, Walter A.; On a general theory of properties based an type-free iterated comprehension schemes 88m:03089, 12/1985, "On a general theory of properties based an type-free iterated comprehension schemes 88m:03089", Orelha, ed. 1, Proceedings of the conferences on math. logic, Padova, Univ. de Siena, Vol. 3, pp. 5, pp.53-57, 1985

CARNIELLI, Walter A.; 89b03099 - Review de :*On undecidability of the weakened Kruskal theorem* para o Mathematical Reviews, 01/1985, "89b03099 - Review de :*On undecidability of the weakened Kruskal theorem* para o Mathematical Review", Orelha, American Mathematical Society - Province, Vol. 65, pp. 6, pp.275-280, 1985

CARNIELLI, Walter A.; 85e:03026 - Review de: *Logical aspects of combinatorial duality* para Mathematical Reviews, 01/1985, "85e:03026 - Review de: *Logical aspects of combinatorial duality* para Mathematical Reviews", Orelha, Canad. Math. Bull., s.l.p., Vol. 27, pp. 6, pp.251-256, 1985

CARNIELLI, Walter A.; 85d:03042 - Review de: *Le carré chrysippien des modalités* para Mathematical Reviews, 01/1985, "85d:03042 - Review de: *Le carré chrysippien des modalités* para Mathematical Reviews", Orelha, Dialetica, The Chrysippean square of modalities, Vol. 37, pp. 13, pp.235-247, 1985


            Traduções de livros/capítulos
CARNIELLI, Walter A.; Computability: computable functions, logic and the foundations of mathematics, with the timeline Computability and Undecidability, 03/2000, Computability: computable functions, logic and the foundations of mathematics, with the timeline C, R. L. Epstein, W. A. Carnielli, ed.2, Wadsworth/Thomson Learning, Belmont, BRASIL, 2000



topo da página
Relatórios Técnicos
            Relatórios Técnicos
CARNIELLI, Walter A. (autor); Upper Bounds for Minimum Covering Codes by Tabu Search, Serviços, SP, BRASIL, 10/1995

OLIVEIRA, I. C. (Autor); MOURA, A.V. (Docente); CARNIELLI, Walter A. (Docente); On an abstract theory of computational models and the converse of Rice's theorem. RT-IC/ 34 -2009, Relatório de Pesquisa, 09/2009, idioma: INGLES, 13 página(s)



topo da página
Seminários, palestras, conferências e mesas-redondas proferidas em instituições
            Nacionais
Sigla da instituição Local Data Título da palestra Natureza da participação
UnB Sala de Seminário - CPAI 10/2014 Uma Interpretação Epistemológica sobre a informação contraditória. Palestra realizada no Centro de Pesquisa sobre Arquitetura da Informação (Cpai-UnB) em 17 de outubro de 2014 Palestra
  Sala de Seminários do CLE 11/2013 Adversus dialetheicus: Sobre uma interpretação intuitiva para as semânticas de valorações das Lógicas da Inconsistência Formal Palestra
  Auditório do IEL-UNICAMP 05/2012 Publicação assistida, fatores de impacto e grandes editoras: Um ciclo vicioso? Conferência
  Sala da Congregação da FEE 04/2012 Alan Turing, do Enigma ao Problema da Parada Conferência
  UnB 04/2012 Teoria de situações: onde lógica, informação, tempo e espaço se encontram Conferência
  FEEC-Unicamp 03/2012 Computação Quântica e Lógicas Não-Clássicas (aula inaugural) Conferência
FCA Auditório 06/2011 Logica e Argumentação: da Ilusão ao Ceticismo Palestra


            Internacionais
Sigla da instituição Local Data Título da palestra Natureza da participação
  UFC 12/2015 Rolling Strange Dice: Probability and Logic in Parallel Palestra
FR IHPST 10/2013 The kingdom of polynomials: where logic, algebra and probability would meet Palestra
UNIDESTS UNISI 07/2013 Set theory with consistency and inconsistency predicates Palestra
UDSS Anfiteatro 06/2013 Polynomials as a Universal Proof Method Palestra
UDSS UNISI 06/2013 Set Theories by Predicating on Consistency and Inconsistency Palestra
UF Anfiteatro 05/2013 Paraconsistent Description Logics: how Descripition Logics can be more inteligent Palestra
  UFRJ 04/2013 Evading Gödel's Theorems? Palestra
UNI-LU Anfiteatro 03/2013 How Description Logics can become more intelligent by supporting contradictions Palestra
  University of Melbourne 07/2011 Inconsistent Sets in Logics of Formal Inconsistency Mesa-Redonda
  Universidade de Salerno 05/2011 How to use Polynomials to Design Proofs Palestra
UNIVOOFC Auditório 12/2008 Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: Some Perspectives on Polynomizing Logics Palestra
UR Auditório 12/2008 Combining Logics. Palestra
UNIVWIEN Auditório 09/2008 Polynomial as a proof method: a rendez vous between logic and algebra Palestra
UQ Auditório 08/2007 Combinations of logics: paradoxes, problems and perspectives Palestra
UBA Auditório 05/2007 Cuantificadores modulados y votación en poblaciones infinitas Palestra
  The Hilton New York Hotel 10/2005 Deconstructing logics by means of possible-translatins semantics Palestra
  IMECC 07/2005 Minimalist modalities as a solution to Fitch´s paradox of knowability Palestra
UC Department of Electrical 05/2005 Integrating Inconsistent Information in Multiple Databases Palestra
UC Departament of Electrical 05/2005 Algebraizing Logics via Possible-Translations Semantics Palestra



topo da página
Livros Didáticos
            Publicados
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Paraconsistent Logic: Consistency, Contradiction and Negation, 06/2016, Texto Integral, ed. 1, Springer International Publishing, Vol. 40, pp. 422, pp.1-422, 2016

CARNIELLI, Walter A.; Computability: computable functions, logic and the founda- tions of mathematics, 11/1989, Texto Integral, Wadsworth, pp. 297, pp.1-297, 1989


            Capítulos de livros publicados
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Combining Logics [Versão revisada, atualizada e expandida da entrada na Stanford Encyclopedia of Philosophy publlicada em setembro de 2007], 07/2020, "Stanford Encyclopedia of Philosophy", Capítulo, ed. 3, Metaphysics Research Lab, Stanford University, pp. 24, pp.1-24, 2020

CARNIELLI, Walter A.; Groups, Not Squares: Exorcizing a Fetish, 03/2017, "Studies in Universal Logic", Capítulo, ed. 1, Springer International Publishing, Vol. 1, pp. 12, pp.239-250, 2017

CARNIELLI, Walter A.; A general frame work for semantics for propositional logics, 07/1990, "A general frame work for semantics for propositional logics", Capítulo, Kluwer Academic Publishers, 1990



topo da página
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
            Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
Evento Local Período Agência/N.Processo Valor do auxílio (US$)
Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information Universidade Estadual de Campinas 13/07/2020 a 24/07/2020 FAPESP Processo: #2019/17527-8 152.000,00
4 Fourth workshop CLE-Buenos Aires Logic Group Edifício Weekend 13/04/2018 a 16/04/2018    
IV Conference of the Brazilian Society for Analytic Philosophy Centro de Convenções da Unicamp 05/07/2016 a 08/07/2016    
3 Workshop CLE – Buenos Aires Logic Group @ IIF-SADAF SADAF 20/04/2016 a 22/04/2016    
NAT@Logic 2015 Dimap - Ufrn 31/08/2015 a 04/09/2015    
15th Congress on Logic, Methodology and Philosophy of Science University of Helsinki 03/08/2015 a 08/08/2015    
Second Workshop CLE-Buenos Aires Logic Group Unicamp 31/03/2015 a 03/04/2015    
2 Second Workshop CLE - Buenos Aires Logic Group Unicamp 31/03/2015 a 03/04/2015    
1st Workshop Centro de Lógica, Epistemologia e História da Ciência (Brazil) Buenos Aires Logic Group (Argentina) Auditorium 04/08/2014 a 05/08/2014    
16th Latin American Symposium on Mathematical Logic (XVI SLALM) UBA 28/07/2014 a 01/08/2014    
CESIMA Anno XX - Crossing Oceans: Exchange of Products, Instruments, and Procedures in the History of Chemistry and Related Sciences PUC-SP 24/08/2014 a 28/08/2014    
Seminários GLTA-CLE e Colloquia Logicae Sala de Seminários do CLE 07/08/2013 a 27/11/2013    
Computability and Logic: celebrating the Alan Turing Year in Brazil CLE / UNICAMP 12/09/2012 a 12/09/2012    
PMUV Philosophy and Mathematics of Uncertainty and Vagueness CLE / UNICAMP 06/08/2012 a 15/08/2012    
XVI Encontro Brasileiro de Lógica - EBL Petrópolis 09/05/2011 a 13/05/2011    
XVI Encontro Brasileiro de Lógica - EBL Petrópolis 09/05/2011 a 13/05/2011    
XVI Encontro Brasileiro de Lógica - EBL Petrópolis 09/05/2011 a 13/05/2011    
III Workshop-Escola de Computação e Informação Quântica LNCC 13/10/2010 a 15/10/2010    
3rd World Congress and School on Universal Logic Monte Estoril 18/04/2010 a 25/04/2010    
CLE / AIPS event – Science, Truth and Consistency IMECC/UNICAMP 23/08/2009 a 28/08/2009    
CLE / AIPS event – Science, Truth and Consistency IMECC/UNICAMP 23/08/2009 a 28/08/2009    
CLE 30 / XV EBL / XIV SLALM Casa da Cultura 11/05/2008 a 17/05/2008    
Colloquium Logicae Auditório 01/03/2006 a 20/12/2006 PROEX Processo: #0091049/2005 330,00
Colloquium Logicae Auditório 01/03/2006 a 20/12/2006    
The 2nd Indian International Conference on Artificial Intelligence (IICAI-05) Pune 20/12/2005 a 22/12/2005    
JELIA'04 - 9th European Conference on logics in Artificial Intelligence Centro de Inteligência Artificial 27/09/2004 a 30/09/2004    
CombLog'04 - Workshop on Combination of Logics: Theory and Applications Instituto Superior Técnico 28/07/2004 a 30/07/2004    
Paraconsistent computational logic= PCL 2002 Copenhagen 01/02/2003    
14th European Summer School in Logic, Language and Information - ESSLLI Trento 05/08/2002 a 16/08/2002    
II World Congress on Paraconsistency Juquey 01/05/2000 a 01/05/2000    
Grupo de Lógica Teórica e Aplicada Campinas 01/06/1993 a 01/06/1993    
X Encontro Brasileiro de Lógica Itatiaia 01/05/1993 a 01/05/1993    



topo da página
Atividades de extensão e serviço à comunidade
            Consultoria e/ou assessoria a agências de fomento à pesquisa e ao ensino (inclusive como coordenador de área, membro de comitê assessor e assessor ad hoc)
Tipo de Atividade/descrição Agência Período
Assessor Ad Hoc / Assessor Ad Hoc de artigos para eventual publicação na Revista Computational and Applied Mathematics SBMAC - Sociedade Brasileira Matemática Aplicada Computacional Início: 01/01/2015. Situação: Em andamento.
Assessor Ad Hoc / Parecerista CAPES - CAPES-Coordenação de Aperfeiçoamento de Pessoal de Nível Superior Início: 01/03/2000. Situação: Em andamento.
Assessor Ad Hoc / Parecerista CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico Início: 01/03/1998. Situação: Em andamento.
Assessor Ad Hoc / Parecerista FAPESP - Fundação de Amparo à Pesquisa do Estado de São Paulo Início: 01/03/1998. Situação: Em andamento.
Membro de Comitê Assessor / Episteme - revista multidisciplinar RMUTL - Universidade Técnica de Lisboa Início: 01/01/2007. Situação: Em andamento.


            Consultoria e/ou assessoria a órgãos públicos municipais/estaduais/federais
Tipo de Atividade/descrição Órgão Público Período
Consultoria a Órgãos Públicos / (CONSULTORIA) Membro do Comitê de Ética em Pesquisa da UNICAMP. UNICAMP - Universidade Estadual de Campinas Início: 01/01/2012. Situação: Em andamento.


            Consultoria e/ou assessoria a empresas públicas ou privadas e outras organizações
Tipo de Atividade/descrição Empresa/Entidade Período
Assessoria a Empresas Privadas e Outras Organizações / Member of the Committee on Logic in Latin America of the Association for Symbolic Logic. ASL - Association for Symbolic Logic Início: 01/01/2012. Situação: Em andamento.
Assessoria a Empresas Privadas e Outras Organizações / Assessor Ad Hoc do Fund for Scientific Research-FNRS (F.R.S.-FNRS) para Consultoria cientifica FNRS - Le Fonds de la Recherche Scientifique Início: 01/01/2015. Situação: Em andamento.


            Participação em Cursos e Disciplinas
Tipo de Participação Nome do Curso e/ou Disciplina Natureza Instituição
Docência Minicurso: Probabilistic Graphical Models with Imprecise Probabilities and Their Applications to Decision-Support Systems and Machine Learning, realizado dias 20 e 21 de fevereiro de 2018 extensão Universidade de São Paulo
Docência Minicurso: An Epistemic Approach to Paraconsistency. Ministrado em inglês durante o XVIII Brazilian Logic Conference - Logic School, no período de 08 a 12 de maio extensão Universidade Federal de Goiás
      Centro de Lógica, Epistemologia e História da Ciência
      Instituto de Filosofia e Ciências Humanas da Unicamp
Docência Tutotial: Possible-Translations semantics: A tool to combine logics, and to give them meaning, realizado em 19 de abril, como atividade no 3rd CLE-BA LOGIC @ IIF-SADAF extensão Sociedad Argentina de Análisis Filosófico
Docência Minicurso: Aspectos Conceituais e Filosóficos das Multimodalidades extensão Universidade Federal de Santa Maria
Docência HF009 - Computabilidade extensão  
Docência HF911 - Seminario do Programa II extensão  
Docência HF105/B - Tópicos Especiais de Lógica II extensão  
Docência Lógicas da Inconsistência Formal Especialização (Latu Sensu)  
Docência Inteligência Artificial, impactos e problemas Aperfeiçoamento Conselho Nacional de Desenvolvimento Científico e Tecnológico
      Universidade Estadual de Campinas
Docência Questões de ética: o que a IA pode realmente fazer conosco? Aperfeiçoamento Universidade Estadual de Campinas
Docência Lógica & probabilidade: encontros e desencontros Aperfeiçoamento Fundação de Amparo à Pesquisa do Estado de São Paulo


            Atividades como editor ou membro de conselho/corpo editorial de periódicos
Tipo de Atividade/descrição Editora Periódico Período
Membro do Corpo Editorial de Periódicos / (ASSESSORIA) Parecerista para 'Mathematics and Computers in Simulation'. Int. Assoc.math. Computers in Simulation Mathematics and Computers in Simulation (Print) Início: 01/01/2012. Situação: Em andamento.
Membro do Corpo Editorial de Periódicos / (ASSESSORIA) Parecerista para 'Journal for General Philosophy of Science'. Springer Verlag Dordrecht Journal for General Philosophy of Science Início: 01/01/2012. Situação: Em andamento.
Membro do Conselho Editorial de Periódicos / Membro do Conselho Nicolaus Copernicus University Press Logic and Logical Philosophy Início: 01/01/2006. Situação: Em andamento.
Editor de Revista / Editor Associado Hermes Science Publishing Ltd Journal of Applied Non-Classical Logics Início: 01/01/2002. Situação: Em andamento.
Editor de Revista / Série Contemporary Logic Polimetrica Publishing Contemporary Logic Início: 01/03/2006. Situação: Em andamento.
Membro do Corpo Editorial de Periódicos / Journal of Applied Logic Elsevier Journal of Applied Logic Início: 01/01/2002. Situação: Em andamento.
Editor de Revista / Editor de Resenhas Nicolaus Copernicus University Press Logic and Logical Philosophy Início: 01/03/2006. Situação: Em andamento.
Membro do Conselho Editorial de Periódicos / Cahiers de Logique et d'Épistémologie Dov Gabbay and Shahid Rahman Cahiers de Logique et d’Épistémologie Início: 01/01/2007. Situação: Em andamento.
Membro do Conselho Editorial de Periódicos / Cuadernos de Logica, Epistemologia y Lenguage Vincent F. Hendricks & Hannes Leitgeb Cuadernos de Lógica, Epistemologia y Lenguaje Início: 01/01/2007. Situação: Em andamento.
Membro de Conselho Consultivo de Periódicos / Resenhista American Mathematical Society Mathematical Reviews Início: 01/10/1998. Situação: Em andamento.
Editor de Revista / Revista CLE e-Prints CLE / UNICAMP CLE e-Prints (Impresso) Início: 01/01/2002. Situação: Em andamento.
Editor de Revista / Editor Associado Springer Verlag Studia Logica Início: 01/01/2002. Situação: concluído. Data de conclusão: 31/12/2008


            Atividades eventuais de editoria
Título Tipo de atividade/descrição Editora Periódico Data
Logic, Inference, Probability and Paradox Editoração / null MDPI   11/2017
Book of Abstracts of Trends in Logic XVI Consistency, Contradiction, Paraconsistency and Reasoning − 40 years of CLE Editoração / null Unicamp   08/2016
An event on Brazilian Logic (Editores) Edição ou Organização / null Journal of the IGPL   12/2004
Consecuencia Lógica: La Perspectiva Tarskiana Semántica Edição ou Organização / null Centro de Lógica, Epistemologia e História da Ciência   06/2003
Anti-Intuitionism and Paraconsistency Edição ou Organização / null Centro de Lógica, Epistemologia e História da Ciência   03/2003


            Arbitragem de artigos
Periódico Editora/Entidade Ano
Synthese: an international journal for epistemology, methodology and philosophy of science Springer 2010
Mathematical Reviews American Mathematical Society 1985
  Association for Computing Machinery 2005


            Outros Serviços
Tipo de atividade Entidade Período
Parecer / Parecer Universidade Estadual de Campinas 04/2006
Outro / Membro da Congregação do IFCH   09/1998
Outro / Diretor do CLE   09/1998
Outro / Coordenador da Biblioteca do CLE-UNICAMP   01/1996
Outro / Diretor Associado do CLE-UNICAMP   01/1995
Outro / Representante de Usuários do CLE no Sistema UNINET   01/1990
Outro / Membro do Conselho Científico do CLE   01/1986



topo da página
Atividades de Orientação e Supervisão
            Iniciação Científica
Orientando Ingresso Data de Término Título do Projeto Agência
Maíra Bittencourt 01/03/2012 31/12/2012 Filosofia e Probabilidade  
Igor Carboni Oliveira 01/05/2008 31/12/2008 Computabilidade e Indecidibilidade FAPESP
Henrique Yuji Rossetti Inonhe 01/03/2017 22/03/2018 Formalização da Matemática através de Assistentes de Provas: Um estudo do Estado da Arte (Monografia)  
Igor Carboni Oliveira 01/08/2008 31/12/2008 Computabilidade e Indecibilidade PIBIC/CNPq


            Mestrado / Doutorado
Orientando Ingresso       Data de Defesa Tipo Título do Projeto
Henrique Antunes Almeida 01/03/2014       29/03/2019 Doutorado  Contradições Gratuitas: Em Direção a uma Interpretação Nominalista de Teorias Contraditórias
Alfredo Roque de Oliveira Freire Filho 01/03/2016       28/03/2019 Doutorado  Estudo Comparado do Comprometimento Ontológico das Teorias de Classes e Conjuntos
Bruno Ramos Mendonça 01/03/2014       08/06/2018 Doutorado  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
Pedro Henrique Carrasqueira Zanei 03/04/2018       30/05/2018 Mestrado  Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
Igor de Camargo e Souza Câmara 04/01/2016       25/05/2018 Mestrado  Condicionais Contrafatuais e Contrapossíveis
Edson Vinicius Bezerra 01/03/2015       21/09/2017 Mestrado  Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedades
Pedro Mendes Ferreira Lemos 01/04/2016       02/09/2016 Doutorado  "A Luz Evanescente da Contingência: Operadores Temporais, Modalidades, e Sensibilidade a Contextos de Avaliação"
Luís Cláudio Balan de Campos 01/04/2016       20/05/2016 Mestrado  "Kant e a Geometria" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000973807 ]
Sandro Márcio da Silva Preto 01/03/2013       25/09/2015 Mestrado  "Lógica, probabilidade e consequência" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000959136 ]
Ana Flávia de Faria Cholodovskis 01/03/2012       26/09/2014 Mestrado  "Lógicas de Inconsistência Formal e Não-Monotonicidade" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000937861 ]
Henrique Antunes Almeida 01/03/2012       26/09/2014 Mestrado  "Revisitando o Teorema de Frege" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000936279 ]
Mariana Matulovic da Silva 01/03/2010       14/10/2013 Doutorado  "Demonstrações na Algibeira: Polinômios como um Método Universal de Prova" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000916853 ]
Samir Bezerra Gorsky 01/03/2008       22/03/2013 Doutorado  "A Lógica e a Metafísica dos Enigmas: Surpresa, Espanto e Informação" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000907856 ]
Antonio Marmo da Cunha Oliveira 02/03/2009       30/09/2011 Mestrado  "Sistemas Pressuposições e Implicaturas: Uma Investigação Exploratória, Lógica e Filosófica" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000841720 ]
Anderson Beraldo de Araújo 05/08/2008       18/03/2011 Doutorado  "Uma abordagem modelo-teórica da computabilidade de Turing clássica"
Juan Carlos Agudelo Agudelo 01/03/2006       19/11/2009 Doutorado  "Computação Paraconsistente: uma Abordagem Lógica à Compu- tação Quântica" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000470540 ]
Pietro Kreitlon Carolino 01/03/2008       04/09/2009 Mestrado  "Polinomização de Lógicas: Problemas e Perspectivas" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000469785 ]
Rodrigo Podiacki Barreto de Menezes 01/03/2006       23/07/2008 Mestrado  Lógicas das Inconsistência Formal Quantificadas.
Samir Bezerra Gorsky 01/03/2006       04/07/2008 Mestrado  A Semântica algébrica para as lógicas modais e seu interesse filosófico.
Fabricio Vasconcelos Gomes 04/04/2008       18/06/2008 Mestrado  Entre o Racional e o Justo: A Lógica e as Sentenças Judiciais. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000431257 ]
Juan Carlos Agudelo Agudelo 01/03/2004       08/05/2006 Mestrado  Da computação paraconsistente à computação quântica.
Paulo Roberto Petrillo 01/03/2003       05/12/2005 Mestrado  Raciocínio difuso via lógicas moduladas: uma solução ao paradoxo dos Sorites. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000383369 ]
João Marcos de Almeida 01/03/1999       16/02/2005 Doutorado  Logics of Formal Inconsistency.
Tomas Andres Barrero Guzman 01/03/2003       26/08/2004 Mestrado  "Lógica positiva: plenitude, potencialidade e problemas (do pensar sem negação)". [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000340496 ]
Alexandre Fernandes Batista Costa Leite 01/03/2001       28/04/2003 Mestrado  Paraconsistência, modalidades e cognoscibilidade. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000298918 ]
Denise Maria Maldonado da Cunha 01/03/2001       25/02/2003 Mestrado  CRENÇAS NÃO DITAS, DITO DE CRENÇAS. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000280021 ]
Maria Cláudia Cabrini Grácio 01/12/1993       07/10/1999 Doutorado  Lógicas Moduladas e Raciocínio sob Incerteza. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000212216 ]
João Marcos de Almeida 01/10/1997       09/08/1999 Mestrado  Semânticas de Traduções Possíveis. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000224326 ]
Ruben Alekxander Péla 01/03/1996       17/06/1996 Mestrado  Algoritmos Abstratos e seu Significado para a Matemática. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000109519 ]
Emerson Luiz do Monte Carmelo 01/03/1993       06/10/1995 Mestrado  O Problema das Hipertorres e Participações Polarizadas Finitas e Infinitas. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000098846 ]
José Carlos Cifuentes Vásquez 01/03/1986       27/06/1988 Mestrado  O método dos isomorfismos parciais e a caracterização algébrica da expressabilidade matemática [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000047162 ]


            Pós-Doutorado
Orientando Ingresso Data de Término Título do Projeto Agência
Gabriele Pulcini 01/08/2014 30/09/2016 Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência FAPESP
Rodrigo de Alvarenga Freire 01/03/2013 28/02/2014 Sistemas axiomáticos para a teoria de conjuntos FAPESP



topo da página
Orientação vinculada a programas especiais de Ensino
            Orientação no Programa de Estágio de Capacitação Docente (PED)
Orientando Período
Pedro Mendes Ferreira Lemos 01/03/2014 a 31/07/2014
Newton Marques Peron 01/08/2013 a 31/12/2013
Pedro Henrique Carrasqueira Zanei 01/08/2015 a 31/12/2015


            Orientação Especial de Estudante (Monografia, Bolsa de trabalho SAE, Bolsista estrangeiro(IAESTE, Intercampus, ECUNY e outros) , Estudante Especial, Outros)
Orientando Tipo de Orientação Período
Bruno Jacinto Outras 01/03/2007 a 31/12/2007



topo da página
Projetos Vinculados ao Ensino
            Com financiamento
Título do projeto Agência Situação
RTI - 2011-2012 - PLANO ANUAL DE APLICACAO DA PARCELA INSTITUCIONAL DA RESERVA TECNICA.  ( 1 ) Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio infra-estrutura - RESERVA TECNICA P/ INFRAESTRUTURA INSTIT
Concluído
2.O WORKSHOP SOBRE TRADUCOES  ( 1 ) Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa -
Concluído
1.O WORKSHOP SOBRE TRADUCOES  ( 1 ) Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa -
Concluído
10.O ENCONTRO BRASILEIRO DE LOGICA  ( 1 ) Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa -
Concluído


            Sem financiamento
Título do projeto Situação
Inteligência Artificial: da Lógica às Humanidades Concluído
FAPLIVROS Concluído



topo da página
Projetos de Pesquisa
            Com financiamento
Título do projeto Agência/Tipo financiamento/Complemento/Valor/Processo Situação
A INTERPRETACAO DE WITTGENSTEIN SOBRE O TEOREMA DA INCOMPLETUDE DE GODEL Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-I / R$36501,96 - Processo: 2022/00703-0
aluno:RAFAEL DOS SANTOS ONGARATTO
orientador:Walter Alexandre Carnielli
Em Andamento
DINTER - Doutorado Interinstitucional entre PPGF/UNICAMP e UFAM Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Outras bolsas / Convênio CAPES/DINTER/UFAM / null - Concluído
SOBRE AS CONDICOES PARA UMA COMPARACAO DO COMPROMETIMENTO ONTOLOGICO ENTRE TEORIAS (Estágio de Pesquisa no Exterior na City University of New York. Supervisor no Exterior: Joel David Hamkins. Vinculado à Bolsa no País Processo: 16/10497-8 . Orientado: Alfredo Roque de Oliveira Freire Filho) Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO EXTERIOR - ESTAGIO PESQUISA DD / R$106928,83 - Processo: 2017/21020-0
aluno:Alfredo Roque de Oliveira Freire Filho
orientador:Walter Alexandre Carnielli
Em Andamento
Cooperation with German Colleagues Alexander von Humboldt Stiftung - Auxílio Pesquisa / R$45013,21 - Concluído
17TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio part. Reunião / AUXILIO-REUNIAO-EXTERIOR / R$10013,51 - Processo: 2017/06560-9 Concluído
Consequências de paralelos entre lógica dedutiva e probabilidade para a argumentação informal. Orientado: Daniel Alves da Silva Lópes Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Daniel Alves da Silva Lopes Diniz
orientador:Walter Alexandre Carnielli
Em Andamento
Lógica e probabilidade. Orientada: Maíra Bittencourt Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa Mestrado MS / R$30000,00 -
aluno:Maíra Bittencourt
orientador:Walter Alexandre Carnielli
Em Andamento
TRENDS IN LOGIC XVI: CONSISTENCY, CONTRADICTION, PARACONSISTENCY AND REASONING - 40 YEARS OF CLE Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$12455,26 - Processo: 2015/24124-6 Concluído
ESTUDO COMPARADO DO COMPROMETIMENTO ONTOLOGICO DAS TEORIAS DE CLASSES E CONJUNTOS (Vinculado ao Processo 17/21020-0 Estágio de Pesquisa no Exterior. Orientado: Alfredo Roque de Oliveira Freire Filho ) Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DD-4 / R$85335,04 - Processo: 2016/10497-8
aluno:Alfredo Roque de Oliveira Freire Filho
orientador:Walter Alexandre Carnielli
Concluído
Condicionais Contrafatuais e Contrapossíveis. Orientado: Igor de Camargo e Souza Câmara Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Igor de Camargo e Souza Câmara
orientador:Walter Alexandre Carnielli
Concluído
UMA ANALISE LOGICA DA NOCAO DE CONSISTENCIA NA PRATICA DA TEORIA DOS CONJUNTOS. (Orientado: Giorgio Venturi ) Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no exterior PD / BOLSA NO EXTERIOR - ESTAGIO PESQUISA PD / R$242048,89 - Processo: 2014/25342-4 Concluído
Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedade. Orientado: Edson Vinicius Bezerra Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Edson Vinicius Bezerra
orientador:Walter Alexandre Carnielli
Concluído
EM DIRECAO A UM MARCO LOGICO UNITARIO PARA A NAO-MONOTONIDADE E A PARACONSISTE NCIA (Supervisionado: Gabriele Pulcini) Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$182750,47 - Processo: 2013/22371-0 Concluído
Contradictions for Free: A Nominalistic Interpretation of Inconsistent Mathematics. Orientado: Henrique Antunes Almeida Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Doutorado DR / R$105600,00 -
aluno:Henrique Antunes Almeida
orientador:Walter Alexandre Carnielli
Em Andamento
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. Orientado: Bruno Ramos Mendonça Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$105600,00 -
aluno:Bruno Ramos Mendonça
orientador:Walter Alexandre Carnielli
Concluído
SISTEMAS AXIOMATICOS PARA A TEORIA DE CONJUNTOS (Supervisionado: Rodrigo de Alvarenga Freire) Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$77511,23 - Processo: 2012/20599-1 Concluído
Lógica, probabilidade e consequência. Orientado: Sandro Marcio da Silva Preto Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Sandro Márcio da Silva Preto
orientador:Walter Alexandre Carnielli
Concluído
Lógica Contemporânea e os Fundamentos da Matemática e da Computação Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Nível 1B (Incluso valor mensal adicional bancada R$ 1100,00) / R$120000,00 - Processo: 301937/2011-7 Concluído
ASPECTOS LOGICOS E COMPUTACIONAIS DO METODO DE DEMONSTRACOES VIA POLINOMIOS FORMAIS Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$7226,54 - Processo: 2011/22691-0
aluno:Victor Fernando Pompeo Barbosa
orientador:Walter Alexandre Carnielli
Concluído
Revisitando o Teorema de Frege. Orientado: Henrique Antunes Almeida Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa Mestrado MS / R$36000,00 -
aluno:Henrique Antunes Almeida
orientador:Walter Alexandre Carnielli
Concluído
Lógica Contemporânea e os Fundamentos da Matemática e da Computação (Produtividade em Pesquisa - 1B) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Inclusa Taxa de Bancada no valor R$ 1.100,00 mensal / R$210000,00 - Em Andamento
16.0 ENCONTRO BRASILEIRO DE LOGICA PETROPOLIS RJ Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$22876,39 - Processo: 2011/50081-1 Concluído
Conciencia, Lógica y Computación (Produtividade em Pesquisa) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Nível 1B (Incluso valor mensal adicional bancada R$ 1100,00 / R$120000,00 - Concluído
LOGICAL CONSEQUENCE, REASONING AND COMPUTATION - LOGCONS. Fundação de Amparo à Pesquisa do Estado de São Paulo - Projeto tematico / TEMATICO / R$253291,22 - Processo: 2010/51038-0 Concluído
O SIGNIFICADO DAS SENTENCAS ARITMETICAS, A DEFINIBILIDADE CONJUNTISTA E O PAPEL DA TEORIA DAS CATEGORIAS NA SEMANTICA DE SISTEMAS LOGICOS (Supervisionado: Rodrigo de Alvarenga Freire) Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$213616,39 - Processo: 2009/10751-8 Concluído
ASPECTOS LOGICOS E ONTOLOGICOS DE UMA ARITMETICA GENERALIZADA Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DD-4 / R$68787,34 - Processo: 2008/06205-5
aluno:Anderson Beraldo de Araújo
orientador:Walter Alexandre Carnielli
Concluído
COMPUTABILIDADE E INDECIDIBILIDADE Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$3398,40 - Processo: 2007/08722-4
aluno:Igor Carboni Oliveira
orientador:Walter Alexandre Carnielli
Concluído
POLINOMIZANDO: UM METOD DE REPRESENTACAO EM LOGICA, COM RAIZES EM LEIBNIZ E BOOLE. Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-I / R$24114,42 - Processo: 2006/05429-1
aluno:Pietro Kreitlon Carolino
orientador:Walter Alexandre Carnielli
Concluído
DE GODEL A KRIPKE: INCOMPLETUDE, VERDADE E PARACONSISTENCIA. Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-II / R$32272,02 - Processo: 2006/01786-4
aluno:Anderson Beraldo de Araújo
orientador:Walter Alexandre Carnielli
Concluído
COMPUTACAO QUANTICA, COMPUTACAO PARACONSISTENTE E LOGICA: INTERRELACOES E FUNDAMENTOS DOS ALGORITMOS QUANTICOS. Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-II / R$100262,04 - Processo: 2005/04123-3
aluno:Juan Carlos Agudelo Agudelo
orientador:Walter Alexandre Carnielli
Concluído
COMPUTABILIDADE: FUNCOES COMPUTAVEIS, LOGICA E OS FUNDAMENTOS DA MATEMATICA Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio publicação / AUXILIO-PUBLICACAO / R$7000,00 - Processo: 2005/55231-0 Concluído
FUNDAMENTOS DE TEORIA DE ESTRUTURAS COMO BASE PARA UMA FILOSOFIA DA MATEMATICA. Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DD-4 / R$64834,52 - Processo: 2005/55203-7
aluno:Rodrigo de Alvarenga Freire
orientador:Walter Alexandre Carnielli
Concluído
  Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$12767,76 - Processo: 2005/54663-4 Concluído
Logical consequence and combinations of logics - fundaments and efficient applications. (Projeto Temático) Fundação de Amparo à Pesquisa do Estado de São Paulo - Projeto tematico / TEMATICO / R$332948,00 - Processo: 2004/14107-2 - Area: Educação Concluído
1) LIMITS FOR PARACONSISTENT CALCULI. 2) TABLEAU SYSTEMAS FOT LOGICS OF FORMAL INCONSISTENCY. Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio part. Reunião / AUXILIO-REUNIAO-EXTERIOR / R$8134,69 - Processo: 2001/04265-1 Concluído
PROVADORES ALGEBRICOS DE TEOREMAS E SUA COMPLEXIDADE. Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS IC / R$3960,00 - Processo: 2001/01502-2
aluno:Cleber Valgas Gomes Mira
orientador:Walter Alexandre Carnielli
Concluído
RYSZARD WOJCICKI Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio prof visitante / AUXILIO-VISITANTE EXTERIOR / R$4430,47 - Processo: 2000/02059-2 Concluído
JOSE CARLOS CIFUENTES VASQUEZ, SETOR CIENCIAS EXATAS/UFPR, BRASIL Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$14212,5 - Processo: 1997/03387-9 Concluído
NON-DETERMINISTIC SEMANTICS. Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$3301,0 - Processo: 1997/02765-0 Concluído
XAVIER CAICEDO, UNIVERSIDAD DE LOS ANDES, COLOMBIA Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$42834,9 - Processo: 1995/06728-6 Concluído
WHAT S WRONG WITH SO CALLED DEFAULT LOGIC? Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$420,0 - Processo: 1995/02984-8 Concluído
ASPECTOS MATEMÁTICOS E COMPUTACIONAIS DAS TRADUÇÕES ENTRE LÓGICAS. Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$21541,67 - Processo: 1993/00925-9 - Area: Educação Concluído
DEFAULT OPERATORS. Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$1048,0 - Processo: 1994/02128-1 Concluído
INTRODUCAO AS LOGICAS DIFUSAS: TEORIA E APLICACOES. Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$1209,22 - Processo: 1992/00138-4 Concluído
INTRODUCAO AS LOGICAS PARACONSISTENTES - TEORIA E APLICACOES. Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$806,15 - Processo: 1992/00140-9 Concluído
CONTEXTUAL NEGATIONS AND REASONING WITH CONTRADICTIONS. Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$3147,95 - Processo: 91/01800-0 Concluído


            Sem financiamento
Título do projeto Situação
Lógica, Argumentação e Probabilidade. Orientado: Daniel Alves da Silva Lopes Diniz (Orientação de 02/03/2017 a 11/10/2018. A partir dessa data mudança de orientação) Concluído
Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência. Orientado: Pedro Henrique Carrasqueira Zanei Concluído
Kant e a geometria. Orientado: Luis Claudio Balan de Campos Concluído
Lógicas Näo-Monotôonicas e Paraconsistência. Orientada: Ana Flávia de Faria Cholodovskis Concluído
Logical Consequence, Reasoning and Computation - LogCons Concluído
The Fading Light of Contingency: On Tense, Modals, and Assessment-sensitivity. Orientado: Pedro Mendes Ferreira Lemos Concluído
Grupo de Lógica Teórica e Aplicada (GLTA) Concluído
Semânticas formais, Raciocínio Qualitativo e Teoria do Conhecimento Concluído
Lógica e teoria das categorias Concluído
Combinações entre lógicas Concluído
Lógica e epistemologia Concluído



topo da página
Projetos em colaboração com outras instituições
            Estrangeiras
Instiuição Projeto
Marie Sklodowska-Curie RISE Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics (Sysmics) (A European Marie Sklodowska-Curie RISE project)


            Brasileiras (incluindo projetos temáticos da FAPESP, Projetos Integrados e Entidades de Pesquisa ou Ensino associadas ao CNPq, projetos conjuntos no PADCT, na FINEP, promoção conjunta de eventos, publicações, mostras artísticas, montagens, etc.).
Instiuição Projeto
Conselho Nacional de Desenvolvimento Científico e Tecnológico Teoria de Modelos e Teoria da Prova das Lógicas Não-Clássicas
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior Teoria de Modelos e Teoria da Prova das Lógicas Não-Clássicas
Conselho Nacional de Desenvolvimento Científico e Tecnológico Lógicas Modais e Multimodais
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior Lógicas Modais e Multimodais



topo da página
Organização de eventos científicos, culturais e artísticos e cursos de curta duração
            Organização de eventos científicos, culturais e artísticos e cursos de curta duração
Título Local Período Agência Valor do Auxílio
1 Workshop CLE: Indução, probabilidade e seus dilemas (Organização) Centro de Lógica 10/12/2018 a 11/12/2018    
6 6th World Congress and School on Universal Logic (Organização) Vichy University Campus France 16/06/2018 a 26/06/2018    
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE (Organização) Unicamp 12/09/2016 a 15/09/2016    
Workshop on hinking an Rationatilty (Organização) UFRJ 05/04/2013 a 05/04/2013    
Second International Workshop COMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (II CMSRA) (Curadoria) Univ. Nacional del Sur 20/02/2002 a    
Pensamento Crítico, Lógica e Argumentação Plataforma Coursera Até 11/2021 Coursera Processo: #01P-19142/2014 U$ 12000,00
First International Workshop on Foundations of Computer Science as Logic-Related Sabanci University Até 08/2008    
Logic School/ Escola de Lógica CLE - UNICAMP Até 05/2008    
Possible-Translations Semantics/Semanticas de Traducoes Possiveis CLE - UNICAMP Até 05/2008    



topo da página
Linhas de Pesquisa
            Ativas nas produções, projetos, grupos e trabalhos de conclusão graduação/livre docência
Título Ano de Início Capes
Fundamentos e aplicações da consequência lógica 2011 Não
Fundamentos e aplicações das lógicas não-clássicas 1993 Não
História da Filosofia (Antiga, Medieval, Moderna e Contemporânea) 2003 Sim
Interinstitucional 2017 Não
Lógica (Não-Clássicas, Semânticas Formais) 2003 Sim
Teoria do Conhecimento e Filosofia da Ciência e da Linguagem (Filosofia da Linguagem, Filosofia da Psicologia e da Psicanálise, Teoria do Conhecimento, Filosofia da Ciência, História da Filosofia da Natureza) 2000 Sim



topo da página
Participação em bancas examinadoras
            Natureza: exames de qualificação de mestrado ou doutorado, defesas de tese de mestrado ou doutorado, concurso para a carreira docente
Nome do candidato Instituição Natureza Titular/Suplente
Carlos Gonzales Universidade Estadual de Campinas Exame de qualificação Titular
Frank Thomas Sautter Universidade Estadual de Campinas Mestrado Unicamp antes de 2001 Titular
Mamede Lima-Marques Universidade Federal de Uberlândia Exame de qualificação Titular
Denise Silva Vilela Universidade Estadual de Campinas Mestrado Unicamp antes de 2001 Titular
Ricardo Bianconi Universidade de São Paulo Concurso de Livre Docência Titular
Daniel Durante Pereira Alves Universidade Estadual de Campinas Exame de qualificação Titular
Jairo José da Silva Universidade Estadual Paulista Júlio de Mesquita Filho Concurso de Livre Docência Titular
Paulo Mondec Universidade Estadual de Campinas Doutorado Unicamp antes de 2001 Titular
Olga Geromel Fischer Universidade Estadual Paulista Júlio de Mesquita Filho Mestrado fora da Unicamp Titular
  Universidade Estadual de Campinas Pré-Tese Titular
Rodolfo Cristian Ertola Biraben Universidade Estadual de Campinas Exame de qualificação Titular
Hercules de Araujo Feitosa Universidade Estadual Paulista Júlio de Mesquita Filho Doutorado fora da Unicamp Suplente
José Carlos Cifuentes Vásquez Universidade Estadual de Campinas Doutorado Unicamp antes de 2001 Titular
Émerson Luíz do Monte Carmelo Universidade Estadual de Campinas Mestrado Unicamp antes de 2001 Titular
Denise Silva Vilela Universidade Estadual de Campinas Mestrado Unicamp antes de 2001 Suplente
  Faculdade de Filosofia e Ciências/UNESP/Marília Professor Assistente Titular
  Universidade de São Paulo Adjunto Titular
  Instituto de Matemática e Estatística - USP Outras bancas de avaliação Titular
Profa. Dra. Lúcia Renato Junqueira Instituto de Matemática e Estatística - USP Concurso de Livre Docência Titular
Leonardo Prieto Sanabria Instituto de Matemática e Estatística - USP Doutorado fora da Unicamp Titular
Marcelo Esteban Coniglio Departamento de Filosofia - IFCH - Unicamp Concurso de Livre Docência Titular
Irene de Castro Pereira Instituto de Matemática e Estatística - USP Doutorado fora da Unicamp Suplente
Rafael Rodrigues Testa Universidade Estadual de Campinas Trabalho de Conclusão na Graduação Titular
Concurso Público para Professor Titular Universidade Estadual Paulista - Campus de Araraquara Concurso para provimento de Cargo de Professor Titular Titular
Newton Marques Peron Universidade Estadual de Campinas Trabalho de Conclusão na Graduação Presidente
Concurso Professor Titular USP Universidade de São Paulo Concurso para provimento de Cargo de Professor Titular Titular
Fabricio Vasconcelos Gomes Universidade Estadual de Campinas Exame de qualificação Presidente
Juan Carlos Agudelo Agudelo Universidade Estadual de Campinas Exame de qualificação Presidente
Daniel Liberalino Monte Universidade Estadual de Campinas Exame de qualificação Titular
David Sena Oliveira Universidade Federal do Ceará Doutorado fora da Unicamp Titular
Samir Bezerra Gorsky Universidade Estadual de Campinas Exame de qualificação Geral (DOUTORADO) Presidente
Juan Carlos Agudelo Agudelo Universidade Estadual de Campinas Exame de qualificação Geral (DOUTORADO) Presidente
Rodrigo Roque Dias Universidade de São Paulo Doutorado fora da Unicamp Presidente
Inscrito: Lucas Angioni Universidade Estadual de Campinas Concurso de Livre Docência Suplente
Otávio José Neto Tinoco Neves dos Santos Universidade Estadual de Maringá Doutorado fora da Unicamp Titular
Luís Cláudio Balan de Campos Universidade Estadual Campinas Exame de qualificação Geral (MESTRADO) Titular
Ismael de Moura Costa Universidade de Brasilia Exame de qualificação de Área (DOUTORADO) Titular
Pedro Henrique Carrasqueira Zanei Universidade Estadual Campinas Exame de qualificação Geral (MESTRADO) Presidente
Glauber De Bona Universidade de São Paulo Doutorado fora da Unicamp Titular
Rafael Fernandes de Barros Costa Azevedo Universidade de Brasilia Mestrado fora da Unicamp Titular
Candidato Inscrito: Dirk Greimann Universidade Federal Fluminense Concurso para provimento de Cargo de Professor Titular Titular
Henrique Yuji Rossetti Inonhe Universidade Estadual de Campinas Trabalho de Conclusão na Graduação Presidente
Abner de Mattos Brito Universidade Estadual Campinas Exame de qualificação Geral (MESTRADO) Titular
Inscrito: Silvio Seno Chibeni Universidade Estadual de Campinas Concurso para provimento de Cargo de Professor Titular Presidente
João Vítor Schmidt Universidade Estadual de Campinas Exame de qualificação Geral (MESTRADO) Titular
Teófilo de Souza Carmo Reis Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Pedro Henrique Carrasqueira Zanei Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Pietro Kreitlon Carolino Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Alexandre Fernandes Batista Costa Leite Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Newton Marques Peron Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Newton Marques Peron Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Paulo Roberto Petrillo Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Tomas Andres Barrero Guzman Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Juan Carlos Agudelo Agudelo Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Juan Carlos Agudelo Agudelo Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
Rodrigo de Alvarenga Freire Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
Samir Bezerra Gorsky Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Samir Bezerra Gorsky Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
Rodrigo Podiacki Barreto de Menezes Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Anderson Beraldo de Araújo Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
María Inés Corbalán Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Pedro Mendes Ferreira Lemos Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
Mariana Matulovic da Silva Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
Carolina Blasio da Silva Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Abner de Mattos Brito Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Ana Flávia de Faria Cholodovskis Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Henrique Antunes Almeida Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Henrique Antunes Almeida Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
Guilherme Vicentin de Toledo Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Sandro Márcio da Silva Preto Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Alfredo Roque de Oliveira Freire Filho Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
João Antonio de Moraes Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Bruno Ramos Mendonça Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Edson Vinicius Bezerra Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Hendrick Cordeiro Maia e Silva Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Vincenzo Ciccarelli Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Igor de Camargo e Souza Câmara Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Wagner de Mello Elias Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Luís Cláudio Balan de Campos Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Antonio Marmo da Cunha Oliveira Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Cassiano Terra Rodrigues Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Denise Maria Maldonado da Cunha Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
Augusto Andraus Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro
Fabricio Vasconcelos Gomes Universidade Estadual de Campinas MESTRADO NA UNICAMP Presidente
João Marcos de Almeida Universidade Estadual de Campinas DOUTORADO NA UNICAMP Presidente
Luís Augusto Sbardellini Universidade Estadual de Campinas DOUTORADO NA UNICAMP Membro
Víctor Leandro Fernández Universidade Estadual de Campinas MESTRADO NA UNICAMP Membro



topo da página
Atividades Administrativas
            No âmbito da Unidade/Centro/Núcleo
Descrição (natureza) Período
Representante Suplente Docente Nível MS-6 (Membro de Colegiado Superior/Congregação) Início: 01/03/2019. Situação: concluído. Data de conclusão: 28/02/2021
Centro de Logica, Epistemologia E História da Ciência - CLE (Diretor) Início: 01/09/1998. Situação: concluído. Data de conclusão: 30/09/2004
CLEHC (Diretor) Início: 01/09/2009. Situação: concluído. Data de conclusão: 31/08/2011


            No âmbito da Universidade
Descrição (natureza) Período
Titular - CAICONSU (Membro de Comissão/Comitê Permanente) Início: 01/12/2000. Situação: concluído. Data de conclusão: 31/12/2002
Congregação do IFCH (Membro de Colegiado Superior/Congregação) Início: 01/01/2002. Situação: concluído. Data de conclusão: 31/12/2004
Membro fundador do Advanced Reasoni Forum (Outra) Início: 01/01/2002. Situação: Em andamento.
ASSESSOR TECNICO CIENTIFICO (Outra) Início: 01/01/1991. Situação: concluído. Data de conclusão: 28/10/1995
COORDENADOR DE BIBLIOTECA (Outra) Início: 01/05/1993. Situação: concluído. Data de conclusão: 28/10/1995
Coordenador interino do Programa de Pós-Graduação em Lógica e Epistemologia do Departamento de Filosofia o Instituto de Filosofia e Ciências Humanas (Outra) Início: 01/01/1995. Situação: concluído. Data de conclusão: 28/12/1997
DIRETOR ASSOCIADO (Outra) Início: 01/10/1995. Situação: concluído. Data de conclusão: 28/09/1998
Coordenador Docente do Centro de Processamento de Dados do Instituto de Filosofia e Ciências Humanas (Outra) Início: 01/01/1996. Situação: concluído. Data de conclusão: 28/12/1996
Diretor Associado do CLE-UNICAMP (Outra) Início: 01/01/1996. Situação: concluído. Data de conclusão: 28/12/1998
Assessor da CAPES para Análise e avaliação dos *Projetos PET* na área de computação e informática (Outra) Início: 01/01/1996. Situação: Em andamento.
Membro do Comitê Científico do Workshop on Logic, Language, Information and Computation (WoLLIC96) (Outra) Início: 01/04/1996. Situação: concluído. Data de conclusão: 28/04/1996
Indicado para participar da Comissão Central de Pesquisa - CCP (Outra) Início: 01/03/2006. Situação: concluído. Data de conclusão: 31/03/2008
Comissão Especial para emitir parecer conclusivo, sobre o pedido de concessão do título de Professor Emérito ao Professor Newton Carneiro Affonso da Costa, para apreciação do CONSU (Membro de Comissão/Comitê Temporário) Início: 01/05/2009. Situação: concluído. Data de conclusão: 30/06/2009


            Fora da Universidade (Governo Federal, Estadual e Municipal, Fundações, etc.)
Descriçao (natureza) Entidade/Instituição Período
Membro (Outra) SOCBRALO - Sociedade Brasileira de Lógica Início: 01/01/2002. Situação: Em andamento.
Membro do Comitê Científico do Workshop on Language, Logic and Information (WOLLIC'94) - UFPE - Recife (Outra) UFPE - Universidade Federal de Pernambuco Início: 01/01/1994. Situação: concluído. Data de conclusão: 31/12/1995
Membro (Outra) ASL - Association for Symbolic Logic Início: 01/01/2002. Situação: Em andamento.
Membro (Outra) DVMLG - Deutsche Vereinigung für mathematische Logik und für Grundlagen der Exakten Início: 01/01/2002. Situação: Em andamento.
Membro do Comitê Multidisciplinar do Tribunal Superior Eleitoral, designado pela Portaria nº 279, de 17/05/2010 (sendo o referido Comitê instituído pela Portaria TSE 192, de 20/03/2009) (Membro de Comissão/Comitê Temporário) TSE - Tribunal Superior Eleitoral Início: 01/05/2010. Situação: Em andamento.



topo da página
Prêmios e Homenagens Recebidas
            Prêmios e Homenagens recebidas pelo pesquisador e pela sua participação em produções, projetos e teses premiados
Tipo Data
"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) 2011
Medalha de Ouro: Telesio Galilei Academy of Science para 2013 , Telesio Galilei Academy of Science 2012
Nomeado para o Georg Forster Research Award: , Fundação Alexander von Humboldt 2015
Orientador de Bruno Ramos Mendonça que recebeu o Prêmio Capes de Teses 2019. Tese Traditional theory of semantic information without scandal of deduction: A moderately externalist reassessment of the topic based on urn semantics and a paraconsistent... , Capes 2019


topo da página
Indicadores Quantitativos de Produção e Pesquisa
Grupos de Pesquisa 2
      Grupos de Pesquisa 2
Artigos publicados em periódicos especializados arbitrados de circulação 77
      Internacional 55
      Nacional 22
Trabalhos completos e resumos publicados em anais de congressos 46
      Trabalho Completo - Internacional 8
      Trabalho Completo - Nacional 4
      Resumo - Internacional 20
      Resumo - Nacional 14
Artigos publicados em periódicos especializados não arbitrados e resumos 3
      Periódicos especializados não arbitrados 2
      Resumos em periódicos especializados (internacionais) 1
Artigos publicados em periódicos não especializados de circulação 2
      Internacional 2
Artigos e trabalhos completos aceitos para publicação 3
      Em periódicos arbitrados (internacional) 2
      Em anais de Congresso (internacional) 1
Participações em eventos científicos internacionais 111
      Trabalhos apresentados (oralmente) 92
      Trabalhos apresentados (posters) 1
      Trabalhos apresentados de outras formas 1
      Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra) 16
      Participação como membro de comissão 1
Participações em eventos científicos nacionais 37
      Trabalhos apresentados (oralmente) 33
      Trabalhos apresentados de outras formas 1
      Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra) 3
Comunicações em outros tipos de eventos e outras publicações de caráter variado 14
      Entrevistas e outras divulgações 7
      Outras 7
            Outras Publicações 7
Desenvolvimento ou geração de trabalhos técnicos 6
      Trabalhos computacionais - Sem ítens registrados 1
      Outros - Sem ítens Registrados 5
Livros 98
      Publicados 13
      Capítulos de livros publicados 40
      Capítulos de livros aceitos para publicação 1
      Prefácios de livros 4
      Edição ou Organização de livros 6
      Reedição com revisão 1
      Resenhas / Ilustração / Verbete 2
      Orelhas de livros 30
      Traduções de livros/capítulos 1
Relatórios Técnicos 2
      Relatórios Técnicos 2
Seminários, palestras, conferências e mesas-redondas proferidas em instituições 26
      Nacionais 7
      Internacionais 19
Livros Didáticos 5
      Publicados 2
      Capítulos de livros publicados 3
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino 32
      Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino 32
Atividades de extensão e serviço à comunidade 46
      Consultoria e/ou assessoria a agências de fomento à pesquisa e ao ensino (inclusive como coordenador de área, membro de comitê assessor e assessor ad hoc) 5
      Consultoria e/ou assessoria a órgãos públicos municipais/estaduais/federais 1
      Consultoria e/ou assessoria a empresas públicas ou privadas e outras organizações 2
      Participação em Cursos e Disciplinas 11
      Atividades como editor ou membro de conselho/corpo editorial de periódicos 12
      Atividades eventuais de editoria 5
      Arbitragem de artigos 3
      Outros Serviços 7
Atividades de Orientação e Supervisão 37
      Iniciação Científica 4
      Mestrado / Doutorado 31
      Pós-Doutorado 2
Orientação vinculada a programas especiais de Ensino 4
      Orientação no Programa de Estágio de Capacitação Docente (PED) 3
      Orientação Especial de Estudante (Monografia, Bolsa de trabalho SAE, Bolsista estrangeiro(IAESTE, Intercampus, ECUNY e outros) , Estudante Especial, Outros) 1
Projetos Vinculados ao Ensino 6
      Com financiamento 4
      Sem financiamento 2
Projetos de Pesquisa 57
      Com financiamento 46
      Sem financiamento 11
Projetos em colaboração com outras instituições 5
      Estrangeiras 1
      Brasileiras (incluindo projetos temáticos da FAPESP, Projetos Integrados e Entidades de Pesquisa ou Ensino associadas ao CNPq, projetos conjuntos no PADCT, na FINEP, promoção conjunta de eventos, publicações, mostras artísticas, montagens, etc.). 4
Organização de eventos científicos, culturais e artísticos e cursos de curta duração 9
      Organização de eventos científicos, culturais e artísticos e cursos de curta duração 9
Linhas de Pesquisa 6
      Ativas nas produções, projetos, grupos e trabalhos de conclusão graduação/livre docência 6
Participação em bancas examinadoras 87
      Natureza: exames de qualificação de mestrado ou doutorado, defesas de tese de mestrado ou doutorado, concurso para a carreira docente 87
Atividades Administrativas 21
      No âmbito da Unidade/Centro/Núcleo 3
      No âmbito da Universidade 13
      Fora da Universidade (Governo Federal, Estadual e Municipal, Fundações, etc.) 5
Prêmios e Homenagens Recebidas 4
      Prêmios e Homenagens recebidas pelo pesquisador e pela sua participação em produções, projetos e teses premiados 4
© 2023 UNICAMP / Centro de Computação (CCUEC). Todos os direitos reservados.