Informações Curriculares do Pesquisador na UNICAMP

Dados do Pesquisador

Nome:	CONIGLIO, Marcelo E.
E-Mail:	coniglio@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
	PROFESSOR TITULAR	UNIVERSIDADE ESTADUAL DE CAMPINAS
11/2004	LIVRE DOCENTE	UNIVERSIDADE ESTADUAL DE CAMPINAS
08/1997	DOUTOR EM MATEMÁTICA	UNIVERSIDADE DE SAO PAULO
11/2004	GRADUAÇÃO	UNIVERSIDADE ESTADUAL DE CAMPINAS
11/1989	LICENCIADO EM MATEMÁTICA	UNIVERSIDAD NACIONAL DE MAR DEL PLATA

Cursos de Curta Duração

Período	Título	Instituição
05/2019 a 05/2019	Semânticas não-determinísticas (Mini-curso no XIX Brazilian Logic Conference - Logic School)
06/2017 a 06/2017	Non-deterministic semantics for non-classical logics (17th Latin American Symposium on Mathematical Logic - SLALM 2017)
05/2017 a 06/2017	Lógicas de la Inconsistencia Formal: Sistemas básicos y semánticas no-determinísticas (XIV Congreso Dr. Antonio Monteiro - Argentina)	Universidad Nacional del Sur
05/2017 a 05/2017	An Epistemic Approach to Paraconsistency (XVIII Brazilian Logic Conference - Logic School)
04/2016 a 04/2016	Lógicas Paraconsistentes: Consistencia, Contradicción y Negación (Universidad de Buenos Aires)	Universidad de Buenos Aires

Especialidade

Área:	FILOSOFIA
Especialidade:	Lógica, Semânticas Formais, Combinações Entre Lógicas, Teoria das Categorias

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 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	Elaboração de material de apoio didático	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
Indicadores Quantitativos de Produção e Pesquisa

topo da página

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): Participante

topo da página

Artigos publicados em periódicos especializados arbitrados de circulação

Internacional

HERNÁNDEZ-TELLO, Alejandro; BORJA MACÍAS, Verónica; CONIGLIO, Marcelo E.; Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case, 12/2020, Electronic Notes in Theoretical Computer Science, Vol. 354, Fac. 1, pp.61-74, New York, ESTADOS UNIDOS DA AMERICA, 2020

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; GOLZIO, Ana Cláudia de Jesus; Non-deterministic algebraization of logics by swap structures1, 10/2020, Logic Journal of the IGPL (Print), Vol. 28, Fac. 5, pp.1021-1059, Oxford, INGLATERRA, 2020

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

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; GOLZIO, Ana Cláudia de Jesus; First-order swap structures semantics for some logics of formal inconsistency, 09/2020, Journal of Logic and Computation (Print), Vol. 30, Fac. 6, pp.1257-1290, Oxford, REINO UNIDO, 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

CONIGLIO, Marcelo E.; DEL CERRO, Luis Fariñas; PERON, N. M.; Modal logic with non-deterministic semantics: Part I-Propositional case, 06/2020, Logic Journal of the IGPL (Print), Vol. 28, Fac. 3, pp.281-315, Oxford, INGLATERRA, 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

CONIGLIO, Marcelo E.; GÓMEZ, Tadeo Germán; FÍGALLO, Martín; SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC, 12/2019, The Review of Symbolic Logic, Vol. 1, pp.1-38, Cambridge, REINO UNIDO, 2019

CONIGLIO, Marcelo E.; GOLZIO, Ana Cláudia de Jesus; Swap structures semantics for Ivlev-like modal logics, 04/2019, Soft Computing (Berlin. Print), Vol. 23, Fac. 7, pp.2243-2254, New York, ESTADOS UNIDOS DA AMERICA, 2019

CONIGLIO, Marcelo E.; ESTEVA, Francesc; GISPERT, JOAN; LACASA, Lluís Godo; Maximality in finite-valued Łukasiewicz logics defined by order filters, 01/2019, Journal of Logic and Computation (Print), Vol. 29, Fac. 1, pp.125-156, Oxford, REINO UNIDO, 2019

TESTA, R. R.; CONIGLIO, Marcelo E.; RIBEIRO, Márcio Moretto; AGM-like paraconsistent belief change, 08/2017, Logic Journal of the IGPL (Print), Vol. 25, Fac. 4, pp.632-672, Oxford, INGLATERRA, 2017

CONIGLIO, Marcelo E.; DEL CERRO, L. F.; PERON, Newton Marques; Errata and Addenda to `Finite non-deterministic semantics for some modal systems?, 03/2017, Journal of Applied Non-Classical Logics, Vol. 26, Fac. 4, pp.336-345, Paris, FRANCA, 2017

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; GOLZIO, Ana Cláudia de Jesus; Towards an hyperalgebraic theory of non-algebraizable logics, 10/2016, CLE e-Prints (Online), Vol. 16, Fac. 4, pp.1-27, Campinas, SP, BRASIL, 2016

ESTEVA, Francesc; CONIGLIO, Marcelo E.; LACASA, Lluís Godo; On the set of intermediate logics between the truth- and degree-preserving -ukasiewicz logics, 05/2016, Logic Journal of the IGPL (Print), Vol. 24, Fac. 3, pp.288-320, Oxford, INGLATERRA, 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

TESTA, R. R.; CONIGLIO, Marcelo E.; RIBEIRO, Márcio Moretto; Paraconsistent Belief Revision based on a formal consistency operator, 11/2015, CLE e-Prints (Online), Vol. 15, pp.1-11, Campinas, SP, BRASIL, 2015

DEL CERRO, Luis Fariñas; CONIGLIO, Marcelo E.; PERON, Newton Marques; Finite non-deterministic semantics for some modal systems, 04/2015, Journal of Applied Non-Classical Logics, Vol. 25, Fac. 1, pp.20-45, Paris, FRANCA, 2015

CONIGLIO, Marcelo E.; PERON, Newton Marques; Dugundji s Theorem Revisited, 12/2014, Logica Universalis (Print), Vol. 8, Fac. 3-4, pp.407-422, Basel, SUICA, 2014

CONIGLIO, Marcelo E.; ESTEVA, Francesc; LACASA, Lluís Godo; Logics of formal inconsistency arising from systems of fuzzy logic, 11/2014, Logic Journal of the IGPL (Print), Vol. 22, Fac. 6, pp.880-904, Oxford, INGLATERRA, 2014

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

FÍGALLO, Martín; CONIGLIO, Marcelo E.; Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras, 06/2014, Studia Logica, Vol. 102, pp.525-539, Dordrecht, HOLANDA, 2014

CONIGLIO, Marcelo E.; SILVESTRINI, Luiz Henrique da Cruz; An alternative approach for quasi-truth, 03/2014, Logic Journal of the IGPL (Print), Vol. 22, Fac. 2, pp.387-410, Oxford, INGLATERRA, 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

FÍGALLO, Martín; CONIGLIO, Marcelo E.; On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5, 04/2013, CLE e-Prints (Online), Vol. 13, pp.3-13, Campinas, SP, BRASIL, 2013

CONIGLIO, Marcelo E.; CORBALÁN, María Inés; Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics, 03/2013, Electronic Proceedings in Theoretical Computer Science, Vol. 113, pp.125-136, Sydney, AUSTRALIA, 2013

PERON, N. M.; CONIGLIO, Marcelo E.; Modal extensions of sub-classical logics for recovering classical logic, 03/2013, Logica Universalis (Print), Vol. 7, pp.71-86, Basel, SUICA, 2013

CONIGLIO, Marcelo E.; Modal extensions of sub-classical logics in order to recover classical logic, 06/2012, Logica Universalis (Print), Vol. 1, pp.1-4, Basel, SUICA, 2012

CONIGLIO, Marcelo E.; SERNADAS, Amílcar; Preservation by fibring of the finite model property, 06/2011, Journal of Logic and Computation (Print), Vol. 6, pp.375-402, Oxford, REINO UNIDO, 2011

BÉZIAU, Jean-Yves; CONIGLIO, Marcelo E.; To distribute or not to distribute?, 05/2011, Logic Journal of the IGPL (Print), Vol. 9, pp.566-583, Oxford, INGLATERRA, 2011

CONIGLIO, Marcelo E.; Fibring of hypersequent calculi and preservation of rule-elimination, 05/2010, CLE e-Prints (Online), Vol. 10, pp.7-7, Campinas, SP, BRASIL, 2010

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

CONIGLIO, Marcelo E.; A Graph-theoretic Account of Logics, 06/2009, Journal of Logic and Computation (Print), Vol. 19, pp.1281-1320, Oxford, REINO UNIDO, 2009

CONIGLIO, Marcelo E.; On Graph-theoretic Fibring of Logics, 06/2009, Journal of Logic and Computation (Print), Vol. 19, pp.121-135, Oxford, REINO UNIDO, 2009

FERNÁNDEZ, V. L.; CONIGLIO, Marcelo E.; Fibring in the Leibniz Hierarchy, 09/2007, Logic Journal of the IGPL (Print), Vol. 15, Fac. 5-6, pp.475-501, Oxford, INGLATERRA, 2007

CONIGLIO, Marcelo E.; Some results on ordered structures in toposes, 05/2006, Reports on Mathematical Logic, Vol. 40, pp.181-198, Krakow, POLONIA, 2006

CONIGLIO, Marcelo E.; Combining Valuations With Society Semantics, 01/2003, Journal of Applied Non-Classical Logics, Vol. 13, Fac. 1, pp.21-46, Paris, FRANCA, 2003

CONIGLIO, Marcelo E.; Fibring Logics With Topos Semantics, 01/2003, Journal of Logic and Computation (Print), Vol. 13, Fac. 4, pp.595-694, Oxford, REINO UNIDO, 2003

CONIGLIO, Marcelo E.; Fibring Non-Truth-Functional Logics: Completeness Preservation, 01/2003, Journal of Logic, Language and Information, Vol. 12, Fac. 2, pp.183-211, Dordrecht, HOLANDA, 2003

CONIGLIO, Marcelo E.; Transfers between logics and their applications, 03/2002, Studia Logica, Vol. 72, Fac. 3, pp.367-400, Dordrecht, HOLANDA, 2002

CONIGLIO, Marcelo E.; Modules in the category of sheaves over quantales, 01/2001, Annals of Pure and Applied Logic (Print), Vol. 108, Fac. 1-3, pp.103-136, Amsterdam, HOLANDA, 2001

CONIGLIO, Marcelo E.; Non-Communicative Topology and Quantales, 01/2000, Studia Logica, Vol. 1, pp.223-236, Dordrecht, HOLANDA, 2000

CONIGLIO, Marcelo E.; Equality in Linear Logic, 12/1996, Logique et Analyse, Vol. 153, pp.113-151, Wilsele, BELGICA, 1996

Nacional

FÍGALLO, Martín; CONIGLIO, Marcelo E.; On a four-valued modal logic with deductive implication, 03/2014, University of Lodz. Department of Logic. Bulletin of the Section of Logic, Vol. 43, pp.1-18, Lodz, POLONIA, 2014

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

CONIGLIO, Marcelo E.; The Meta-Fibring environment: Preservation of meta-properties by fibring, 10/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 4, pp.1-36, Campinas, SP, BRASIL, 2005

SBARDELLINI, Luís; CONIGLIO, Marcelo E.; Some Results on Ordered Structures in Toposes, 05/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 5, pp.1-14, Campinas, SP, BRASIL, 2005

CONIGLIO, Marcelo E.; The Meta-Fibring Environment: Preservation of meta-properties by fibring, 04/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 4, pp.1-36, 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

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

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

CONIGLIO, Marcelo E.; SERNADAS, Cristina; A Complete Axiomatization of Higher-Order Intuitionistic Logic, 03/2001, CLE e-Prints (Impresso), Vol. 2, Fac. 6, pp.1-21, Campinas, SP, BRASIL, 2001

CONIGLIO, Marcelo E.; SERNADAS, Amílcar; SERNADAS, Cristina; Topos-Theoretic Semantics of Fibring, 03/2001, CLE e-Prints (Impresso), Vol. 2, Fac. 5, pp.1-31, Campinas, SP, BRASIL, 2001

CONIGLIO, Marcelo E.; Combining Valuations with society semantics, 01/2001, CLE e-Prints (Impresso), Vol. 2, Fac. 5, pp.1-1, Campinas, SP, BRASIL, 2001

CONIGLIO, Marcelo E.; A Categorial Approach to the Combination of Logics, 01/1999, Manuscrito (UNICAMP), Vol. 22, Fac. 2, pp.69-94, Campinas, SP, BRASIL, 1999

topo da página

Trabalhos completos e resumos publicados em anais de congressos

Trabalho Completo - Internacional

CONIGLIO, Marcelo E.; Covering logics via possible-translations, 05/2008, Científico Internacional, CLE 30 / XV EBL / XIV SLALM, Vol. 1, pp.1-18, Paraty, RJ, BRASIL, 2008

CONIGLIO, Marcelo E.; Combining Conjunction with Disjunction, 10/2005, Científico Internacional, The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), Vol. 1, pp.1648-1658, Pune, INDIA, 2005

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

CONIGLIO, Marcelo E.; FERNÁNDEZ, V. L.; Fibring algebraizable consequence systems, 07/2004, Científico Internacional, CombLog'04 - Workshop on Combination of Logics: Theory and Applications, Vol. 1, pp.93-98, Lisboa, PORTUGAL, 2004

CONIGLIO, Marcelo E.; Relevant Information and Relevant Logic, 08/2002, Científico Internacional, 6th "Dr. Antonio A. R. Monteiro" Congress of Mathematics, Vol. 1, pp.119-127, Bahia Blanca, ARGENTINA, 2002

CONIGLIO, Marcelo E.; Non-commutative topology and quantales, 01/1999, Científico Internacional, XII Encontro Brasileiro de Lógica, Vol. 1, pp.27-34, Itatiaia, RJ, BRASIL, 1999

Trabalho Completo - Nacional

CONIGLIO, Marcelo E.; A Model Theoretic Approach to Translations Between Logics, 01/2000, Científico Nacional, 7th Workshop on Logic, Language, Information and Computation, Vol. 1, pp.55-65, São Paulo, SP, BRASIL, 2000

Resumo - Internacional

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; GOLZIO, Ana Cláudia de Jesus; First-order swap structures semantics for QmbC, 01/2019, Científico Internacional, 1 Syntax Meets Semantics 2019 (SYSMICS2019), Vol. 1, pp.62-65, Amsterdã, HOLANDA, 2019. Resumo expandido

CONIGLIO, Marcelo E.; ESTEVA, Francesc; FLAMINIO, Tommaso; LACASA, Lluís Godo; Prime numbers and implication free reducts of MVn -chains, 01/2019, Científico Internacional, 1 Syntax Meets Semantics 2019 (SYSMICS2019), Vol. 1, pp.66-69, Amsterdã, HOLANDA, 2019. Resumo expandido

CONIGLIO, Marcelo E.; ESTEVA, Francesc; GISPERT, JOAN; LACASA, Lluís Godo; Maximality in finite-valued Lukasiewicz logics defined by order filters, 08/2018, Científico Internacional, Logic, Algebra and Truth Degrees (LATD 2018), pp.39-42, Bern, SUICA, 2018. Resumo expandido

CONIGLIO, Marcelo E.; ESTEVA, Francesc; FLAMINIO, Tommaso; LACASA, Lluís Godo; On an implication-free reduct of MV_n chains, 08/2018, Científico Internacional, Logic, Algebra and Truth Degrees (LATD 2018), Vol., pp.43-46, Bern, SUICA, 2018. Resumo expandido

CONIGLIO, Marcelo E.; FÍGALLO, Martín; PEREIRA, Germán Tadeo Gomez; Semantics of triples for the first-order paraconsistent logic QCiore, 06/2017, Científico Internacional, XIV Congreso Dr. Antonio Monteiro - Lógica, Vol. 1, pp.2-2, Bahía Blanca, ARGENTINA, 2017

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; A model-theoretic study of the class of F-structures for mbC, 06/2017, Científico Internacional, XIV Congreso Dr. Antonio Monteiro - Lógica, Vol. 1, pp.3-3, Bahía Blanca, ARGENTINA, 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

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; A model-theoretic study of the category of Fidel structures for mbC, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.99-99, Pirenopolis, GO, BRASIL, 2017

CONIGLIO, Marcelo E.; PEREIRA, Germán Tadeo Gomez; FÍGALLO, Martín; Model theory for LFI1-structures, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.129-129, Pirenopolis, GO, BRASIL, 2017

GOLZIO, Ana Cláudia de Jesus; CONIGLIO, Marcelo E.; About a new algebraization method for some modal systems, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.130-130, Pirenopolis, GO, BRASIL, 2017

CONIGLIO, Marcelo E.; SANABRIA, Leonardo Prieto; Modal logic S4 as a paraconsistent logic with a topological semantics, 12/2015, Científico Internacional, 1st joint meeting Brazil-Spain, Fortaleza, 2015, Vol. ., pp.88-88, Fortaleza, CE, BRASIL, 2015

GOLZIO, Ana Cláudia de Jesus; CONIGLIO, Marcelo E.; Sobre a História das Hiperestruturas, 08/2015, Científico Internacional, 9 IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences, Vol. ., pp.11-12, Floraianópolis, SC, BRASIL, 2015

GOLZIO, Ana Cláudia de Jesus; CONIGLIO, Marcelo E.; On non-deterministic algebras, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. ., pp.374-374, Istanbul, TURQUIA, 2015

OLIVEIRA, Kleidson Ê. Carvalho Silva; CONIGLIO, Marcelo E.; Some Results on 3-valued Paraconsistent Logic Programming, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. ., pp.277-278, Istanbul, TURQUIA, 2015

TESTA, R. R.; CONIGLIO, Marcelo E.; RIBEIRO, Márcio Moretto; Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. ., pp.285-285, Istanbul, TURQUIA, 2015

CONIGLIO, Marcelo E.; PERON, Newton Marques; Dugundji’s Theorem, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. ., pp.26-27, Istanbul, TURQUIA, 2015

CONIGLIO, Marcelo E.; Consistency, Contradiction and Negation: a thorough project, 04/2015, Científico Internacional, Second Workshop CLE-Buenos Aires Logic Group, Vol. ., pp.1-1, Campinas, SP, BRASIL, 2015

CONIGLIO, Marcelo E.; First-Order Paraconsistent Logics, 06/2013, Científico Internacional, 15th Latin American Synposium on Mathematical Logic (XV SLALM), Vol. único, pp.22-22, Bogotá, COLOMBIA, 2013

RODRIGUES, T. G.; CONIGLIO, Marcelo E.; New results on mbC and mCi, 06/2013, Científico Internacional, 4th World Congress and School on Universal Logic, Vol. único, pp.187-187, Rio de Janeiro, RJ, BRASIL, 2013

PERON, N. M.; CONIGLIO, Marcelo E.; Actualizing Dugundji's Theorem, 04/2013, Científico Internacional, 4th World Congress and School on Universal Logic, Vol. único, pp.227-228, Rio de Janeiro, RJ, BRASIL, 2013

FÍGALLO, Martín; CONIGLIO, Marcelo E.; On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5, 04/2013, Científico Internacional, 4th World Congress and School on Universal Logic, Vol. único, pp.104-104, Rio de Janeiro, RJ, BRASIL, 2013

RIBEIRO, M. M.; CONIGLIO, Marcelo E.; Safe Fibring or How to Revise Logic Systems, 04/2013, Científico Internacional, 4th World Congress and School on Universal Logic, Vol. único, pp.240-241, Rio de Janeiro, RJ, BRASIL, 2013

CONIGLIO, Marcelo E.; Uma lógica para a quase-verdade: Axiomática, semântica de estruturas parciais e completude, 08/2011, Científico Internacional, VII Simpósio Internacional Principia, Vol. 1, pp.1-3, Florianópolis, SC, BRASIL, 2011

CONIGLIO, Marcelo E.; SBARDELLINI, L. A.; Intuitionistic Model Theory in Topos, 01/2004, Científico Internacional, XII Simpósio Latinoamericano de Lógica Matemática, Vol. 1, pp.1-1, San José, COSTA RICA, 2004

CONIGLIO, Marcelo E.; Dyadic semantics for many-valued logics, 10/2003, Científico Internacional, III World Congress on Paraconsistency, Vol. 1, pp.24-24, Toulouse, FRANCA, 2003

CONIGLIO, Marcelo E.; Suszko's thesis and dyadic semantics, 10/2003, Científico Internacional, III World Congress on Paraconsistency, Vol. 1, pp.23-23, Toulouse, FRANCA, 2003

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

CONIGLIO, Marcelo E.; Syntactic Filbring of Algebraizable Logics, 05/2003, Científico Internacional, XIII Encontro Brasileiro de Lógica, Vol. 1, pp.61-61, Campinas, SP, BRASIL, 2003

CONIGLIO, Marcelo E.; Belief Revision for Non-Classical Logics, 08/2001, Científico Internacional, Logic Colloquium 2001, Vol. 4, pp.68-68, Vienna, AUSTRIA, 2001

CONIGLIO, Marcelo E.; Representation of C*-algebras by sheaves over quantales, 08/2001, Científico Internacional, Logic Colloquium 2001, Vol. 1, pp.75-75, Vienna, AUSTRIA, 2001

Resumo - Nacional

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

CONIGLIO, Marcelo E.; Tarskian-style semantics for paraconsistent and/or paracomplete 3-valued and 4-valued first-order logics, 10/2014, Científico Nacional, XVI Encontro Nacional da Anpof, Vol. ., pp.1-1, Aracajú, SE, BRASIL, 2014

CONIGLIO, Marcelo E.; 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

CONIGLIO, Marcelo E.; Combinar e Decompor Lógicas: Como e Por que? (Livro de Atas), 10/2006, Científico Nacional, XII Encontro Nacional de Filosofia da ANPOF, Vol. 1, pp.355-356, Salvador, BA, BRASIL, 2006

CONIGLIO, Marcelo E.; Combinações de Sistemas de Conseqüência, 10/2004, Científico Nacional, XI Encontro Nacional de Filosofia da ANPOF, Vol. 1, pp.1-1, Salvador, BA, BRASIL, 2004

CONIGLIO, Marcelo E.; A Hilbert calculus for higher-order intuitionistic logic, 09/2002, Científico Nacional, X Encontro Nacional de Filosofia da ANPOF- Associação Nacional de Pós-Graduação em Filosofia, Vol. 1, pp.234-234, São Paulo, SP, BRASIL, 2002

CONIGLIO, Marcelo E.; Teoria de Modelos e Traduções, 01/2000, Científico Nacional, IX Encontro Nacional de Filosofia, Vol. 1, pp.125-126, Poços de Caldas, SP, BRASIL, 2000

CONIGLIO, Marcelo E.; Uma Restrição Relevantista da Lógica Clássica, 01/2000, Científico Nacional, IX Encontro Nacional de Filosofia, Vol. 1, pp.126-127, Poços de Caldas, SP, BRASIL, 2000

topo da página

Artigos publicados em periódicos especializados não arbitrados e resumos

Periódicos especializados não arbitrados

CONIGLIO, Marcelo E.; Dilemas Deônticos e Escolha: Considerações Pragmáticas, 11/2009, Revista Brasileira de Filosofia, Vol. 232, pp.231-246, Rio de Janeiro, RJ, BRASIL, 2009

CONIGLIO, Marcelo E.; Dilemas Deônticos e Escolha:Considerações Pragmáticas, 04/2009, Revista Brasileira de Filosofia, Vol. 232, pp.1-16, Rio de Janeiro, RJ, BRASIL, 2009

Resumos em periódicos especializados (internacionais)

CONIGLIO, Marcelo E.; 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

CONIGLIO, Marcelo E.; Representation of C*-algebras by sheaves over quantales, 01/2002, The Bulletin of Symbolic Logic, Vol. 8, Fac. 1, pp.130-130, Urbana, IL, ESTADOS UNIDOS DA AMERICA, 2002

CONIGLIO, Marcelo E.; Translations and model theory, 01/2001, The Bulletin of Symbolic Logic, Vol. 7, Fac. 1, pp.104-105, Urbana, IL, ESTADOS UNIDOS DA AMERICA, 2001

CONIGLIO, Marcelo E.; A model theoretic approach to translations between logics, 01/2001, Logic Journal of the IGPL (Print), Vol. 9, Fac. 1, pp.137-137, Oxford, INGLATERRA, 2001

CONIGLIO, Marcelo E.; An extension of categorical semantics, 01/1999, The Bulletin of Symbolic Logic, Vol. 5, Fac. 1, pp.138-139, Urbana, IL, ESTADOS UNIDOS DA AMERICA, 1999

CONIGLIO, Marcelo E.; Objects with extent in categorical logic, 01/1999, The Bulletin of Symbolic Logic, Vol. 5, Fac. 4, pp.522-522, Urbana, IL, ESTADOS UNIDOS DA AMERICA, 1999

topo da página

Artigos e trabalhos completos aceitos para publicação

Em periódicos arbitrados (internacional)

FÍGALLO, Martín; CONIGLIO, Marcelo E.; Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras, Studia Logica, pp.1-15, Dordrecht, HOLANDA

Em periódicos arbitrados (nacional)

CONIGLIO, Marcelo E.; SERNADAS, Cristina; A Hilbert-style axiomatization of higher-order intuitionistic logic, Coleção CLE (UNICAMP), Vol. 39, pp.25-58, Campinas, SP, BRASIL

topo da página

Participações em eventos científicos internacionais

Trabalhos apresentados (oralmente)

CONIGLIO, Marcelo E. (Expositor); 1 Seminario de Lógica algebraica (online) - Grupo de Lógica de Tandil, (22/05/2020 a 11/12/2020), Tandil, ARGENTINA, Oral: Maximalidad y maximalidad fuerte entre lógicas finitamente valoradas de Lukasiewicz con filtros de valores distinguidos

CONIGLIO, Marcelo E. (Expositor); Colloquium Logicae, (01/01/2004 a 31/12/2004), Campinas, SP, BRASIL, Oral: Logics of Formal Inconsistency and a solution to the problem of replacement

CONIGLIO, Marcelo E. (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: A semantics of quasi-truth for the 3- valued first-order paraconsistent logic QCiore

CONIGLIO, Marcelo E. (Expositor); WIP Seminar - Buenos Aires Logic Group, (11/10/2019 a 11/10/2019), Buenos Aires, ARGENTINA, Oral: Model theory based on pragmatic structures for the 3-valued first-order paraconsistent logic QCiore

CONIGLIO, Marcelo E. (Expositor); First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling, (26/06/2018 a 29/06/2018), Dresden, ALEMANHA, Oral: Handling inconsistencies with Logics of Formal Inconsistency

CONIGLIO, Marcelo E. (Expositor); FÍGALLO, Martín (Expositor); PEREIRA, Germán Tadeo Gomez (Expositor); XIV Congreso Dr. Antonio Monteiro - Lógica, (31/05/2017 a 02/06/2017), Bahía Blanca, ARGENTINA, Oral: Semantics of triples for the first-order paraconsistent logic QCiore

CONIGLIO, Marcelo E. (Expositor); FIGALLO-ORELLANO, Aldo (Expositor); XIV Congreso Dr. Antonio Monteiro - Lógica, (31/05/2017 a 02/06/2017), Bahía Blanca, ARGENTINA, Oral: A model-theoretic study of the class of F-structures for mbC

CONIGLIO, Marcelo E. (Expositor); 17th Slam - Latin American Symposium on Mathematical Logic, (26/06/2017 a 30/06/2017), Puebla, MEXICO, Oral: On Three-Valued Paraconsistent Logic Programming

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

CONIGLIO, Marcelo E. (Expositor); FIGALLO-ORELLANO, Aldo (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: A model-theoretic study of the category of Fidel structures for mbC

CONIGLIO, Marcelo E. (Expositor); PERON, Newton Marques (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: Modal lower predicate logic without possible worlds

CONIGLIO, Marcelo E. (Expositor); PEREIRA, Germán Tadeo Gomez (Expositor); FÍGALLO, Martín (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: Model theory for LFI1-structures

GOLZIO, Ana Cláudia de Jesus (Expositora); CONIGLIO, Marcelo E. (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: About a new algebraization method for some modal systems

CONIGLIO, Marcelo E. (Expositor); Logic and Applications:in honor to Francisco Miraglia by the occasion of his 70th birthday, (16/09/2016 a 17/09/2016), São Paulo, SP, BRASIL, Oral: Swap structures: algebraizing logics by means of multialgebras

CONIGLIO, Marcelo E. (Expositor); 3 Workshop CLE – Buenos Aires Logic Group @ IIF-SADAF, (20/04/2016 a 22/04/2016), Buenos Aires, ARGENTINA, Oral: Towards an algebraic theory of non-algebraizable logics: the case of mbC

CONIGLIO, Marcelo E. (Autor); FIGALLO-ORELLANO, Aldo (Autor); GOLZIO, Ana Cláudia de Jesus (Autor); The first Joint Meeting Brazil - Italy in Mathematics, (29/08/2016 a 02/09/2016), Rio de Janeiro, RJ, BRASIL, Oral: Towards Non-deterministic algebraic semantics

CONIGLIO, Marcelo E. (Expositor); SANABRIA, Leonardo Prieto (Expositor); 1st joint meeting Brazil-Spain, Fortaleza, 2015, (07/12/2015 a 10/12/2015), Fortaleza, CE, BRASIL, Oral: Modal logic S4 as a paraconsistent logic with a topological semantics

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

CONIGLIO, Marcelo E. (Expositor); FÍGALLO, Martín (Expositor); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, BRASIL, Oral: On a four-valued LFI born from algebra

CONIGLIO, Marcelo E. (Expositor); ESTEVA, Francesc (Expositor); LACASA, Lluís Godo (Expositor); IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences, (17/08/2015 a 20/08/2015), Florianópolis, SC, BRASIL, Oral: Paraconsistent and explosive intermediate logics between the truth and degree preserving infinite-valued Lukasiewicz logic

GOLZIO, Ana Cláudia de Jesus (Expositora); CONIGLIO, Marcelo E. (Expositor); 9 IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences, (17/08/2015 a 20/08/2015), Floraianópolis, SC, BRASIL, Oral: Sobre a História das Hiperestruturas

GOLZIO, Ana Cláudia de Jesus (Expositora); CONIGLIO, Marcelo E. (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA, Oral: On non-deterministic algebras

OLIVEIRA, Kleidson Ê. Carvalho Silva (Expositor); CONIGLIO, Marcelo E. (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA, Oral: Some Results on 3-valued Paraconsistent Logic Programming

TESTA, R. R. (Expositor); CONIGLIO, Marcelo E. (Expositor); RIBEIRO, Márcio Moretto (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA, Oral: Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision

CONIGLIO, Marcelo E. (Expositor); PERON, Newton Marques (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA, Oral: Dugundji’s Theorem

CONIGLIO, Marcelo E. (Expositor); Second Workshop CLE-Buenos Aires Logic Group, (31/03/2015 a 03/04/2015), Campinas, SP, BRASIL, Oral: Consistency, Contradiction and Negation: a thorough project

CONIGLIO, Marcelo E. (Expositor); Workshop - New Trends in Multi-valued Modal Logics, (16/12/2014 a 18/12/2014), Buenos Aires, ARGENTINA, Oral: A four-valued modal logic with deductive implication

CONIGLIO, Marcelo E. (Expositor); 16th Latin American Symposium on Mathematical Logic (XVI SLALM), (28/07/2014 a 01/08/2014), Buenos Aires, ARGENTINA, Oral: F-structures and matrix semantics for Logics of Formal Inconsistency

CONIGLIO, Marcelo E. (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: Paraconsistency and undeterminedness in information Systems

CONIGLIO, Marcelo E. (Expositora); First Workshop CLE - Buenos Aires Logic Group, (04/08/2014 a 05/08/2014), Buenos Aires, ARGENTINA, Oral: On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency

CONIGLIO, Marcelo E. (Expositor); Seminari de Lògiques no Clàssiques, (02/07/2014 a 02/07/2014), Barcelona, ESPANHA, Oral: F-structures and swap structures for Logics of Formal Inconsistency

RODRIGUES, T. G. (Expositor); CONIGLIO, Marcelo E. (Expositora); 4th World Congress and School on Universal Logic, (29/03/2013 a 07/04/2013), Rio de Janeiro, RJ, BRASIL, Oral: New results on mbC and mCi

PERON, N. M. (Expositor); CONIGLIO, Marcelo E. (Expositor); 4th World Congress and School on Universal Logic, (29/03/2013 a 07/04/2013), Rio de Janeiro, RJ, BRASIL, Oral: Actualizing Dugundji's Theorem

RIBEIRO, M. M. (Expositor); CONIGLIO, Marcelo E. (Expositor); 4th World Congress and School on Universal Logic, (29/03/2013 a 07/04/2013), Rio de Janeiro, RJ, BRASIL, Oral: Safe Fibring or How to Revise Logic Systems

CONIGLIO, Marcelo E. (Expositor); Seminari de Lógiques no Clàssiques, (24/01/2013 a 24/01/2013), Barcelona, ESPANHA, Oral: On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5

CONIGLIO, Marcelo E. (Expositor); Seminars of IIIA - CSIC, (29/01/2013 a 29/01/2013), Barcelona, ESPANHA, Oral: Paraconsistent Logics or How to Tolerate Contradictions

CONIGLIO, Marcelo E. (Expositor); 15th Latin American Synposium on Mathematical Logic (XV SLALM), (04/06/2012 a 08/06/2012), Bogotá, COLOMBIA, Oral: Paraconsistent First-Order Logic

CONIGLIO, Marcelo E. (Expositor); VII Simpósio Internacional Principia, (15/08/2011 a 18/08/2011), Florianópolis, SC, BRASIL, Oral: Uma lógica para a quase-verdade: Axiomática, semântica de estruturas parciais e completude

CONIGLIO, Marcelo E. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Some Central Problems in the Combination of Logics

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

CONIGLIO, Marcelo E. (Expositor); PERON, N. M. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Logics of Deontic Inconsistency

CONIGLIO, Marcelo E. (Expositor); SILVESTRINI, Luis Henrique (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Quasi-Truth Theories and Paraconsistent Databases

CONIGLIO, Marcelo E. (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, BRASIL, Oral: Covering logics via possible-translations

CONIGLIO, Marcelo E. (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, BRASIL, Oral: Solving nbormative conflicts using preference relations

CONIGLIO, Marcelo E. (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, BRASIL, Oral: Lógicas da inconsistência deôntica e paradoxos

CONIGLIO, Marcelo E. (Docente); The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), (20/12/2005 a 22/12/2005), Pune, INDIA, Oral: Plain fibring and direct union of logics with matrix semantics

CONIGLIO, Marcelo E. (Docente); The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), (20/12/2005 a 22/12/2005), Pune, INDIA, Oral: Combining Conjunction with Disjunction

CONIGLIO, Marcelo E. (Docente); The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), (20/12/2005 a 22/12/2005), Pune, INDIA, Oral: Plain fibring of Matrix Semantic

CONIGLIO, Marcelo E. (Docente); The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), (20/12/2005 a 22/12/2005), Pune, INDIA, Oral: Splitting logics: factoring logics into simpler components

CONIGLIO, Marcelo E. (Docente); The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), (20/12/2005 a 22/12/2005), Pune, INDIA, Oral: Meta-translations and fibring

CONIGLIO, Marcelo E. (Autor); CombLog'04 - Workshop on Combination of Logics: Theory and Applications, (28/07/2004 a 30/07/2004), Lisboa, PORTUGAL, Oral: Fibring algebraizable consequence systems

CONIGLIO, Marcelo E. (Coordenador); IX Encuentro de la Escuela Regional de Matematicas, (15/09/2003 a ), Neiva, COLOMBIA, Oral: Topologia no conmuttiva y cuantales

CONIGLIO, Marcelo E. (Coordenador); Seminário de Teoria da Computação, (26/07/2002 a ), Lisboa, PORTUGAL, Oral: Combining valuations with society semantics

CONIGLIO, Marcelo E. (Coordenador); Meeting on Theory and Applications of Quantales, (16/07/2002 a ), Lisboa, PORTUGAL, Oral: Representing C*-algebras in topoi of sheaves over quantales

CONIGLIO, Marcelo E. (Coordenador); Seminário de Lógica Matemática, (01/02/2002 a ), Padova, ITALIA, Oral: What does a translation beween logics translate?

CONIGLIO, Marcelo E. (Coordenador); Research Seminars, (04/02/2000 a ), Karlsruhe, ALEMANHA, Oral: The Category of Abstract Logics

CONIGLIO, Marcelo E. (Coordenador); Seminário de Lógica Matemática, (28/01/2000 a ), Lisboa, PORTUGAL, Oral: Transfers between logics and its applications

CONIGLIO, Marcelo E. (Coordenador); Seminário de Teoria da Computação, (20/07/2001 a 20/07/2001), Lisboa, PORTUGAL, Oral: Topos semantics of fibring

CONIGLIO, Marcelo E. (Coordenador); Seminário de Teoria da Computação, (20/07/2001 a 20/07/2001), Lisboa, PORTUGAL, Oral: Categorias de Logicas

CONIGLIO, Marcelo E. (Coordenador); Logic Colloquium 2001, (09/08/2001 a 09/08/2001), Vienna, AUSTRIA, Oral: Representation of C*-algebras by Sheaves over Quantales

CONIGLIO, Marcelo E. (Coordenador); Logic Colloquium 2001, (09/08/2001 a 09/08/2001), Vienna, AUSTRIA, Oral: Belief Revision for Non-Classical Logics

CONIGLIO, Marcelo E. (Coordenador); Seminário de Teoria da Computação, (20/07/2001 a 20/07/2001), Lisboa, PORTUGAL, Oral: Representation of C*-algebras by symetric sheaves over quantales

CONIGLIO, Marcelo E. (Coordenador); II Word Congress on Paraconsistency, (08/05/2000 a 12/05/2000), Juquehy, SP, BRASIL, Oral: Fibring (para) consistent Logics

CONIGLIO, Marcelo E. (Coordenador); Logic Colloquium 2000, (01/01/2000 a ), Paris, FRANCA, Oral: Translations and Model Theory

CONIGLIO, Marcelo E. (Coordenador); Seminário de Teoria da Computação, (21/01/2000 a ), Lisboa, PORTUGAL, Oral: Um Enfoque Modelo-Teórico das Traduções entre Lógicas

CONIGLIO, Marcelo E. (Coordenador); Seminário de Lógica Matemática, (28/01/2000 a ), Lisboa, PORTUGAL, Oral: Categorial Semantics

CONIGLIO, Marcelo E. (Coordenador); Seminário de Teoria da Computação, (21/01/2000 a ), Lisboa, PORTUGAL, Oral: Splicing and splitting logics: a categorial approach

CONIGLIO, Marcelo E. (Coordenador); XII Encontro Brasileiro de Lógica, (25/05/1999 a 28/05/1999), Itatiaia, RJ, BRASIL, Oral: Non-Commutative Topology and Quantales

Trabalhos apresentados de outras formas

CONIGLIO, Marcelo E. (Expositor); 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), (19/07/2005 a 22/07/2005), Florianópolis, SC, BRASIL, Título: Plain fibring of Matrix Semantics

Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)

CONIGLIO, Marcelo E.; (Coordenador de Sessão Técnica) , GT Lógica onde serão apresentados 14 trabalhos, 9 IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences, (17/08/2015 a 20/08/2015), Floraianópolis, SC, BRASIL

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

Participação como ouvinte

CONIGLIO, Marcelo E.; (Ouvinte) 16th Latin American Symposium on Mathematical Logic (XVI SLALM), (28/07/2014 a 01/08/2014), Buenos Aires, ARGENTINA

Participação como membro de comissão

CONIGLIO, Marcelo E.; (Membro de Comissão) , Program Committee, 29th International Joint Conference on Artificial Intelligence (IJCAI-20), (11/07/2020 a 17/07/2020), Yokohama, JAPAO

CONIGLIO, Marcelo E.; (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

CONIGLIO, Marcelo E.; (Membro de Comissão) , Comitê Científico, Workshop Big Data in Life Sciences & Health - Brazil and The Netherlands, (25/11/2019 a 25/11/2019), São Paulo, SP, BRASIL

CONIGLIO, Marcelo E.; (Membro de Comissão) , Comitê Científico, School of Complex Systems and Big Data: Ethical Implications for Self-Organized Cognition, (16/09/2019 a 18/09/2019), Campinas, SP, BRASIL

CONIGLIO, Marcelo E.; (Membro de Comissão) , Program Committee, 28th International Joint Conference on Artificial Intelligence {IJCAI19}, (10/08/2019 a 16/08/2019), Macao, CHINA

CONIGLIO, Marcelo E.; (Membro de Comissão) , Program Committee, 27th International Joint Conference on Artificial Intelligence (IJCAI-18), (13/07/2018 a 19/07/2018), Estocolmo, SUECIA

CONIGLIO, Marcelo E.; (Membro de Comissão) , Program Committee, 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), (27/09/2017 a 29/09/2017), Brasília, DF, BRASIL

CONIGLIO, Marcelo E.; (Membro de Comissão) , Comitê de Programa, 12 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), (23/09/2017 a 24/09/2017), Brasília, DF, BRASIL

CONIGLIO, Marcelo E.; (Membro de Comissão) , Program Committee, 26th International Joint Conference on Artificial Intelligence (IJCAI-17), (19/08/2017 a 25/08/2017), Melbourne, AUSTRALIA

CONIGLIO, Marcelo E.; (Membro de Comissão) , Chair e membro do Comitê Científico, XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL

CONIGLIO, Marcelo E.; (Membro de Comissão) , Chair e membro do Comitê Científico, 18 Encontro Brasileiro de Lógica/Escola de Lógica (EBL), (08/05/2017 a 12/05/2017), Pirenópolis, GO, BRASIL

CONIGLIO, Marcelo E.; (Membro de Comissão) , Comissão Organizadora, junto com Vinicius Cifú Lopes (UFABC) e Hugo Luiz Mariano (IME-USP), Logic and Applications:in honor to Francisco Miraglia by the occasion of his 70th birthday, (16/09/2016 a 17/09/2016), São Paulo, SP, BRASIL

topo da página

Participações em eventos científicos nacionais

Trabalhos apresentados (oralmente)

CONIGLIO, Marcelo E. (Expositor); Seminário Permanente Lógica no Avião, (24/10/2019 a 24/10/2019), Brasília, DF, BRASIL, Oral: Teoria de modelos baseada em estruturas pragmáticas para lógicas paraconsistentes 3-valoradas de primeira ordem: o caso de QCiore

CONIGLIO, Marcelo E. (Expositor); Seminários Permanente Lógica no Avião, (22/10/2019 a 22/10/2019), Campinas, SP, BRASIL, Oral: Maximalidade e maximalidade forte entre lógicas finitamente valoradas de Lukasiewicz com filtros de valores distinguidos

CONIGLIO, Marcelo E. (Autor e Expositor); FIGALLO-ORELLANO, Aldo (Autor); GOLZIO, Ana Cláudia de Jesus (Autora); 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL, Oral: Multialgebraic first-order structures for some logics of formal inconsistency

CONIGLIO, Marcelo E. (Autor e Expositor); FIGALLO-ORELLANO, Aldo (Autor); HERNÁNDEZ, Alejandro (Autor); 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL, Oral: Some developments on the logic G'3

TOLEDO, Guilherme Vicentin de (Autor e Expositor); CONIGLIO, Marcelo E. (Autor); 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL, Oral: Semânticas não-determinísticas para lógicas não-clássicas: uma abordagem da perspectiva de Teoria de Modelos e de Álgebra Universal

CONIGLIO, Marcelo E. (Expositor); 6 VI Encontro da Pós-Graduação em Matemática da UFBA, (26/11/2018 a 30/11/2018), Salvador, BA, BRASIL, Oral: Recentes desenvolvimentos em Lógicas de Lukasiewicz finitamente valoradas

CONIGLIO, Marcelo E. (Autor e Expositor); ESTEVA, Francesc (Autor); XVIII Encontro Nacional da Anpof, (22/10/2018 a 26/10/2018), Vitória, ES, BRASIL, Oral: Finite-valued Lukasiewicz logics vith a filter of designated elements, and the question of relative maximality and strong maximality

GOLZIO, Ana Cláudia de Jesus (Expositora); CONIGLIO, Marcelo E. (Expositor); XVIII Encontro Nacional da Anpof, (22/10/2018 a 26/10/2018), Vitória, ES, BRASIL, Oral: Swap structures semantics for first-order paraconsistent logics

CONIGLIO, Marcelo E. (Expositor); XVII Encontro Nacional da Anpof, (17/10/2016 a 21/10/2016), Aracaju, SE, BRASIL, Oral: Uma nova taxonomia das Lógicas da Inconsistência Formal

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

CONIGLIO, Marcelo E. (Expositor); XVI Encontro Nacional da Anpof, (27/10/2014 a 31/10/2014), Aracajú, SE, BRASIL, Oral: Tarskian-style semantics for paraconsistent and/or paracomplete 3-valued and 4-valued first-order logics

CONIGLIO, Marcelo E. (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

CONIGLIO, Marcelo E. (Conferencista); XIII Encontro Nacional de Filosofia da ANPOF, (06/10/2008 a 10/10/2008), Canela, RS, BRASIL, Oral: Metalógica de argumentações baseada na noção de peso argumentativo

CONIGLIO, Marcelo E. (Expositor); XII Encontro Nacional de Filosofia da ANPOF, (23/10/2006 a 27/10/2006), Salvador, BA, BRASIL, Oral: Combinar e Decompor Lógicas: Como e Por que?

CONIGLIO, Marcelo E. (Expositor); XIV Encontro Brasileiro de Lógica (EBL), (24/04/2006 a 28/04/2006), Itatiaia, RJ, BRASIL, Oral: Polynomial Formulations of Non-Deterministic Semantics for Logics of Formal Inconsistency

CONIGLIO, Marcelo E. (Autor); XI Encontro Nacional de Filosofia da ANPOF, (18/10/2004 a 22/10/2004), Salvador, BA, BRASIL, Oral: Combinações de Sistemas de Conseqüência

CONIGLIO, Marcelo E. (Coordenador); SERNADAS, Cristina (Docente); X Encontro Nacional de Filosofia da ANPOF, (29/09/2002 a 03/10/2002), São Paulo, SP, BRASIL, Oral: A Hilbert calculus for higher-order Intuitionistic Logic

CONIGLIO, Marcelo E. (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

CONIGLIO, Marcelo E. (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

CONIGLIO, Marcelo E. (Coordenador); IX Encontro Nacional de Filosofia, (06/10/2000 a 06/10/2000), Poços de Caldas, SP, BRASIL, Oral: Uma Restrição Relevantista da Lógica Clássica

Trabalhos apresentados de outras formas

CONIGLIO, Marcelo E. (Expositor); XIV Encontro Brasileiro de Lógica (EBL), (24/04/2006 a 28/04/2006), Itatiaia, RJ, BRASIL, Título: An Introductory Study about the Many-valued Hierarchy InPk

Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)

CONIGLIO, Marcelo E.; (Coordenador de Sessão Técnica) , GT Lógica, XVIII Encontro Nacional da Anpof, (22/10/2018 a 26/10/2018), Vitória, ES, BRASIL

CONIGLIO, Marcelo E.; (Coordenador de Sessão Técnica) , GT Lógica, XVII Encontro Nacional da Anpof, (17/10/2016 a 21/10/2016), Aracaju, SE, BRASIL

CONIGLIO, Marcelo E.; (Outra) , Reunião Lógica, em 30/10/2014 das 8h50min às 9h45min, sala 6 Centro de Convenções. Coordenador do Grupo de Trabalho "Lógica", XVI Encontro Nacional da Anpof, (27/10/2014 a 31/10/2014), Aracajú, SE, BRASIL

CONIGLIO, Marcelo E.; (Outra) , Moderador da Sessão: GT Lógica., XIII Encontro Nacional de Filosofia da ANPOF, (06/10/2008 a 10/10/2008), Canela, RS, BRASIL

Participação como membro de comissão

CONIGLIO, Marcelo E.; (Membro de Comissão) , Comitê Científico, XII Encontro Brasileiro Internacional de Ciência Cognitiva - EBICC, (19/09/2019 a 21/09/2019), Campinas, SP, BRASIL

CONIGLIO, Marcelo E.; (Membro de Comissão) , Scientific Committee, 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, 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. (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

Outras

Resumos e Trabalhos de Eventos em Geral

CONIGLIO, Marcelo E.; Translations and Model Theory, 01/2000, Científico Internacional, Logic Colloquium 2000, Vol. 1, pp.88-88, Paris, FRANCA, 2000

Outras Publicações

CONIGLIO, Marcelo E.; ESTEVA, Francesc; FLAMINIO, Tommaso; LACASA, Lluís Godo; On the expressive power of Lukasiewicz's square operator, 03/2021, Preprint eletrônico, Cornell University Library, pp. 31, pp.1-31, Cornell, ESTADOS UNIDOS DA AMERICA, 2021

CONIGLIO, Marcelo E.; DEL CERRO, Luis Fariñas; PERON, Newton Marques; Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case, 01/2021, Preprint eletrônico, Cornell University Library, pp. 32, pp.1-32, Cornell, ESTADOS UNIDOS DA AMERICA, 2021

CONIGLIO, Marcelo E.; TOLEDO, Guilherme Vicentin de; Absolutely Free Hyperalgebras, 01/2021, Preprint eletrônico, Cornell University Library, pp. 16, pp.1-16, Cornell, ESTADOS UNIDOS DA AMERICA, 2021

CONIGLIO, Marcelo E.; TOLEDO, Guilherme Vicentin de; A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics, 11/2020, Preprint eletrônico, Cornell University Library, pp. 28, pp.1-28, Cornell, ESTADOS UNIDOS DA AMERICA, 2020

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

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; GOLZIO, Ana Cláudia de Jesus; First-order swap structures semantics for some Logics of Formal Inconsistency, 12/2019, Preprint eletrônico, Cornell University Library, pp. 33, pp.1-33, Cornell, ESTADOS UNIDOS DA AMERICA, 2019

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

CONIGLIO, Marcelo E.; DEL CERRO, L. F.; PERON, Newton Marques; Modal Logic With Non-deterministic Semantics: Part I - Propositional Case, 10/2018, Preprint eletrônico, Cornell University Library, pp. 32, pp.1-32, Cornell, ESTADOS UNIDOS DA AMERICA, 2018

CONIGLIO, Marcelo E.; GÓMEZ, Tadeo Germán; FÍGALLO, Martín; Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore, 10/2018, Preprint eletrônico, Cornell University Library, pp. 35, pp.1-35, Cornell, ESTADOS UNIDOS DA AMERICA, 2018

CONIGLIO, Marcelo E.; ESTEVA, Francesc; GISPERT, JOAN; LACASA, Lluís Godo; Maximality in finite-valued Lukasiewicz logics defined by order filters, 04/2018, Preprint eletrônico, Cornell University Library, pp. 34, pp.1-34, Cornell, ESTADOS UNIDOS DA AMERICA, 2018

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; GOLZIO, Ana Cláudia de Jesus; Non-deterministic algebraization of logics by swap structures, 01/2017, Preprint eletrônico, Cornell University Library, pp. 45, pp.1-45, Cornell, ESTADOS UNIDOS DA AMERICA, 2017

ESTEVA, Francesc; LACASA, Lluís Godo; CONIGLIO, Marcelo E.; Logics of formal inconsistency arising from systems of fuzzy logic, 03/2014, Preprint eletrônico, Cornell University Library, pp. 32, pp.1-32, Cornell, ESTADOS UNIDOS DA AMERICA, 2014

CONIGLIO, Marcelo E.; ESTEVA, Francesc; LACASA, Lluís Godo; Logics of formal inconsistency arising from systems of fuzzy logic, 01/2013, Preprint eletrônico, Cornell University Library, pp. 31, pp.1-31, Cornell, ESTADOS UNIDOS DA AMERICA, 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

topo da página

Desenvolvimento ou geração de trabalhos técnicos

Outros - Sem ítens Registrados

CONIGLIO, Marcelo E. (Coordenador); Atividades de Pesquisa e Extensão na Faculty of Computer Science of Technische Universitat Dresden (Alemanha) no "First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling", no período de 26 a 29 de junho de 2018, Visitas a Instituições de Pesquisa, 06/2018

CONIGLIO, Marcelo E. (Pesquisador); Atividades de Pesquisa na IRIT-Université Paul Sabatier (Toulouse, França) junto ao Professor Luis Fariñas del Cerro, no período de 10 a 26 de março de 2018, Visitas a Instituições de Pesquisa, 03/2018

CONIGLIO, Marcelo E. (Coordenador); Atividades de Pesquisa e orientação no Departamento de Matemática da Universidad Nacional del Sur (UNS), Bahia Blanca, Argentina, junto ao Professor Martín Figallo e o orientando Tadeo Germán Gómez, Visitas a Instituições de Pesquisa, 06/2017

CONIGLIO, Marcelo E. (Coordenador); Atividades de Pesquisa no Institut D'Investigació en Intel-ligència Artificial (IIIA) do Consejo Superior de Investigaciones Científicas (CSIC) de Barcelona, Espanha, junto aos Profs. Lluis Godo e Francesc Esteva, Visitas a Instituições de Pesquisa, 06/2016

CONIGLIO, Marcelo E. (Parecerista); Parecer sobre o Relatório Periódico de Atividades Docentes do Prof. Dr. Walter Alexandre Carnielli, no período de fevereiro/2009 a dezembro/2013., Parecer, 03/2014

CONIGLIO, Marcelo E. (Membro Comitê Científico); Trabalho Técnico: Membro do Comitê Científico do 17th Workshop on Logic, Language, Information and Computation (WoLLIC'2010), Membro do Comitê Científico do 17th Workshop on Logic, Language, Information and Computation (WoLLIC'2010), 07/2010

topo da página

Livros

Publicados

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

CONIGLIO, Marcelo E.; Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems, 08/2008, Texto Integral, ed. 1, Springer, pp. 604, pp.1-604, 2008

CONIGLIO, Marcelo E.; Paraconsistency: the logical way to the inconsistent, 01/2002, Texto Integral, ed. 1, 1, Marcel Dekker, Vol. 1, pp. 540, pp.1-540, 2002

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

Capítulos de livros publicados

CONIGLIO, Marcelo E.; On Categorial Combination of Logics, 11/2020, "Abstract Consequence and Logics", Capítulo, ed. 1, Tributes, College Publications, Vol. 42, pp. 37, pp.135-171, 2020

CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; A model-theoretic analysis of Fidel-structures for mbC, 01/2020, "Graham Priest on Dialetheism and Paraconsistency", Capítulo, ed. 1, Outstanding Contributions to Logic, Springer, Vol. 18, pp. 28, pp.189-216, 2020

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

CONIGLIO, Marcelo E.; SANABRIA, Leonardo Prieto; Modal logic S4 as a paraconsistent logic with a topological semantics, 06/2017, "Logic and Computation: Essays in Honour of Amilcar Sernadas", Capítulo, ed. 1, College Publications, Vol. 1, pp. 26, pp.171-196, 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.; 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

GOLZIO, Ana Cláudia de Jesus; CONIGLIO, Marcelo E.; Non-deterministic algebras and algebraization of logics, 08/2015, "Filosofia da linguagem e da lógica", Capítulo, ed. 1, ANPOF, Vol. 1, pp. 20, pp.327-346, 2015

CONIGLIO, Marcelo E.; SBARDELLINI, Luís; On the ordered Dedekind real numbers in toposes, 06/2015, "Why is this a Proof? Festschrift for Luiz Carlos Pereira", Capítulo, ed. 1, College Publications, Vol. 1, pp. 19, pp.87-105, 2015

CONIGLIO, Marcelo E.; FÍGALLO, Martín; A Formal Framework for Hypersequent Calculi and Their Fibring, 05/2015, "Studies in Universal Logic", Capítulo, ed. 1, Springer International Publishing, Vol. 1, pp. 21, pp.73-93, 2015

CONIGLIO, Marcelo E.; RODRIGUES, Tarcísio Genaro; Some investigations on mbC and mCi, 10/2014, "Tópicos de lógicas não clássicas", Capítulo, ed. 1, NEL/UFSC, Vol. 1, pp. 60, pp.11-70, 2014

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

RIBEIRO, M. M.; CONIGLIO, Marcelo E.; Contracting Logics, 10/2012, "Logic, Language, Information and Computation", Capítulo, ed. 1, Springer, Vol. 1, pp. 14, pp.268-281, 2012

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.; Possible-translations algebraizability, 07/2006, "Paraconsistent Logic Without Frontiers", Capítulo, ed. 1, Elsevier Science, Vol. 4, pp. 22, pp.33-54, 2006

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

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.; Logics of Formal Inconsistency, 10/2005, "Handbook of Philosophical Logic", Capítulo, ed. 1, *, Vol. 14, pp. 5, pp.43-47, 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

CONIGLIO, Marcelo E.; Possible-translations algebraizability, 10/2005, "Paraconsistent Logic Without Frontiers", Capítulo, ed. 1, *, Vol. 4, pp. 10, pp.63-72, 2005

CONIGLIO, Marcelo E.; Splitting Logics, 10/2005, "We Will Show Them! Essays in Honour of Dov Gabbay", Capítulo, ed. 1, *, Vol. 1, pp. 26, pp.389-414, 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

CONIGLIO, Marcelo E.; A Hilbert-style axiomatization of higher-order intuitionistic logic, 06/2004, "Lógica: Teoria, Aplicações e Reflexões", Capítulo, ed. 1, Centro de Lógica, Epistemologia e História da Ciência (CLE), Vol. 39, pp. 34, pp.25-58, 2004

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

Edição ou Organização de livros

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

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

topo da página

Relatórios Técnicos

CONIGLIO, Marcelo E. (Autor do relatório); Relatório de Atividades do Afastamento Sabático (Período: 01/08/2013 a 31/12/2013), Relatório de Pesquisa, 02/2014, idioma: PORTUGUES, 2 página(s)

CONIGLIO, Marcelo E. (Docente); Lógicas não-clássicas: Semânticas e Combinações (Tese de Livre Docência), Relatório de Pesquisa, 11/2004, idioma: PORTUGUES, 43 página(s)

CONIGLIO, Marcelo E. (Coordenador); Relatório final de pesquisa - pós-doutorado no exterior, Relatório de Pesquisa, 12/2002, idioma: PORTUGUES, 12 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
	Auditórios Ufpb	05/2019	Semânticas Não Determinísticas [Tutorial de 3hs ministrado em inglês e português no 19th Brazilian Logic Conference - Logic School, João Pessoa, PB, em 09 e 10 de maio de 2019]	Seminário
	Auditório	10/2008	GT Lógica	Mesa-Redonda

Internacionais

Sigla da instituição	Local	Data	Título da palestra	Natureza da participação
	IRIT	03/2018	Maximality and strong maximality in the lattice of finite-valued Lukasiewicz logics	Seminário
	Buap	06/2017	Non-deterministic semantics for non-classical logics [Tutorial de 2hs ministrado em inglês no dia 27 de junho de 2017, no 17th Latin American Symposium on Mathematical Logic, Puebla, México]	Seminário
	Uns	06/2017	Lógicas de la Inconsistencia Formal: Sistemas básicos y semánticas no-determinísticas [Curso de curta duração (4hs) ministrado em espanhol no XIV Congreso Dr. Antonio Monteiro, de 31 de maio a 01 de junio de 2017 na Universidad Nacional del Sur (Argentina)	Seminário
	Pousada dos Pireneus Resort	05/2017	An Epistemic Approach to Paraconsistency [Curso de curta duração (3hs) ministrado de 8 a 9 de maio de 2017 no XVIII Encontro Brasileiro de Lógica / Escola de Lógica, Pirenópolis, GO]	Seminário
	Universidade de Buenos Aires	04/2016	Lógicas Paraconsistentes: Consistencia, Contradicción y Negación [Curso intensivo de pós-graduação (36hs) ministrado em espanhol de 11 a 19 de abril de 2016 na Universidade de Buenos Aires (Argentina), financiado pelo programa Escala Docente AUGM]	Seminário
	UFC	12/2015	Paraconsistent fuzzy logics: the case of logics between truth and degree preserving Lukasiewicz Logic	Palestra
	UFRJ	04/2013	New Results on mbC and mCi	Palestra
	IMECC	07/2005	Splitting logics: factoring logics into simpler components	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

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

CONIGLIO, Marcelo E.; A Logic for Sheaves Over (Right-Sided and Idempotent) Quantales, 01/1999, "Pratica: Proofs, Types and Categories", Capítulo, ed. 1, Pontifícia Universidade Católica de Rio de Janeiro, pp. 1, pp.1-1, 1999

topo da página

Elaboração de material de apoio didático

Textos de Apoio

CONIGLIO, Marcelo E. (Autor); Brief Account of LFIs [104 págs], Desenv. de Mat. de Apoio Didático e Instrument, 08/2020

CONIGLIO, Marcelo E. (Autor); LFIs: Basic Systems and Non-deterministic Semantics [94 págs], Desenv. de Mat. de Apoio Didático e Instrument, 04/2016

CONIGLIO, Marcelo E. (Coordenador); Um curso de teoria de modelos, Desenv. de Mat. de Apoio Didático e Instrument, 01/2002

topo da página

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
6 Congreso Latinoamericano de Matemáticos (CLAM)	Universidad de la República	20/07/2020 a 24/07/2020
XVIII Encontro Nacional da Anpof	Auditórios e Salas da Ufes	22/10/2018 a 26/10/2018
4 Fourth workshop CLE-Buenos Aires Logic Group	Edifício Weekend	13/04/2018 a 16/04/2018
Rubens Lintz: Matemática e Música, um concerto a quatro mãos	Casa do Lago	06/09/2017 a 06/09/2017
18 Encontro Brasileiro de Lógica/Escola de Lógica (EBL)	Pousada dos Pireneus Resort	08/05/2017 a 12/05/2017
XVII Encontro Nacional da Anpof	Ufs	17/10/2016 a 21/10/2016
Logic and Applications:in honor to Francisco Miraglia by the occasion of his 70th birthday	Auditório Jacy Monteiro	16/09/2016 a 17/09/2016
3 Workshop CLE – Buenos Aires Logic Group @ IIF-SADAF	SADAF	20/04/2016 a 22/04/2016
1st joint meeting Brazil-Spain, Fortaleza, 2015	UFC	07/12/2015 a 10/12/2015
1st joint meeting Brazil-Spain, Fortaleza, 2015	UFC	07/12/2015 a 10/12/2015
NAT@Logic 2015	Dimap - Ufrn	31/08/2015 a 04/09/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
XXIII Concurso de Teses e Dissertações da Sociedade Brasileira de Computação	Belo Horizonte	20/07/2010 a 23/07/2010
17th Workshop on Logic. Language, Information and Computation (WoLLIC-2010)	Brasília	06/06/2010 a 09/06/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
Semantical completeness, categoricity and logical consequence: an unpublished lecture by Tarski (1940)" Prof. Paolo Mancosu Department of Philosophy - University of California, Berkeley	CLE	13/11/2008 a 13/11/2008
Colloquium Logicae	Auditório	01/03/2006 a 20/12/2006	PROEX Processo: #0091049/2005	330,00
XIV Encontro Brasileiro de Lógica (EBL)	Auditório	24/04/2006 a 28/04/2006
Semantics and Meaning	Auditório do IMECC	25/07/2005 a 28/07/2005
CombLog'04 - Workshop on Combination of Logics: Theory and Applications	Instituto Superior Técnico	28/07/2004 a 30/07/2004
CLE/SBL 25 ANOS - XIII ENCONTRO BRASILEIRO DE LÓGICA	Unicamp	26/05/2003 a 30/05/2003
CLE/SBL 25 ANOS - XIII ENCONTRO BRASILEIRO DE LÓGICA	Unicamp	26/05/2003 a 30/05/2003

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
Membro de Comitê Assessor / (ASSESSORIA) Membro do Comitê de Programa do FroCoS 2017 (11th International Symposium on Frontiers of Combining Systems). Finalidade: Avaliação de trabalhos científicos.	UNICAMP - Universidade Estadual de Campinas - PECIM (CLE)	Início: 01/01/2017. Situação: Em andamento.
Membro de Comitê Assessor / (ASSESSORIA) Membro do Comitê de Programa do IJCAI-17 (International Joint Conference on Artificial Intelligence). Finalidade: Avaliação de trabalhos científicos.	UNICAMP - Universidade Estadual de Campinas - IFCH	Início: 01/01/2017. Situação: Em andamento.
Membro de Comitê Assessor / (ASSESSORIA) Coordenador do Comitê Científico da XVIII Brazilian Logic Conference (EBL 2017). Finalidade: Avaliação de trabalhos científicos.	UNICAMP - Unicamp - Universidade Estadual de Campinas	Início: 01/05/2017. Situação: concluído. Data de conclusão: 31/05/2017
Membro de Comitê Assessor / (ASSESSORIA) Membro do Comitê de Programa do 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017). Finalidade: Avaliação de trabalhos científicos.	UNICAMP - Universidade Estadual de Campinas - PECIM (CLE)	Início: 01/01/2017. Situação: Em andamento.
Assessor Ad Hoc / Avaliador de Projetos do CNPq	CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico	Início: 01/03/2006. Situação: Em andamento.
Membro de Comitê Assessor / (ASSESSORIA) Membro do Comitê de Programa do IJCAI-18 (International Joint Conference on Artificial Intelligence). Finalidade: Avaliação de trabalhos científicos.	IJCAI - International Joint Conferences on Artificial Intelligence	Início: 01/01/2018. Situação: Em andamento.
Membro de Comitê Assessor / (ASSESSORIA) Membro do Comitê de Programa do IJCAI-19 (International Joint Conference on Artificial Intelligence). Finalidade: Avaliação de trabalhos científicos.	IJCAI - International Joint Conferences on Artificial Intelligence	Início: 01/01/2019. Situação: Em andamento.
Membro de Comitê Assessor / (ASSESSORIA) Membro do Comitê de Programa do IJCAI-20 (International Joint Conference on Artificial Intelligence). Finalidade: Avaliação de trabalhos científicos.	IJCAI - International Joint Conferences on Artificial Intelligence	Início: 01/01/2020. Situação: Em andamento.
Assessor Ad Hoc / (ASSESSORIA) Avaliador Externo - European Science Foundation (ESF) / Research Foundation Flanders’ (FWO) Post-doctoral projects - Evaluation - Avaliação de projetos de Pós-Doutorado	ESF - European Science Foundation (Avaliação de projetos de Pós-Doutorado)	Início: 01/01/2021. Situação: concluído. Data de conclusão: 28/02/2021
Assessor Ad Hoc / (ASSESSORIA) Membro Avaliador Externo do FONCyT (Fondo para la Investigación Científica y Tecnológica), Argentina. Finalidade: Avaliação de projetos científicos.	FONCyT - Fondo para la Investigación Científica y Tecnológica (Avaliação de projetos científicos)	Início: 01/09/2020. Situação: concluído. Data de conclusão: 31/10/2020
Assessor Ad Hoc / (ASSESSORIA) Avaliador Externo do CONICET (Consejo Nacional de Investigaciones Científicas y Tecnológicas), Argentina. Finalidade: Avaliação de projetos científicos.	CONICET - Consejo Nacional de Investigaciones Científicas y Técnicas - CONICET (Avaliação de projetos científicos)	Início: 01/07/2020. Situação: concluído. Data de conclusão: 31/08/2020
Assessor Ad Hoc / (ASSESSORIA) Avaliador Externo da Austrian Science Fund (FWF), Austria. Finalidade: Avaliação de projetos científicos.	FWF - Austrian Science Fund (Avaliação de projetos científicos)	Início: 01/09/2020. Situação: concluído. Data de conclusão: 31/10/2020
Assessor Ad Hoc / (ASSESSORIA) Avaliador Externo do CONICET (Consejo Nacional de Investigaciones Científicas y Tecnológicas), Argentina. Finalidade: Avaliação de projetos científicos.	CONICET - Consejo Nacional de Investigaciones Científicas y Técnicas - CONICET (Avaliação de projetos científicos)	Início: 01/03/2021. Situação: concluído. Data de conclusão: 30/04/2021
Assessor Ad Hoc / (ASSESSORIA) Membro Avaliador Externo do FONCyT (Fondo para la Investigación Científica y Tecnológica), Argentina. Finalidade: Avaliação de projetos científicos.	FONCyT - Fondo para la Investigación Científica y Tecnológica	Início: 01/10/2017. Situação: concluído. Data de conclusão: 30/11/2017
Assessor Ad Hoc / (ASSESSORIA) Membro do Comitê Científico do evento Creativity 2019 - 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday. Finalidade: Avaliação de trabalhos científicos.	IFCS-UFRJ - Instituto de Filosofia e Ciências Sociais da UFRJ	Início: 01/01/2019. Situação: concluído. Data de conclusão: 30/11/2019
Assessor Ad Hoc / FAPESP	FAPESP - Fundação de Amparo à Pesquisa do Estado de São Paulo	Início: 01/01/1999. 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	Semânticas Não Determinísticas (Tutorials). Atividade realizada em inglês e português no 19th Brazilian Logic Conference - Logic School, em 09 e 10 de maio de 2019	extensão	Sociedade Brasileira de Lógica
			Universidade Federal da Paraíba - Campus Campina Grande
			Universidade Federal da Paraíba
Docência	Lógicas de la Inconsistencia Formal: Sistemas básicos y semánticas no-determinísticas. Ministrado em espanhol no XIV Congreso Dr. Antonio Monteiro, de 31 de maio a 01 de junio de 2017 na Universidad Nacional del Sur (Bahia Blanca, Argentina)	extensão	Universidad Nacional del Sur
Docência	Tutorial: Non-deterministic semantics for non-classical logics, ministrado em inglês no dia 27 de junho de 2017, no 17th Latin American Symposium on Mathematical Logic	extensão	Benemérita Universidad Autónoma de Puebla
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	Minicurso Lógicas Paraconsistentes: Consistencia, Contradicción y Negación. Realizado de 11 a 19 de abril na Universidade de Buenos Aires (Argentina)	extensão	Universidad de Buenos Aires
Docência	Mini-curso: Alguns paradoxos modais (X Colóquio Conesul de Filosofia das Ciências Formais )	extensão	Universidade Federal de Santa Maria
Docência	Combinação de Lógicas	extensão
Docência	Seminário de Epistemologia	Aperfeiçoamento	Centro de Lógica, Epistemologia e História da Ciência
Docência	Lógica y teoria de categorias	Aperfeiçoamento	Universidad Surcolombiana

Atividades como editor ou membro de conselho/corpo editorial de periódicos

Tipo de Atividade/descrição	Editora	Periódico	Período
Editor de Revista / Editor-Chefe da revista South American Journal of Logic	Independente	South American Journal of Logic	Início: 01/01/2015. Situação: Em andamento.
Membro do Corpo Editorial de Periódicos / Editor Executivo da revista "CLE e-Prints"	Centro de Lógica, Epistemologia e História da Ciência - Unicamp	CLE e-Prints (Online)	Início: 01/01/2002. Situação: Em andamento.

Atividades eventuais de editoria

Título	Tipo de atividade/descrição	Editora	Periódico	Data
An event on Brazilian Logic (Editores)	Edição ou Organização / null	Journal of the IGPL		12/2004

Arbitragem de artigos

Periódico	Editora/Entidade	Ano
Análisis Filosófico	Sociedad Argentina de Análisis Filosófico (SADAF)	2016 a 2016
Análisis Filosófico	Sociedad Argentina de Análisis Filosófico (SADAF)	2020 a 2020
Logic Journal of the IGPL (Print)	Oxford University Press (OUP)	2016 a 2016
Logic Journal of the IGPL (Print)	Oxford University Press (OUP)	2017 a 2017
Logic Journal of the IGPL (Print)	Oxford University Press (OUP)	2018 a 2018
Synthese: an international journal for epistemology, methodology and philosophy of science	Springer	2016 a 2016
Studia Logica	Springer	2017 a 2017
Soft Computing (Berlin. Print)	Springer	2018 a 2018
Journal of Logic and Computation (Print)	Oxford University Press	2020 a 2020
The Review of Symbolic Logic	Cambridge University Press	2017 a 2017

Outros Serviços

Tipo de atividade	Entidade	Período
Parecer / Avaliação de trabalhos científicos para o IJCAI-20 (International Joint Conference on Artificial Intelligence)	International Joint Conferences on Artificial Intelligence	07/2020
Parecer / Comissão para analisar o Memorial apresentado pelo candidato Silvio Seno Chibeni para se inscrever no Concurso Público de Prova e Títulos p/ o provimento do cargo de Professor Titular, nível MS-6, no Depto. de Filosofia/IFCH Proc. 7405/2019	Instituto de Filosofia e Ciências Humanas da Unicamp	08/2019
Parecer / Avaliação de trabalhos científicos para o IJCAI-19 (International Joint Conference on Artificial Intelligence)	International Joint Conferences on Artificial Intelligence	06/2019
Parecer / Avaliação de trabalhos científicos para o EBL 2019 (19th Brazilian Logic Conference)	Universidade Federal de Campina Grande	01/2019
Parecer / Avaliação de trabalhos científicos para o IJCAI-18 (International Joint Conference on Artificial Intelligence)	International Joint Conferences on Artificial Intelligence	06/2018
Parecer / Avaliação de trabalhos científicos para o LSFA 2017 (12th Workshop on Logical and Semantic Frameworks with Applications)	Universidade de Brasilia	06/2017
Parecer / Avaliação de trabalhos científicos para o IJCAI-17 (International Joint Conference on Artificial Intelligence)	International Joint Conferences on Artificial Intelligence	05/2017
Parecer / Avaliação de trabalhos científicos para o FroCoS 2017 (11th International Symposium on Frontiers of Combining Systems)	Universidade de Brasilia	05/2017
Parecer / Avaliação de trabalhos científicos para o EBL 2017 (XVIII Encontro Brasileiro de Lógica / Escola de Lógica)	UFG - Universidade Federal de Goias	02/2017
Parecer / Resultado do concurso para obtenção do título de livre docente na área de filosofia da linguagem, do qual se submeteu o professor Marco Antonio Caron Rufino, nos dias 16 e 17 de novembro de 2015	Instituto de Filosofia e Ciências Humanas da Unicamp	11/2015
Outro / Visita para trabalhar na elaboração de um livro e de um artigo sobre Fibring of Deductive Systems	Instituto Superior Técnico	07/2006

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
Teófilo de Souza Reis	01/03/2005	28/02/2006	Feixes sobre álgebras de Heyting e aplicações à teoria de conjuntos fuzzy	PIBIC/CNPq
Newton Marques Peron	01/03/2005	28/02/2006	Lógicas da Inconsistência Formal e Lógicas Modais: uma Abordagem para o Estudo de Paradoxos Modais	FAPESP

Mestrado / Doutorado

Orientando	Ingresso	Data de Defesa	Tipo	Título do Projeto
Alan Renê Maciel Antezana	15/03/2021		Doutorado
Renato Reis Leme	17/11/2022		Doutorado
Mahan Vaz Silva	02/03/2023		Doutorado
Ulisses Franceschi Eliano	02/03/2023		Mestrado
Vinicius da Silva Sorgi	02/03/2023		Mestrado
Ívore Campos de Mira	18/04/2023		Mestrado
Guilherme Vicentin de Toledo	01/03/2018	29/04/2022	Doutorado	Multiálgebras e Semânticas Não-Determinísticas aplicadas a Lógicas Paraconsistentes
Bruno Costa Coscarelli	04/01/2016	30/11/2020	Doutorado	Teoria de Modelos num Ambiente Paraconsistente
Hendrick Cordeiro Maia e Silva	01/03/2015	07/06/2019	Doutorado	"Noções de Localidade de Lógicas baseadas em Categorias Modelo de Quillen sobre Estruturas Finitas".
María Inés Corbalán	01/03/2013	27/02/2018	Doutorado	Da linguística gerativa à gramática categorial: Sujeitos lexicais em infinitivos controlados
Ana Claudia de Jesus Golzio	01/03/2012	30/03/2017	Doutorado	"Matrizes não-determinísticas: teoria e aplicações à semântica algébrica"
Kleidson Êglicio Carvalho Silva Oliveira	01/03/2012	30/03/2017	Doutorado	"Programação lógica paraconsistente em lógicas três e quatro valoradas".
Rafael Rodrigues Testa	01/05/2014	16/06/2014	Doutorado	"Revisão de Crenças Paraconsistente baseada em um operador formal de consistência" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000935185 ]
Newton Marques Peron	02/03/2009	20/02/2014	Doutorado	"(In)Completude Modal por (N)Matrizes Finitas" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000932590 ]
María Inés Corbalán	01/03/2010	04/05/2012	Mestrado	"Conectivos de Restauração Local" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000863780 ]
Luiz Henrique da Cruz Silvestrini	03/03/2008	25/03/2011	Doutorado	"Uma Nova Abordagem para a Noção de Quase-Verdade" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000788964 ]
Tarcisio Genaro Rodrigues	01/03/2008	29/09/2010	Mestrado	"Sobre os Fundamentos da Programação Lógica Paraconsistente" [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000779563 ]
Rodrigo de Alvarenga Freire	01/03/2004	26/02/2009	Doutorado	Os Fundamentos do Pensamento Matemático no Século XX e a Relevância Fundacional da Teoria de Modelos [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000439559 ]
Newton Marques Peron	01/03/2007	26/02/2009	Mestrado	LÓGICAS DA INCONSISTÊNCIA DEÔNTICA [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000441399 ]
Rafael Rodrigues Testa	01/03/2006	27/08/2008	Mestrado	Dilemas Deônticos: Uma Abordagem Baseada em Relações de Preferência. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000433996 ]
Teófilo de Souza Carmo Reis	01/03/2006	23/07/2008	Mestrado	Conectivos flexíveis: uma abordagem categorial às semânticas de traduções possíveis. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=000432670 ]
Alberto Leopoldo Batista Neto	01/03/2005	26/04/2007	Mestrado	Representação e combinação de lógicas: questões conceituais. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000430208 ]
Wagner de Campos Sanz	10/09/2003	28/07/2006	Doutorado	Uma investigação acerca das regras para a negação e o absurdo em dedução natural. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000388210 ]
Víctor Leandro Fernández	01/03/2001	30/06/2005	Doutorado	Fibrilação de lógicas na Hierarquia de Leibniz. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000365017 ]
Juliana Bueno	10/09/2003	31/08/2004	Mestrado	"Semântica algébrica de traduções possíveis". [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000337884 ]
Víctor Leandro Fernández	04/05/1999	21/06/2001	Mestrado	Semântica de Sociedades para Lógicas N-Valentes. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000225850 ]
Luís Augusto Sbardellini	04/05/1999	08/05/2001	Mestrado	Semântica Categorial Generalizada. [Link - Tese Digital (BC): http://www.bibliotecadigital.unicamp.br/document/?code=vtls000235763 ]

Pós-Doutorado

Orientando	Ingresso	Data de Término	Título do Projeto	Agência
Ekaterina Kubyshkina	01/01/2015	31/03/2021	Análise epistemológica e lógica da noção de ignorância	FAPESP
Aldo Figallo Orellano	01/04/2017	31/03/2021	Semânticas não-determinísticas para as lógicas da inconsistência formal	FAPESP
Marcio Moretto Ribeiro	01/08/2011	28/02/2013	Novas perspectivas em revisão de crenças	FAPESP
Rafael Rodrigues Testa	01/01/2015	31/12/2018	Avanços e novas perspectivas em revisão de crenças paraconsistente	FAPESP
Ana Cláudia de Jesus Golzio	01/03/2018	28/02/2019	Um estudo formal da semântica de multiálgebras para lógicas não-clássicas	CNPq

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
Dante Cardoso Pinto de Almeida	01/08/2014 a 31/12/2014

Orientação no Programa Apoio ao Ensino de Graduação (PAD)

Orientando	Período
Aline Cristina Pêgas	01/08/2012 a 31/12/2012

Monografias e Trabalhos de final de curso

Orientando	Situação	Título do projeto
Rafael Testa	C/ 01/03/2006	Lógica Deôntica para o estudo de Sistemas Normativos

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
Michel Silva Paiva	Outras	06/01/2020 a 31/01/2020
Eduarda Carolyne Torres Paixão	Outras	06/01/2020 a 31/01/2020
Luis Felipe Riaño	Outras	04/09/2020
Ana Cláudia de Jesus Golzio	Outras	01/12/2017 a 25/06/2019
Rafael Rodrigues Testa	Outras	01/09/2015

topo da página

Projetos Vinculados ao Ensino

Com financiamento

Título do projeto	Agência	Situação
O arquivo pessoal de um geneticista: resgate da memória de Newton Freire-Maia [Projeto no Programa Ciência & Arte nas Férias 2020]	( 1 ) Fundo de Apoio ao Ensino, Pesquisa e Extensão da UNICAMP - Auxílio Pesquisa - Compra de material didático e de arquivos	Concluído
Lógicas Paraconsistentes: Consistencia, Contradicción y Negación (Programa Escala Docente AUGM 2015/2016)	( 1 ) Universidade Estadual de Campinas - Auxilio part. Reunião - Passagem aérea São Paulo/Buenos Aires/São Paulo ( 2 ) Universidad de Buenos Aires - Auxilio part. Reunião - Diárias	Concluído

topo da página

Projetos de Pesquisa

Com financiamento

Título do projeto	Agência/Tipo financiamento/Complemento/Valor/Processo	Situação
METODOS DE TEORIA DA PROVA PARA LFIS E OUTRAS LOGICAS NAO-CLASSICAS: DECIDIBILIDADE E APLICACOES (Auxílio à Pesquisa - Pesquisador Visitante - Internacional. Pesquisador visitante: Martin Figallo)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio prof visitante / AUXILIO-VISITANTE-EXTERIOR / R$105940,00 - Processo: 2022/03862-2	Em Andamento
OPERADORES DE ATUALIDADE RESULTANTES DE COMBINACOES DE LOGICAS MODAIS QUANTIFICADAS (Orientada: Alan Renê Maciel Antezana)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-I / R$231199,92 - Processo: 2021/01458-7 aluno:Alan Renê Maciel Antezana orientador:Marcelo Esteban Coniglio	Em Andamento
Investigações em Lógicas Não-Clássicas, Parte III: Novos horizontes da Paraconsistência (Produtividade em pesquisa)	Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Nível 1D (Incluso valor mensal adicional bancada R$ 1000,00) / R$100800,00 -	Em Andamento
ANALISE EPISTEMOLOGICA E LOGICA DA NOCAO DE IGNORANCIA (Supervisionada: Ekaterina Kubyshkina)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$291153,94 - Processo: 2018/25501-6	Concluído
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
As Transformações da Filosofia (CAPES/PRINT)	Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Auxílio Pesquisa / CAPES PRINT / R$10000,00 -	Concluído
Um estudo formal da semântica de multiálgebras para lógicas não-clássicas	Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa Pos doutorado no país PD / R$54000,00 - Processo: 150064/2018-7	Concluído
MV-álgebras, lógicas de Lukasiewicz e lógicas fuzzy [Supervisão de estágio de pesquisa de professor visitante no CLE dos Profs. Lluis Godo e Tommaso Flaminio, do IIIA/CSIC de Barcelona]	Marie Sklodowska-Curie RISE - Auxílio Pesquisa / Passagem aérea e estadia / US$7400,00 -	Concluído
REVISAO DE CRENCAS PARACONSISTENTE: MODELOS CONSTRUTIVOS E NOVAS OPERACOES (Estágio de Pesquisa no Exterior na Universidade de Madeira, Portugal. Supervisor no Exterior: Eduardo Leopoldo Ferme Vinculado ao Processo 14/22119-2 Bolsa de Pós-Doutorado no Pais. Supervisionado: Rafael Rodrigues Testa)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no exterior PD / BOLSA NO EXTERIOR - ESTAGIO PESQUISA PD / R$255498,76 - Processo: 2017/10836-0	Concluído
XVIII ENCONTRO BRASILEIRO DE LOGICA E ESCOLA DE LOGICA (Organização de Reunião Cientifica)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$34969,22 - Processo: 2017/02121-0	Concluído
MODELOS NAO-DETERMIN1STICOS PARA TEORIA PARACONSISTENTE DE CONJUNTOS (Supervisionado: Aldo Figallo Orellano)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$303097,12 - Processo: 2016/21928-0	Concluído
PRONOMES LEXICAIS ANAFORICOS EM TYPE LOGICAL GRAMMAR (Orientada: María Inés Corbalán)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO EXTERIOR - ESTAGIO PESQUISA DR / R$95873,74 - Processo: 2015/09699-2 aluno:María Inés Corbalán orientador:Marcelo Esteban Coniglio	Concluído
Investigações em Lógicas Não-Clássicas, Parte II: Paraconsistência, Vaguidade e Não-determinismo (Produtividade em Pesquisa)	Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Nível 1D (Incluso valor mensal adicional bancada R$ 1000,00) / R$105600,00 -	Concluído
AVANCOS E NOVAS PERSPECTIVAS EM REVISAAO DE CRENCAS PARACONSISTENTE (Vinculado ao Processo 17/10836-0 - Estágio de Pesquisa no Exterior na Universidade de Madeira, Portugal. Supervisionado: Rafael Rodrigues Testa)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$270920,47 - Processo: 2014/22119-2	Concluído
MATRIZES NAO-DETERMINISTICAS: TEORIA E APLICACOES A SEMANTICA ALGEBRICA. (Orientada: Ana Cláudia de Jesus Golzio)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-II / R$167628,36 - Processo: 2013/04568-1 aluno:Ana Claudia de Jesus Golzio orientador:Marcelo Esteban Coniglio	Concluído
BASES PARA PROGRAMACAO LOGICA PARACONSISTENTE EM LOGICAS MULTIVALORADAS (Orientado: Kleidson Êglicio Carvalho Silva Oliveira)	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-II / R$170554,73 - Processo: 2013/04555-7 aluno:Kleidson Êglicio Carvalho Silva Oliveira orientador:Marcelo Esteban Coniglio	Concluído
DEFICIT DE RECURSOS NO CALCULO RESOURCE-CONSCIOUS DE LAMBEK	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-II / R$184524,06 - Processo: 2013/08115-1 aluno:María Inés Corbalán orientador:Marcelo Esteban Coniglio	Concluído
PHILOSOPHY AND MATHEMATICS OF UNCERTAINTY AND VAGUENESS	Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$26600,01 - Processo: 2012/09866-8	Concluído
Investigações em Lógicas Não-Clássicas: Semântica e Combinações	Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Nível 1D (Incluso valor mensal adicional bancada R$ 1000,00) / R$79200,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
UM ESTUDO DA LOGICA MODAL PARACONSISTENTE AVANCADA	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-II / R$72386,77 - Processo: 2009/10239-5 aluno:Newton Marques Peron orientador:Marcelo Esteban Coniglio	Concluído
PROGRAMACAO LOGICA PARACONSISTENTE BASEADA EM LOGICAS DA INCONSISTENCIA FORMAL	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-II / R$24182,42 - Processo: 2008/07760-2 aluno:Tarcisio Genaro Rodrigues orientador:Marcelo Esteban Coniglio	Concluído
CONECTIVOS FLEXIVEIS: UMA ABORDAGEM CATEGORIAL AS SEMANTICAS DE TRADUCOES POSSIVEIS E A NOCAO DE FORMA LOGICA.	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-II / R$30813,75 - Processo: 2006/53405-4 aluno:Teófilo de Souza Carmo Reis orientador:Marcelo Esteban Coniglio	Concluído
COMBINACOES ENTRE LOGICAS: QUESTOES CONCEITUAIS.	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-II / R$25152,94 - Processo: 2005/53278-0 aluno:Alberto Leopoldo Batista Neto orientador:Marcelo Esteban Coniglio	Concluído
LOGICAS DA INCONSISTENCIA FORMAL E LOGICAS MODAIS: UMA ABORDAGEM PARA O ESTUDO DE PARADOXOS MODAIS.	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$4356,00 - Processo: 2005/54292-6 aluno:Newton Marques Peron orientador:Marcelo Esteban Coniglio	Concluído
FIBRING ALGEBRAIZABLE CONSEQUENCE SYSTEMS.	Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio part. Reunião / AUXILIO-REUNIAO-EXTERIOR / R$2400,00 - Processo: 2004/05797-5	Concluído
COMBINACAO CATEGORIAL DE SISTEMAS LOGICOS.	Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no exterior PD / BOLSA NO EXTERIOR PD / R$54021,31 - Processo: 2001/01045-0	Concluído

Sem financiamento

Título do projeto	Situação
Lógicas paracompletas genuinas II [Supervisão de estágio de pesquisa de professor visitante no CLE dos Profs. Verónica Borja-Macías e Alejandro Hernández-Tello, da UTM/México]	Concluído
Lógicas paracompletas genuinas I [Supervisão de estágio de pesquisa de professor visitante no CLE dos Profs. Verónica Borja-Macías e Alejandro Hernández-Tello, da UTM/México]	Concluído
Logicas paraconsistentes e paracompletas [Supervisão de estágio de pesquisa no CLE dos doutorandos Alejandro Hernández-Tello e Miguel Perez-Gaspar, da BUAP/México]	Concluído
Teoria de modelos de lógicas paraconsistentes finito valoradas [Supervisão de estágio de pesquisa no CLE do doutorando Germán Tadeo Gomez Pereira, da UNS/Argentina]	Concluído
Logica y Teoria de categorias [Supervisão de estágio de pesquisa no CLE do doutorando Exequiel Matias Rivas Gada, da UNR/Argentina]	Concluído
Logical Consequence, Reasoning and Computation - LogCons	Concluído
Semânticas formais, Raciocínio Qualitativo e Teoria do Conhecimento	Concluído
Lógica e teoria das categorias	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	Logical consequence and combinations of logics - fundaments and efficient applications
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

topo da página

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
18 Encontro Brasileiro de Lógica/Escola de Lógica (EBL) (Organização)	Pousada dos Pireneus Resort	08/05/2017 a 12/05/2017
Workshop on hinking an Rationatilty (Organização)	UFRJ	05/04/2013 a 05/04/2013
II World Congress on Paraconsistency (Organização)	Juquehy-São Sebastião	08/05/2000 a 12/05/2000
7th Workshop on Logic, Language, Information and Computation (Organização)	WoLLIC'2000	01/01/2000 a

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
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
Denise M. Maldonado Cunha	Instituto de Filosofia e Ciências Humanas da Unicamp	Exame de qualificação	Titular
Leonardo Prieto Sanabria	Instituto de Filosofia e Ciências Humanas da Unicamp	Exame de qualificação	Titular
	Instituto de Matemática e Estatística - USP	Professor Assistente	Titular
João Marcos de Almeida	Instituto de Filosofia e Ciências Humanas da Unicamp	Exame de qualificação	Titular
Maria Claudia Cabrini Gracio	Instituto de Filosofia e Ciências Humanas da Unicamp	Exame de qualificação	Titular
Andreas Michael Brunner	Universidade de São Paulo	Doutorado fora da Unicamp	Titular
Luiz Augusto Sbardellini	Instituto de Filosofia e Ciências Humanas da Unicamp	Exame de qualificação	Titular
Victor Leandro Fernández	Instituto de Filosofia e Ciências Humanas da Unicamp	Exame de qualificação	Titular
Cassiano Terra Rodrigues	Instituto de Filosofia e Ciências Humanas da Unicamp	Exame de qualificação	Titular
Maria de Paz Nunes de Medeiros	Pontifícia Universidade Católica do Rio de Janeiro	Doutorado fora da Unicamp	Titular
	Instituto de Matemática e Estatística - USP	Outras bancas de avaliação	Titular
Leonardo Prieto Sanabria	Instituto de Matemática e Estatística - USP	Doutorado fora da Unicamp	Titular
Vinicius Cifú Lopes	Universidade de São Paulo	Mestrado fora da Unicamp	Titular
Rafael Rodrigues Testa	Universidade Estadual de Campinas	Trabalho de Conclusão na Graduação	Presidente
Newton Marques Peron	Universidade Estadual de Campinas	Trabalho de Conclusão na Graduação	Titular
Luiz Henrique da Cruz Silvestrini	Universidade Estadual de Campinas	Exame de qualificação de Área (DOUTORADO)	Titular
Mateus Ricardo Fernandes Ferreira	Universidade Estadual de Campinas	Exame de qualificação de Área (DOUTORADO)	Titular
Eudes Naziazeno Galvão	Universidade Federal de Pernambuco	Doutorado fora da Unicamp	Titular
Alberto Marcelino Efigênio Levi	Universidade de São Paulo	Doutorado fora da Unicamp	Titular
Rodrigo Figueiredo	IME-USP e COMPHAUS Robótica Computação e Interface	Mestrado fora da Unicamp	Presidente
Inscrito: Lucas Angioni	Universidade Estadual de Campinas	Concurso de Livre Docência	Presidente
Rodrigo de Alvarenga Freire	Universidade de São Paulo	Doutorado fora da Unicamp	Presidente
Wellington Damasceno de Almeida	Universidade Estadual de Campinas	Exame de qualificação Geral (DOUTORADO)	Titular
Felipe Weinmann	Universidade Estadual de Campinas	Exame de qualificação Geral (MESTRADO)	Titular
Cand.Inscrito: Marco Antonio C. Ruffino	Universidade Estadual de Campinas	Concurso de Livre Docência	Titular
Gustavo Andrés Pelaitay	Universidad Nacional del Sur	Doutorado fora da Unicamp	Presidente
Felipe Sobreira Abrahão	Universidade Federal do Estado do Rio de Janeiro	Doutorado fora da Unicamp	Titular
Ângela Pereira Rodrigues Moreira	Universidade Estadual de Campinas	Exame de qualificação Geral (DOUTORADO)	Titular
	Universidade Federal da Bahia	Outras bancas de avaliação	Presidente
Gabriela Steren	Universidad de Buenos Aires	Doutorado fora da Unicamp	Presidente
Gustavo Miranda da Silva	Universidade de São Paulo	Doutorado fora da Unicamp	Presidente
Darllan Conceição Pinto	Universidade de São Paulo	Exame de qualificação Geral (DOUTORADO)	Presidente
Kleidson Êglicio Carvalho da Silva Olive	Universidade Estadual de Campinas	Exame de qualificação Geral (DOUTORADO)	Presidente
Ana Cláudia de Jesus Golzio	Universidade Estadual de Campinas	Exame de qualificação Geral (DOUTORADO)	Presidente
Darllán Conceição Pinto	Universidade de São Paulo	Doutorado fora da Unicamp	Presidente
Inés Beatriz Pascual	Universidad Nacional del Sur	Doutorado fora da Unicamp	Presidente
Abilio Azambuja Rodrigues Filho	Universidade Federal de Minas Gerais	Concurso de Livre Docência	Presidente
María A. Jimenez	Universidad Nacional del Sur	Doutorado fora da Unicamp	Presidente
Rafael Russo Setin	Universidade de São Paulo	Mestrado fora da Unicamp	Presidente
	Universidad de Buenos Aires	Concurso para provimento de Cargo de Professor Doutor	Presidente
Fabrício Vasconcelos Gomes	Universidade de São Paulo	Doutorado fora da Unicamp	Presidente
Jonas Renan Moreira Gomes	Universidade de São Paulo	Mestrado fora da Unicamp	Titular
Jean Cerqueira Berni	Universidade de São Paulo	Doutorado fora da Unicamp	Titular
Inscrito: Silvio Seno Chibeni	Universidade Estadual de Campinas	Concurso para provimento de Cargo de Professor Titular	Titular
Arthur Francisco Schwerz Cahali	Universidade de São Paulo	Mestrado fora da Unicamp	Titular
Lázaro Divino Assunção	Universidade de São Paulo	Mestrado fora da Unicamp	Titular
Bruno Costa Coscarelli	Universidade Estadual de Campinas	Doutor	Titular
Alfredo Roque de Oliveira Freire Filho	Universidade Estadual de Campinas	Doutor	Titular
Hendrick Cordeiro Maia e Silva	Universidade Estadual de Campinas	Doutor	Titular
Jandson Santos Ribeiro Santos	Universidade de São Paulo	Doutor	Titular
Vincenzo Ciccarelli	Universidade Estadual de Campinas	Doutor	Titular
María Inés Corbalán	Universidade Estadual de Campinas	Doutor	Titular
Bruno Ramos Mendonça	Universidade Estadual de Campinas	Doutor	Titular
Ana Claudia de Jesus Golzio	Universidade Estadual de Campinas	Doutor	Titular
Kleidson Ê. Carvalho da Silva Oliveira	Universidade Estadual de Campinas	Doutor	Titular
Andreas Michael Brunner	Universidade Federal da Bahia	Concurso para provimento de Cargo de Professor Titular	Titular
	Universidad de Buenos Aires,	Concurso para provimento de Cargo de Professor Doutor	Titular
Rodrigo Bacellar Costa e Silva	Departamento de Filosofia - USP	Concurso de Livre Docência	Titular
Rogério Augusto dos Santos Fajardo	IME/USP	Concurso de Livre Docência	Titular
45 candidatos(as) inscritos(as) p/ 2023	Universidade Estadual de Campinas	Seleção de Mestrado	Titular
45 candidatos(as) inscritos(as) p/ 2023	Universidade Estadual de Campinas	Seleção de Doutorado	Titular
Pietro Kreitlon Carolino	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Mateus Ricardo Fernandes Ferreira	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Juliana Bueno	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Newton Marques Peron	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Newton Marques Peron	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Rafael Rodrigues Testa	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Tarcisio Genaro Rodrigues	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Tomas Andres Barrero Guzman	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Juan Carlos Agudelo Agudelo	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Juan Carlos Agudelo Agudelo	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Rodrigo de Alvarenga Freire	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Samir Bezerra Gorsky	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Alberto Leopoldo Batista Neto	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Rodrigo Podiacki Barreto de Menezes	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Luiz Henrique da Cruz Silvestrini	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Gustavo Henrique Tasca	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Tiago da Silva Fonseca	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
María Inés Corbalán	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
María Inés Corbalán	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Carolina Blasio da Silva	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Bruno Costa Coscarelli	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Henrique Antunes Almeida	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Ana Claudia de Jesus Golzio		DOUTORADO NA UNICAMP	Presidente
Angela Pereira Rodrigues Moreira	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Kleidson Êglicio Carvalho Silva Oliveira		DOUTORADO NA UNICAMP	Presidente
Guilherme Vicentin de Toledo	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Alfredo Roque de Oliveira Freire Filho	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Bruno Ramos Mendonça	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Tamires Dal Magro	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
João Vitor Schmidt	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Edson Vinicius Bezerra	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Edson Vinicius Bezerra	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Vincenzo Ciccarelli	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Membro
Hendrick Cordeiro Maia e Silva	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Igor de Camargo e Souza Câmara	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Thainá Soares Silva	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Vinícius Franco Vasconcelos	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Wagner de Campos Sanz	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Denise Maria Maldonado da Cunha	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Luís Augusto Sbardellini	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Luís Augusto Sbardellini	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Víctor Leandro Fernández	Universidade Estadual de Campinas	DOUTORADO NA UNICAMP	Presidente
Teófilo de Souza Carmo Reis	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Presidente
Gesiel Borges da Silva	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Pedro Henrique Carrasqueira Zanei	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Rogerio José de Ribamar da Silva Junior	Universidade Estadual de Campinas	MESTRADO NA UNICAMP	Membro
Mariana Teodoro Fernandes	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
CLE-UNICAMP (Diretor)	Início: 01/09/2015. Situação: Em andamento.
Coordenador da Seção de Publicações do CLE [Coordenador de Área] (Assessoria Administrativa)	Início: 01/09/2004. Situação: concluído. Data de conclusão: 30/09/2009
Membro do Conselho Científico do CLE (Membro de Conselho)	Início: 01/11/2005. Situação: Em andamento.
Membro Titular da Representação dos Centros e Núcleos Interdisciplinares de Pequisa na CAI/CONSU (Comissão de Atividades Interdisciplinares do Conselho Universitário) (Membro de Comissão/Comitê Permanente)	Início: 01/06/2017. Situação: concluído. Data de conclusão: 31/07/2019
Membro do CLE-UNICAMP (Outra)	Início: 01/12/2002. Situação: Em andamento.
Sub-comissão de pós-graduação do Departamento de Filosofia (Membro de Comissão/Comitê Permanente)	Início: 01/08/1998. Situação: concluído. Data de conclusão: 30/11/2004
Comissão Central de Pesquisa - Representante do IFCH na CCP (Titular) (Membro de Comissão/Comitê Permanente)	Início: 01/06/2008. Situação: concluído. Data de conclusão: 31/05/2016
CLE-UNICAMP (Diretor Associado)	Início: 01/10/2009. Situação: concluído. Data de conclusão: 30/09/2015

No âmbito da Universidade

Descrição (natureza)	Período
Representante da Biblioteca do CLE no Sistema de Biblioteca da Unicamp (Membro de Colegiado Superior/Congregação)	Início: 01/01/2002. Situação: concluído. Data de conclusão: 31/08/2004

Fora da Universidade (Governo Federal, Estadual e Municipal, Fundações, etc.)

Descriçao (natureza)	Entidade/Instituição	Período
Presidente da Sociedade Brasileira de Lógica (Assessoria Administrativa)	SOCBRALO - Sociedade Brasileira de Lógica	Início: 01/04/2014. Situação: concluído. Data de conclusão: 31/05/2017
Coordenador do GT Lógica da Associação Nacional de Pós-Graduação em Filosofia (ANPOF) (Outra)	ANPOF - Associação Nacional de Pós-Graduação em Filosofia	Início: 01/10/2010. Situação: Em andamento.
Sub-Secretário da Sociedade Brasileira de Lógica (Assessoria Administrativa)	SOCBRALO - Sociedade Brasileira de Lógica	Início: 01/05/2003. Situação: concluído. Data de conclusão: 30/04/2006
Secretário Geral da Sociedade Brasileira de Lógica (Assessoria Administrativa)	SOCBRALO - Sociedade Brasileira de Lógica	Início: 01/05/2006. Situação: concluído. Data de conclusão: 30/04/2011
Tesoureiro da Sociedade Brasileira de Lógica (Assessoria Administrativa)	SOCBRALO - Sociedade Brasileira de Lógica	Início: 01/05/2011. Situação: concluído. Data de conclusão: 30/04/2014
Membro da Association for Symbolic Logic (Outra)	ASL - Association for Symbolic Logic	Início: 01/01/2002. Situação: concluído. Data de conclusão: 31/12/2012
Tesoureiro da Sociedade Brasileira de Lógica (Assessoria Administrativa)	SOCBRALO - Sociedade Brasileira de Lógica	Início: 01/01/1999. Situação: concluído. Data de conclusão: 30/04/2003

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	54
Internacional	42
Nacional	12
Trabalhos completos e resumos publicados em anais de congressos	46
Trabalho Completo - Internacional	7
Trabalho Completo - Nacional	1
Resumo - Internacional	30
Resumo - Nacional	8
Artigos publicados em periódicos especializados não arbitrados e resumos	8
Periódicos especializados não arbitrados	2
Resumos em periódicos especializados (internacionais)	6
Artigos e trabalhos completos aceitos para publicação	2
Em periódicos arbitrados (internacional)	1
Em periódicos arbitrados (nacional)	1
Participações em eventos científicos internacionais	85
Trabalhos apresentados (oralmente)	68
Trabalhos apresentados de outras formas	2
Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)	2
Participação como ouvinte	1
Participação como membro de comissão	12
Participações em eventos científicos nacionais	27
Trabalhos apresentados (oralmente)	20
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)	4
Participação como membro de comissão	2
Comunicações em outros tipos de eventos e outras publicações de caráter variado	17
Entrevistas e outras divulgações	1
Outras	16
Resumos e Trabalhos de Eventos em Geral	1
Outras Publicações	15
Desenvolvimento ou geração de trabalhos técnicos	6
Outros - Sem ítens Registrados	6
Livros	32
Publicados	4
Capítulos de livros publicados	24
Capítulos de livros aceitos para publicação	1
Edição ou Organização de livros	3
Relatórios Técnicos	3
Relatórios Técnicos	3
Seminários, palestras, conferências e mesas-redondas proferidas em instituições	10
Nacionais	2
Internacionais	8
Livros Didáticos	3
Publicados	1
Capítulos de livros publicados	2
Elaboração de material de apoio didático	3
Textos de Apoio	3
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino	26
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino	26
Atividades de extensão e serviço à comunidade	49
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)	16
Participação em Cursos e Disciplinas	9
Atividades como editor ou membro de conselho/corpo editorial de periódicos	2
Atividades eventuais de editoria	1
Arbitragem de artigos	10
Outros Serviços	11
Atividades de Orientação e Supervisão	34
Iniciação Científica	2
Mestrado / Doutorado	27
Pós-Doutorado	5
Orientação vinculada a programas especiais de Ensino	8
Orientação no Programa de Estágio de Capacitação Docente (PED)	1
Orientação no Programa Apoio ao Ensino de Graduação (PAD)	1
Monografias e Trabalhos de final de curso	1
Orientação Especial de Estudante (Monografia, Bolsa de trabalho SAE, Bolsista estrangeiro(IAESTE, Intercampus, ECUNY e outros) , Estudante Especial, Outros)	5
Projetos Vinculados ao Ensino	2
Com financiamento	2
Projetos de Pesquisa	35
Com financiamento	27
Sem financiamento	8
Projetos em colaboração com outras instituições	4
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.).	3
Organização de eventos científicos, culturais e artísticos e cursos de curta duração	4
Organização de eventos científicos, culturais e artísticos e cursos de curta duração	4
Linhas de Pesquisa	4
Ativas nas produções, projetos, grupos e trabalhos de conclusão graduação/livre docência	4
Participação em bancas examinadoras	108
Natureza: exames de qualificação de mestrado ou doutorado, defesas de tese de mestrado ou doutorado, concurso para a carreira docente	108
Atividades Administrativas	16
No âmbito da Unidade/Centro/Núcleo	8
No âmbito da Universidade	1
Fora da Universidade (Governo Federal, Estadual e Municipal, Fundações, etc.)	7