Marcelo Esteban Coniglio

Graduado em Matemática pela Universidad Nacional de Mar Del Plata, Agentina (1989); doutorado em Matemática pela Universidade de São Paulo (1997) sob a orientação de Francisco Miraglia; pós-doutorado na Universidade Técnica de Lisboa (2001-2002) sob supervisão de Amílcar Sernadas; e Livre-Docente em Lógica pela Universidade Estadual de Campinas (2004). Foi Professor (Adjunto e depois Associado) do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas (IFCH) da Universidade Estadual de Campinas (Unicamp) de 1998 a 2013. Desde 2013 é Professor Titular de Lógica do Departamento de Filosofia do IFCH/Unicamp. Tem experiência na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: lógicas não-clássicas, lógicas paraconsistentes, combinações entre lógicas, traduções entre lógicas e teoria das categorias. Foi Presidente da Sociedade Brasileira de Lógica (SBL) no período 2014-2017. Desde 2002 é membro do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. É Coordenador do GT de Lógica da ANPOF e desde 2014 é Diretor do CLE/Unicamp desde 2014.

Informações coletadas do Lattes em 06/02/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Matemática

1992 - 1997

Universidade de São Paulo
Título: A Lógica dos Feixes sobre Quantais Right-Sided e Idempotentes
Orientador: Francisco Miraglia
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica / Especialidade: Quantais. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Teoria das Categorias.

Graduação em Bacharelado em Matemática

1982 - 1989

Universidad Nacional de Mar del Plata

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2004

Livre-docência. , Universidade Estadual de Campinas, UNICAMP, Brasil. , Título: Lógicas Não-Clássicas: Semânticas e Combinações, Ano de obtenção: 2004., Palavras-chave: Combinações entre Lógicas; Fibring; Lógica e Teoria de Categorias; Lógicas Abstratas; Lógicas não-clássicas; Feixes sobre Quantais. , Grande área: Ciências Humanas, Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Semânticas Formais. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas Não Clássicas.

2001 - 2002

Pós-Doutorado. , Universidade Técnica de Lisboa, UTL, Portugal. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , Grande área: Ciências Humanas

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Combinações Entre Lógicas.

    Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Semânticas Formais.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria das Categorias.

    Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógicas Não Clássicas.

    Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Topologia Não Comutativa.

    Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Quantais.

Seção coletada automaticamente pelo Escavador

Organização de eventos

CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo ; SANZ, Wagner . XVIII Brazilian Logic Conference (EBL 2017). 2017. (Congresso).

CONIGLIO, M. E. ; LOPES, V. C. ; MARIANO, Hugo . Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday. 2016. (Congresso).

CONIGLIO, M. E. ; SILVA, Samuel Gomes da . Special Session "Mathematical logic and set theory" - First Joint Meeting Brazil-Spain in Mathematics. 2015. (Congresso).

Carnielli, Walter A. ; CONIGLIO, M. E. ; Barrio, Eduardo . Second Workshop CLE - Buenos Aires Logic Group. 2015. (Congresso).

CARNIELLI, Walter A ; CONIGLIO, M. E. . LFIS^15-Workhop on the 15 years of the LFIs (integrante do NAT@Logic 2015 Congress). 2015. (Congresso).

CARNIELLI, Walter A ; CONIGLIO, M. E. ; BUENO, Juliana . Workshop Thinking and Rationality (integrante do 4th World Congress and School on Universal Logic). 2013. (Congresso).

CONIGLIO, M. E. . Science, Truth and Consistency - CLE/AIPS Event. 2009. (Congresso).

CARNIELLI, Walter A ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . CLE 30 anos/XV Encontro Brasileiro de Lógica/XIV Simposio Latinoamericano de Lógica Matemática. 2008. (Congresso).

CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . Workshop Semantics and Meaning. 2005. (Congresso).

CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; MATEUS, Paulo ; MOSSAKOWSKI, Till ; SERNADAS, Amílcar . Workshop on Combination on Logics: Theory and Applications (CombLog'04). 2004. (Congresso).

CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . XIII Encontro Brasileiro de Lógica. 2003. (Congresso).

CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . II World Congress on Paraconsistency. 2000. (Congresso).

CONIGLIO, M. E. . 7th Workshop on Logic, Language, Information and Computation. 2000. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

17th Latin American Symposium on Mathematical Logic (XVII SLALM).On Three-Valued Paraconsistent Logic Programming. 2017. (Simpósio).

First Joint Meeting Brazil-Italy in Mathematics.Towards Non-deterministic algebraic semantics. 2016. (Encontro).

Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday.Swap structures: algebraizing logics by means of multialgebras. 2016. (Oficina).

XVII Encontro Nacional da ANPOF.Uma nova taxonomia das Lógicas da Inconsistência Formal. 2016. (Encontro).

9th Principia International Symposium.Paraconsistent and explosive intermediate logics between the truth and degree preserving infinite-valued Łukasiewicz logic. 2015. (Simpósio).

First Joint Meeting Brazil-Spain in Mathematics.Modal logic S4 as a paraconsistent logic with a topological semantics. 2015. (Encontro).

II Workshop CLE / Buenos Aires Logic Group.Consistency, Contradiction and Negation: a thorough project. 2015. (Oficina).

NAT@Logic 2015. From Fidel structures to swap structures for LFIs. 2015. (Congresso).

UNILOG'2015: 5th World Congress and School on Universal Logic. Clarifying some rationality criteria of AGM-like paraconsistent belief revision. 2015. (Congresso).

16th Latin American Symposium on Mathematical Logic.F-structures and matrix semantics for Logics of Formal Inconsistency. 2014. (Simpósio).

17th Brazilian Logic Conference (EBL 2014).Fidel structures and swap structures for mbC. 2014. (Encontro).

17th Brazilian Logic Conference (EBL 2014).Non-Deterministic Matrices for Modal Logic. 2014. (Encontro).

CESIMA Anno XX - Crossing Oceans: Exchange of Products, Instruments, and Procedures in the History of Chemistry and Related Sciences. Paraconsistency and undeterminedness in information Systems. 2014. (Congresso).

I Workshop CLE / Buenos Aires Logic Group.On the way to a wider model theory: Completeness theorems for first-order Logics of Formal Inconsistency. 2014. (Oficina).

Seminari de Lògiques No Clàssiques.F-structures and swap structures for Logics of Formal Inconsistency. 2014. (Seminário).

XVI Encontro Nacional ANPOF.Tarkian-style semantics for paraconsistent and/or paracomplete 3-valued and 4-valued first-order logics. 2014. (Encontro).

4th World Congress and School on Universal Logic. Safe Fibring or How to Revise Logic Systems. 2013. (Congresso).

Seminari de Lògiques No Clàssiques.On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. 2013. (Seminário).

Seminars of IIIA - CSIC.Paraconsistent Logics or How to Tolerate Contradictions. 2013. (Seminário).

VIII Simpósio Internacional Principia.New Results on the logics mbC and mCi. 2013. (Simpósio).

15th Latin American Symposium on Mathematical Logic (XV SLALM).Paraconsistent First-Order Logic. 2012. (Simpósio).

XV Encontro Nacional de Filosofia da ANPOF.Sobre a Lógica Tetravalente Modal de Monteiro. 2012. (Encontro).

VII Simpósio Internacional Principia.Uma lógica para a quase-verdade: Axiomática, semântica de estruturas parciais e completude. 2011. (Simpósio).

XVI EBL - Encontro Brasileiro de Lógica. Paraconsistent set theory by predicating on consistency. 2011. (Congresso).

Science, Truth and Consistency - CLE/AIPS Event. Some central problems in the combination of logics. 2009. (Congresso).

Fourth World Congress of Paraconsistency (WCP4). On discourses addressed by infidel logicians. 2008. (Congresso).

Fourth World Congress of Paraconsistency (WCP4). A paraconsistentist approach to deontic paradoxes. 2008. (Congresso).

XIII Encontro Nacional de Pós-Graduação em Filosofia.Metalógica de argumentações baseada na noção de peso argumentativo. 2008. (Encontro).

XIII Encontro Nacional de Pós-Graduação em Filosofia.GT Lógica. 2008. (Encontro).

13th International Congress of Logic, methodology and Philosophy of Science (LMPS'07). Logic of Deontic Inconsistency. 2007. (Congresso).

XI Colóquio Conesul de Filosofia das Ciências Formais.Lógicas da inconsistência formal e negações paraconsistentes. 2007. (Encontro).

XIII Jornadas de Epistemología de las Ciencias Económicas. (De) Construcción de sistemas lógicos a través de combinaciones. 2007. (Congresso).

XII Encontro Nacional de Filosofia da ANPOF. Combinar e Decompor Lógicas: Como e por que?. 2006. (Congresso).

XIII Latin American Symposium on Mathematical Logic. Combining and Uncombining Logics. 2006. (Congresso).

XIV Encontro Brasileiro de Lógica. An Introductory Study about the Many-valued Hierarchy InPk. 2006. (Congresso).

XIV Encontro Brasileiro de Lógica. Polynomial Formulations of Non-Deterministic Semantics for Logics of Formal Inconsistency. 2006. (Congresso).

2005-06 Association for Symbolic Logic Winter Meeting. Meta-translations and fibring. 2005. (Congresso).

2nd Indian International Conference on Artificial Intelligence (IICAI 2005). Plain fibring and direct union of logics with matrix semantics. 2005. (Congresso).

Workshop Semantics and Meaning.Splitting logics: factoring logics into simpler components. 2005. (Encontro).

Workshop on Combination on Logics: Theory and Applications (CombLog'04). Fibring algebraizable consequence systems. 2004. (Congresso).

III World Congress on Paraconsistency (WCP3). Dyadic semantics for many-valued logics. 2003. (Congresso).

Meeting on the Theory and Applications of Quantales.Representing C*-algebras in topoi of sheaves over quantales. 2002. (Encontro).

Logic Colloquium 2001: ASL European Summer Meeting. Representation of C*-algebras by Sheaves over Quantales. 2001. (Congresso).

Logic Colloquium 2001: ASL European Summer Meeting. Belief Revision for Non-Classical Logics. 2001. (Congresso).

7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000). A Model-Theoretic Approach to Translations between Logics. 2000. (Congresso).

II World Congress on Paraconsistency (WCP'2000). Fibring (Para)consistent logics. 2000. (Congresso).

IX Encontro Nacional de Filosofia - ANPOF. Uma restrição relevantista da lógica clássica. 2000. (Congresso).

IX Encontro Nacional de Filosofia da ANPOF. Teoria de Modelos e Traduções. 2000. (Congresso).

Logic Colloquium 2000: ASL European Summer Meeting. Fibring (Para)Consistent Logics. 2000. (Congresso).

XII Encontro Brasileiro de Lógica '99. Non-Commutative Topology and Quantales. 1999. (Congresso).

Pratica 98 (Proofs, Types and Categories).Linear Logic and Identity. 1998. (Encontro).

VIII Encontro Nacional de Filosofia da ANPOF.Quantais, Lógica e Matemática. 1998. (Seminário).

4th Workshop on Logic, Language, Information and Computation (WoLLIC'97). A Logic for Sheaves Over Quantales. 1997. (Congresso).

Pratica 96 (Proofs, Types and Categories).A Logic for Sheaves Over (Right-Sided and Idempotent) Quantales. 1996. (Encontro).

Pratica 95 (Proofs, Types and Categories.Equality in Linear Logic. 1995. (Encontro).

Col\'oquios Filosóficos SADAF/91.Obtención de Respuestas en Sistemas Expertos a partir de Completaciones. 1991. (Encontro).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Arthur Francisco Schwerz Cahali

MARIANO, Hugo;CONIGLIO, M. E.; LOPES, V. C.. Lógica de topos e aplicações. 2019. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Lázaro Divino Assunção

BIANCONI, Ricardo;CONIGLIO, M. E.; LOPES, V. C.. Simplicidade e poder expressivo da geometria tarskiana. 2019. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Jonas Renan Moreira Gomes

BIANCONI, Ricardo;CONIGLIO, M. E.; LOPES, V. C.. Cohomologia de Feixes em Estruturas O-Minimais. 2018. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: João Vitor Schmidt

Ruffino, Marco; Greimann, Dirk;CONIGLIO, M. E.. Sobre a definição fregeana da Relação Ancestral: considerações lógicas e filosóficas. 2017. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Edson Vinícius Bezerra

Carnielli, Walter A.; COSTA-LEITE, A.;CONIGLIO, M. E.. Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedades. 2017. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rafael Russo Setin

BIANCONI, Ricardo;CONIGLIO, M. E.; MIRAGLIA, Francisco. Sobre a Infinidade dos Primos, o Princípio da Casa dos Pombos e a Função Exponencial na Aritmética Limitada. 2016. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Henrique Meretti Camargo

BIANCONI, Ricardo;CONIGLIO, M. E.; MIRAGLIA, Francisco. Homologia O-minimal: aspectos topológicos de estruturas O-minimais. 2013. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Maria Ines Corbalan

CONIGLIO, M. E.CARNIELLI, Walter Alexandre; FEITOSA, Hércules de Araujo. Conectivos de restauração local. 2012. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rodrigo Figueiredo

BIANCONI, Ricardo;CONIGLIO, M. E.; MARIANO, Hugo. Um resultado geral de modelo completude de expansões do corpo ordenado dos reais. 2012. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Ana Claudia de Jesus Golzio

FEITOSA, Hércules de Araujo;CONIGLIO, M. E.; NASCIMENTO, M. C.. Elementos algébricos para a noção de 'poucos' e sua formalização em sistemas lógicos dedutivos. 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Kleidson Êglicio Carvalho da Silva Oliveira

GRACIO, M. C. C.;CONIGLIO, M. E.SILVESTRINI, L. H.. Uma lógica do poucos. 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Tarcísio Genaro Rodrigues

CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; BUENO, Juliana. Sobre os Fundamentos da Programação Lógica Paraconsistente. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Newton Marques Peron

CONIGLIO, M. E.CARNIELLI, Walter A; SAUTTER, Frank Thomas. Lógicas da Inconsistência Deôntica. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Pietro Kreitlon Carolino

CARNIELLI, Walter ACONIGLIO, M. E.; COSTA-LEITE, A.. Polinomização de Lógicas: Problemas e Perspectivas. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Samir Bezerra Gorsky

CARNIELLI, Walter AlexandreCONIGLIO, M. E.; FINGER, Marcelo. A semântica algébrica para as lógicas modais e seu interesse filosófico. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rodrigo Podiacki Barreto de Menezes

CARNIELLI, Walter AlexandreCONIGLIO, M. E.; BIANCONI, Ricardo. Lógicas da Inconsistência Formal de Primeira Ordem. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Teófilo de Souza Reis

CONIGLIO, M. E.CARNIELLI, Walter Alexandre; FEITOSA, Hércules de Araujo. Conectivos Flexíveis: uma abordagem categorial às Semânticas de Traduções Possíveis. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rafael Rodrigues Testa

CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; MARANHAO, J.. Dilemas Deônticos: Uma Abordagem Baseada em Relações de Preferência. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Alberto Leopoldo Batista Neto

CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; D'OTTAVIANO, Itala Maria Loffreddo. Representação e combinação de lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Juan Carlos Agudelo Agudelo

CONIGLIO, M. E.CARNIELLI, Walter Alexandre; FINGER, Marcelo. Da computação paraconsistente à computação quântica. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Vinicius Cifú Lopes

MIRAGLIA, Francisco;CONIGLIO, M. E.; BIANCONI, Ricardo. Teoria dos Modelos e a Conjectura de Mordell-Lang. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Juliana Bueno

CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; MARIANO, Hugo. Semântica Algébrica de Traduções Possíveis. 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Tomás Barrero Guzmán

CARNIELLI, Walter AlexandreCONIGLIO, M. E.; MARIANO, Hugo. Lógica Positiva: Plenitude, Potencialidade e Problemas (do pensar sem negação). 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Joselyto Nawber da Costa Riani

WASSERMANN, Renata; FINGER, Marcelo; CASTILHO, Marcos Alexandre;CONIGLIO, M. E.. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Denise Maria Maldonado de Cunha

CARNIELLI, Walter AlexandreCONIGLIO, M. E.; WASSERMANN, Renata. Crenças não ditas, dito de crenças. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Flávio Shigeo Yamamoto

BIANCONI, Ricardo;CONIGLIO, M. E.; FINGER, Marcelo. Sistemas modais de conhecimento. 2003. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Mauro César Scheer

D'OTTAVIANO, Itala Maria Loffreddo; MARTINS, Ana Teresa; FEITOSA, Hércules de Araujo;CONIGLIO, M. E.. Para uma Teoria de Traduções entre Lógicas Cumulativas. 2002. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Cassiano Terra Rodrigues

MORENO, Arley Ramos; IBRI, Ivo Assad;CARNIELLI, Walter AlexandreCONIGLIO, M. E.. Lógica e Investigação. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Luís Augusto Sbardellini

CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; LUCIANO, Odilón Otávio. Semântica Categorial Generalizada. 2001. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Víctor Leandro Fernández

CONIGLIO, M. E.; WASSERMANN, Renata;CARNIELLI, Walter Alexandre. Semântica de Sociedades para Lógicas n-valoradas. 2001. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Joao Marcos de Almeida

CARNIELLI, Walter AlexandreCONIGLIO, M. E.BÉZIAU, Jean Yves. Semântica de Traduções Possíveis. 1999. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Jandson Santos Ribeiro Santos

WASSERMANN, Renata;CONIGLIO, M. E.; FINGER, Marcelo; ANDRADE, Aline; BENEVIDES, Mario. Belief Change without Compactness. 2020. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Alfredo Roque de Oliveira Freire Filho

CARNIELLI, Walter ACONIGLIO, M. E.; MARIANO, Hugo; LOPES, V. C.; DE ALMEIDA, Edgar. L. B.. Estudo Comparado do Comprometimento Ontológico das Teorias de Classes e Conjuntos. 2019. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: [Nome removido após solicitação do usuário]

CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; BIANCONI, Ricardo; MARIANO, Hugo; PINTO, Darllan C.. Noções de Localidade baseadas em Categorias Modelo de Quillen sobre Estruturas Finitas. 2019. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Maria Ines Corbalan

CONIGLIO, M. E.; FERREIRA, Marcelo Barra; PAGANI, Luiz Arthur; FINGER, Marcelo; Ruffino, Marco. From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Bruno Ramos Mendonça

CONIGLIO, M. E.; SAUTTER, Frank Thomas; FREIRE, Rodrigo de Alvarenga; SOUZA, E.; VENTURI, Giorgio. Traditional theory of semantic information without scandal of deduction: A moderately externalist reassessment of the topic based on urn semantics. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Jean Cerqueira Berni

MARIANO, Hugo;CONIGLIO, M. E.; BIANCONI, Ricardo; LOPES, V. C.; ARNDT, Peter. Some Algebraic and Logical Aspects of C-infinite Rings. 2018. Tese (Doutorado em Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Fabricio Vasconcelos Gomes

MARANHAO, J.;CONIGLIO, M. E.; SOUZA, E.; BOITEUX, Elza. A. P. C.; ALMEIDA, Guilherme A.. Regras como argumentos: uma análise lógica. 2017. Tese (Doutorado em Direito) - Universidade de São Paulo.

Aluno: Kleidson Êglicio Carvalho da Silva Oliveira

CONIGLIO, M. E.; FERME, Eduardo.; MAGOSSI, José C.;SILVESTRINI, L. H.; WASSERMANN, Renata. Programação Lógica Paraconsistente em Lógicas Três e Quatro Valoradas. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Ana Claudia de Jesus Golzio

CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; MARIANO, Hugo; RUSSO, Ciro;PERON, Newton Marques. Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Inés Beatriz Pascual

FIGALLO, A.;CONIGLIO, M. E.; CELANI, S.. Álgebras de Lukasiewicz-Moisil theta-valuadas. 2016. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

Aluno: Angela Pereira Rodrigues Moreira

D'OTTAVIANO, Itala Maria Loffreddo;CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; SOUZA, E.; SUGUITANI, L. O.. Sobre traduções entre lógicas: relações entre traduções conservativas e traduções contextuais abstratas. 2016. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Darllan Conceição Pinto

MARIANO, Hugo;CONIGLIO, M. E.; BIANCONI, Ricardo; BRUNNER, A. M.; FREIRE, Rodrigo de Alvarenga. A categorical foundation for a representation theory of logic. 2016. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Maria A

CASTIGLIONE, J. L.; CELANI, S.;CONIGLIO, M. E.. Jimenez. Una contribución al desarrollo de los qM3-retículos. 2016. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

Aluno: Gustavo Andrés Pelaitay

CELANI, S.;CONIGLIO, M. E.; JANSANA, R.. Un estudio algebraico de operadores temporales definibles en versiones algebraicas de diversas lógicas. 2015. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

Aluno: Felipe Sobreira Abrahão

DORIA, F. A.; CHAITIN, Gregory. J.; KRAUSE, Décio;Coniglio, Marcelo Esteban; GOMES, Mércio P.. Metabiologia, Subcomputação e Hipercomputação: Em direção a uma teoria geral de evolução de sistemas. 2015. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Newton Marques Peron

CONIGLIO, M. E.; FARIÑAS DEL CERRO, L.; MORTARI, C.; FINGER, Marcelo;Carnielli, Walter A.. (In)Completude Modal por (N)Matrizes Finitas. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rodrigo de Alvarenga Freire

TAUSK, D.; MIRAGLIA, Francisco; VELOSO, Paulo;CONIGLIO, M. E.; SILVA, Samuel Gomes da. Teoria das Funções de Primeira Ordem. 2014. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Rafael Testa

CONIGLIO, M. E.Carnielli, Walter A.; CHIBENI, Silvio S.; SANZ, Wagner; WASSERMANN, Renata. Revisão de crenças paraconsistente baseada em um operador formal de consistência. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Gustavo Miranda da Silva

Esteves, L.G.; Stern, J.M.;CONIGLIO, M. E.; Leite, J.G; Diniz, M.A.. Propriedades Lógicas de Classes de Testes de Hipóteses. 2014. Tese (Doutorado em Doutorado em Estatistica) - Universidade de São Paulo.

Aluno: Gabriela Steren

BONELLI, Eduardo; ARECES, Carlos;Coniglio, Marcelo E.. Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas. 2014. Tese (Doutorado em Doutorado em Computação) - Universidad de Buenos Aires.

Aluno: Mateus Ricardo Fernandes Ferreira

ANGIONI, L.;CONIGLIO, M. E.; SANTOS, Pedro de Moraes; ZANUZZI, Inara; ZILLIG, Raphael. A Lógica de Aristóteles: problemas interpretativos e abordagens contemporâneas dos "Primeiros Analíticos". 2012. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Alberto Marcelino Efigênio Levi

JUNQUEIRA, Lúcia Renato;CONIGLIO, M. E.; BIANCONI, Ricardo; PASSOS, Marcelo; AURICHI, Leandro. Reflexão de funções cardinais. 2012. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Eudes Naziazeno Galvão

SCANLON, T.; MIRAGLIA, Francisco;CONIGLIO, M. E.; RINCON, Mauricio Ayala. Sobre uma classe de anéis QFA ("A class of QFA rings", em inglês). 2011. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

Aluno: Luiz Henrique da Cruz Silvestrini

CONIGLIO, M. E.; COSTA-LEITE, A.; FEITOSA, Hércules de Araujo; SOUZA, E.; BUENO, Juliana. Uma Nova Abordagem para a Noção de Quase-Verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Paolo Landini

CONIGLIO, M. E.; FIDEL, M.. Extensiones monádicas de las álgebras de Ockham. 2011. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

Aluno: Juan Carlos Agudelo Agudelo

CARNIELLI, Walter AlexandreCONIGLIO, M. E.; FINGER, Marcelo; Pessoa Jr., O. F.; de Oliveira, Marcos C.. Computação Paraconsistente: Uma Abordagem Lógica à Computação Quântica. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: João Fernando Lima Alcântara

CONIGLIO, M. E.; Moniz pereira, L.; Damásio, C.; RASGA, João; Alferes, J.; Porto, A.; Vasconcelos, V.. Paraconsistency, Disjunction and Uncertainty in Logic Programming: A Unifying Approach Based on Well-Founded Semantics. 2008. Tese (Doutorado em Engenharia Informática) - Universidade Nova de Lisboa.

Aluno: Emmanuel Felix Lopes da Silva

CONIGLIO, M. E.; BIANCONI, Ricardo; QUEIROZ, Ruy José de; MIRAGLIA, Francisco; SALGADO, L.R.B.. Caracterização Aritmética em Primeira Ordem de Funções Computáveis em Espaço Polinomial. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Ricardo Gonçalves

CONIGLIO, M. E.; MARTINS, M.; CALEIRO, Carlos; Alferes, J.; SERNADAS, Cristina; RAMOS, J.; SERNADAS, Amílcar. Behavioral algebraization of logics. 2008. Tese (Doutorado em Matemática) - Instituto Superior Técnico da UTL.

Aluno: Marcelo Dias Passos

JUNQUEIRA, Lúcia Renato; BIANCONI, Ricardo;CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; SILVA, Samuel Gomes da. Extensões de submodelos elementares por forcing. 2007. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Wagner Sanz

CONIGLIO, M. E.; PEREIRA, Luiz Carlos; ALVES, Daniel Durante Pereira; ERTOLA, Rodolfo; SILVA, Geiza Hamazaki da. Uma investigação acerca das regras para a negação e o absurdo em Dedução Natural. 2006. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Luís Augusto Sbardellini

CONIGLIO, M. E.CARNIELLI, Walter Alexandre; BIANCONI, Ricardo; HAEUSLER, Edward Hermann; MARIANO, Hugo. O Continuum, os Reais e o Conceito de Homogeneidade. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Víctor Leandro Fernández

CONIGLIO, M. E.; FINGER, Marcelo; D'OTTAVIANO, Itala Maria Loffreddo; CATUOGNO, Pedro José; VELOSO, Paulo. Fibrilação de Lógicas na Hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Joao Marcos de Almeida

CARNIELLI, Walter Alexandre; FINGER, Marcelo; SAUTTER, Frank Thomas; RASGA, João; KRAUSE, Décio; CALEIRO, Carlos;CONIGLIO, M. E.. Logics of Formal Inconsistency. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Leonardo Prieto Sanabria

BIANCONI, Ricardo; D'OTTAVIANO, Itala Maria Loffreddo;CONIGLIO, M. E.; MARTIN, Paulo Agozzini; QUEIROZ, Ruy José de. Teoria de modelos de corpos p-ádicos com funções analíticas. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Irene Castro Pereira

TOMITA, Artur; D'OTTAVIANO, Itala Maria Loffreddo; DACCACH, Janey Antonio;CONIGLIO, M. E.; ALAS, Ofélia Teresa. Topologia emuneravelmente compactas em grupos abelianos. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Samuel Gomes da Silva

JUNQUEIRA, Lúcia Renato; TOMITA, Artur; DACCACH, Janey Antonio; D'OTTAVIANO, Itala Maria Loffreddo; FEITOSA, Hércules de Araujo;CONIGLIO, M. E.. Alguns resultados envolvendo cardinais e uma determinada propriedade topológica. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Geiza Hamazaki da Silva

HAEUSLER, Edward Hermann;CONIGLIO, M. E.; PEREIRA, Luiz Carlos; RINCON, Mauricio Ayala; VELOSO, Paulo. Síntese Construtiva de Programas em Teorias Intuicionistas. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Eduardo Ochs

SALDANHA, Nicolau;CONIGLIO, M. E.; SEELY, Robert. A system of natural deduction for categories. 2003. Tese (Doutorado em Matemática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Rodolfo Cristian ERTOLA BIRABEN

D'OTTAVIANO, Itala Maria Loffreddo; HAEUSLER, Edward Hermann; SAUTTER, Frank Thomas;CONIGLIO, M. E.; CHATEAUBRIAND, Oswaldo. Questões Conceituais de Computabilidade. 2001. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Maria da Paz Nunes de Medeiros

PEREIRA, Luiz Carlos; HAEUSLER, Edward Hermann; CORREA, Marcelo;CONIGLIO, M. E.; CHATEAUBRIAND, Oswaldo. Traduções via Teoria da Prova: Aplicações à Lógica Linear. 2001. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Frank Thomas Sautter

D'OTTAVIANO, Itala Maria Loffreddo;CARNIELLI, Walter Alexandre; ROMANO, Roberto; COSTA, Newton da;CONIGLIO, M. E.. O Argumento Ontológico Gödeliano para a Existência de Deus. 2000. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Andreas Bernhard Michael Brunner

MIRAGLIA, Francisco;CONIGLIO, M. E.. O Método das Constantes na Teoria dos Modelos em Feixes sobre uma Álgebra de Heyting. 2000. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Daniel Durante Pereira Alves

D'OTTAVIANO, Itala Maria Loffreddo;CARNIELLI, Walter Alexandre; MASSI, Cosme Damião Bastos; PEREIRA, Luiz Carlos; QUEIROZ, Ruy José de;CONIGLIO, M. E.. Normalização Forte via Ordinal Natural. 1999. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Alfredo Roque de Oliveira Freire Filho

CARNIELLI, Walter ACONIGLIO, M. E.; MARIANO, Hugo. Estudo Comparado do Comprometimento Ontológico das Teorias de Classes e Conjuntos. 2019. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: [Nome removido após solicitação do usuário]

CONIGLIO, M. E.Carnielli, Walter A.; MARIANO, Hugo. Espaços de Moduli e Localidade de Lógicas. 2018. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Angela Pereira Rodrigues Moreira

D'OTTAVIANO, Itala Maria Loffreddo;Coniglio, Marcelo Esteban; FEITOSA, Hércules de Araujo. Sobre traduções entre lógicas: relações entre traduções conservativas e traduções contextuais. 2015. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Ana Claudia de Jesus Golzio

CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; ERTOLA, Rodolfo. Matrizes não determinísticas: Teoria e aplicações à semântica algébrica. 2015. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Kleidson Êglicio Carvalho da Silva Oliveira

CONIGLIO, M. E.SILVESTRINI, L. H.; FINGER, Marcelo. Bases para Programação Lógica Paraconsistente em Lógicas Multivaloradas. 2015. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Darllan Conceição Pinto

MARIANO, Hugo;CONIGLIO, M. E.; ARNDT, Peter. Teoria de Representação de Lógicas: Uma abordagem categorial. 2014. Exame de qualificação (Doutorando em Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Rafael Rodrigues Testa

CONIGLIO, M. E.Carnielli, Walter A.; MORETTO-RIBEIRO, M.. Aspectos de Revisão de Crenças sobre Lógicas da Inconsistência Formal. 2012. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Luiz Henrique da Cruz Silvestrini

CONIGLIO, M. E.; COSTA-LEITE, A.;CARNIELLI, Walter A. Quantificadores Generalizados, Semântica de Sociedades e a Quase-verdade. 2010. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Mateus Ricardo Fernandes Ferreira

ANGIONI, L.; MOREIRA, V. C.;CONIGLIO, M. E.. Essencialismo, necessidade e explicação em Aristóteles. 2010. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rodrigo de Alvarenga Freire

CONIGLIO, M. E.; SILVA, J.; TAUSK, D.; MARIANO, Hugo. Os fundamentos do pensamento matemático no século XX e a relevância fundacional da teoria de modelos. 2008. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Juliana Bueno

D'OTTAVIANO, Itala Maria Loffreddo;CONIGLIO, M. E.; PIZZI, C.. Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo. 2008. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Víctor Leandro Fernández

CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; CATUOGNO, Pedro José. Fibrilação de Lógicas na Hierarquia de Leibniz. 2005. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Luís Augusto Sbardellini

CONIGLIO, M. E.; MARIANO, Hugo; BIANCONI, Ricardo. Magnitudes variando continuamente: o Continuum, os reais e a homogeneidade. 2004. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Wagner Sanz

CONIGLIO, M. E.; PEREIRA, Luiz Carlos; ALVES, Daniel Durante Pereira. Dedução Natural para a Lógica Intuicionista. 2003. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Tadeu Fernandes de Carvalho

D'OTTAVIANO, Itala Maria Loffreddo;CONIGLIO, M. E.; FEITOSA, Hércules de Araujo. Sobre o Cálculo Diferencial Paraconsistente de da Costa. 2003. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Leonardo Prieto Sanabria

BIANCONI, Ricardo;CONIGLIO, M. E.; MIRAGLIA, Francisco. Teoria de modelos de corpos p-ádicos com funções analíticas. 2002. Exame de qualificação (Doutorando em Matemática) - Universidade de São Paulo.

Aluno: Gesiel Borges da Silva

Bertato, Fábio;E. CONIGLIO, M; MERLUSSI, Pedro. An axiomatic approach to theodicy via formal applied systems. 2019. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Diego Amaro Varela

CONIGLIO, M. E.CARNIELLI, Walter A; COSTA-LEITE, A.. Lógica Paraconsistente, Lógicas da Inconsistência Formal e Dialeteismo. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas.

Aluno: Newton Marques Peron

CONIGLIO, M. E.CARNIELLI, Walter Alexandre; D'OTTAVIANO, Itala Maria Loffreddo. Paradoxos Modais e Lógicas da Inconsistência Formal. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rafael Testa

CONIGLIO, M. E.CARNIELLI, Walter Alexandre; D'OTTAVIANO, Itala Maria Loffreddo. Uma Análise de Algumas Lógicas Deônticas para a Representação de Normas Jurídicas. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas.

Aluno: Paulo Petrillo

CONIGLIO, M. E.CARNIELLI, Walter Alexandre; D'OTTAVIANO, Itala Maria Loffreddo. Lógicas Moduladas como Fundamento para o Raciocínio Difuso. 2005. Outra participação, Universidade Estadual de Campinas.

Aluno: Peter Arndt

CONIGLIO, M. E.; MARIANO, Hugo;CARNIELLI, Walter Alexandre. Finitude em Topos. 2005. Outra participação, Universidade Estadual de Campinas.

Aluno: Juliana Bueno

CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; MARIANO, Hugo. Semântica Algébrica de Traduções Possíveis. 2004. Outra participação, Universidade Estadual de Campinas.

Aluno: Tomás Barrero Guzmán

CARNIELLI, Walter AlexandreCONIGLIO, M. E.; MARIANO, Hugo. Lógica Positiva: Plenitude, Potencialidade e Problemas (do pensar sem negação). 2004. Outra participação, Universidade Estadual de Campinas.

Aluno: Denise Maria Maldonado de Cunha

CARNIELLI, Walter AlexandreCONIGLIO, M. E.; WASSERMANN, Renata. Crenças não ditas, dito de crenças. 2002. Outra participação, Universidade Estadual de Campinas.

Aluno: Cassiano Terra Rodrigues

MORENO, Arley Ramos;CONIGLIO, M. E.CARNIELLI, Walter Alexandre. Lógica e Investigação. 2000. Outra participação, Universidade Estadual de Campinas.

Aluno: Luís Augusto Sbardellini

CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; LUCIANO, Odilón Otávio. Semântica Categorial Generalizada. 2000. Outra participação, Universidade Estadual de Campinas.

Aluno: Víctor Leandro Fernández

CONIGLIO, M. E.; WASSERMANN, Renata;CARNIELLI, Walter Alexandre. Semântica de Sociedades para Lógicas n-valoradas. 2000. Outra participação, Universidade Estadual de Campinas.

CONIGLIO, M. E.Carnielli, Walter A.; KRAUSE, Décio; LACEY, Hugh; CAPONI, Gustavo A.. Concurso para obtenção do Título de Professor Titular na área de Epistemologia, Lógica e Filosofia da Ciência. 2019. Universidade Estadual de Campinas.

CIGNOLI, Roberto;CONIGLIO, M. E.; GRANITTO, Pablo. Concurso de Ingresso na carreira Docente - Professor Adjunto. 2016. Universidad de Buenos Aires.

CONIGLIO, M. E.; KAUARK, Patrícia; XAVIER, Túlio. Concurso de Promoção na carreira Docente - Professor Associado. 2016. Universidade Federal de Minas Gerais.

SILVA, Samuel Gomes da; BIANCONI, Ricardo;CONIGLIO, M. E.. Concurso de Ingresso na carreira Docente - Professor Adjunto. 2014. Universidade Federal da Bahia.

PASSOS, Marcelo;CONIGLIO, M. E.; SOUZA, Fernando. Concurso de Ingresso na carreira Docente - Professor Adjunto. 2013. Universidade Federal da Bahia.

BRUNNER, A. M.;CONIGLIO, M. E.; MARIANO, Hugo. Concurso de Ingresso na Carreira Docente - Professor Adjunto. 2010. Universidade Federal da Bahia.

Chaves-Tannús, M.;CONIGLIO, M. E.CARNIELLI, Walter Alexandre. Concurso de Ingresso na Carreira Docente - professor Doutor. 2009. Universidade Federal de Uberlândia.

VERDERESI, J. A.; JUNQUEIRA, Lúcia Renato;CONIGLIO, M. E.; CAPUTI, A.; SILVA, Samuel Gomes da. Concurso de Ingresso na Carreira Docente - professor Doutor. 2008. Universidade de São Paulo.

TERADA, Routo;CONIGLIO, M. E.; COSTA, Ana Helena Reali; FINGER, Marcelo; MONARD, Maria Carolina. Concurso de Ingresso na Carreira Docente - professor Doutor. 2005. Universidade de São Paulo.

BIANCONI, Ricardo;CONIGLIO, M. E.CARNIELLI, Walter A. Banca de Processo Seletivo (para professor Doutor). 2002. Universidade de São Paulo.

da SILVA, A. R.; AURICHI, Leandro F.;CONIGLIO, M. E.; ALAS, Ofélia Teresa; JUNQUEIRA, Lúcia Renato. Concurso para obtenção do Título de Livre Docente em Matemática, na área Teoria dos Conjuntos e Aplicações. 2019. Universidade de São Paulo.

CUTER, João V.;CONIGLIO, M. E.; Greimann, Dirk; MARIANO, Hugo; Ruffino, Marco. Concurso para obtenção do Título de Livre Docente em Filosofia, na área de Lógica e Filosofia da Lógica. 2019. Universidade de São Paulo.

Coniglio, Marcelo E.; ANGIONI, L.; Leclerc, André; MORTARI, C.; Imaguire, Guido. Concurso para obtenção do Título de Livre Docente em Filosofia, na área de Filosofia da Linguagem. 2015. Universidade Estadual de Campinas.

CONIGLIO, M. E.; CHIBENI, Silvio S.; MARQUES, Marcelo P.; BOLZANI, Roberto; CUTER, João V.. Concurso para obtenção do Título de Livre Docente em Filosofia, na área de História da Filosofia. 2014. Universidade Estadual de Campinas.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Cristina Cerri

CERRI, C.; MIRAGLIA NETO, F.; SILVA, F. S. C.. Exame de Qualificação de Doutorado. 1996. Exame de qualificação (Doutorando em Matemática) - Universidade de São Paulo.

Ricardo Bianconi

MIRAGLIA NETO, F.;BIANCONI, R.; QUEIROZ, R. J. G. B.; DOTTAVIANO, I. M. L.; PEREIRA, L. C.. A lógica dos feixes sobre quantais right-sided e idempotentes. 1997. Tese (Doutorado em Doutorado em Matemática) - Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Orientou

Abner de Mattos Brito

Análise formal de conceitos em lógicas não-clássicas; Início: 2017; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas; (Orientador);

Guilherme Vicentin de Toledo

Semânticas não-determinı́sticas para lógicas não-clássicas: Uma abordagem desde a perspectiva de Teoria de Modelos e da Álgebra Universal; Início: 2018; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Bruno Costa Coscarelli

Model Theory in a Paraconsistent Environment; Início: 2016; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas; (Orientador);

Tadeo Germán Gomez Pereira

Teoria de Modelos en Lógicas 3-valoradas y 4-valoradas; Início: 2014; Tese (Doutorado em Matemática) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas; (Orientador);

Ekaterina Kubyshkina

Início: 2019; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo;

Aldo Figallo-Orellano

Semânticas não-determinísticas para as Lógicas da Inconsistência Formal; Início: 2016; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo;

Abner de Mattos Brito

Fuzzy Formal Context Analysis; 2019; Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Marcelo Esteban Coniglio;

Augusto Andraus

A ciência da computação e o problema da demarcação na filosofia da ciência: Uma investigação epistemológica; 2018; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas,; Coorientador: Marcelo Esteban Coniglio;

Maria Ines Corbalan

Conectivos de restauração local; 2012; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

Tarcísio Genaro Rodrigues

Sobre os Fundamentos da Programação Lógica Paraconsistente; 2010; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Newton Marques Peron

Lógicas da Inconsistência Deôntica; 2009; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

Teófilo de Souza Reis

Conectivos flexíveis: uma abordagem categorial às semânticas de traduções possíveis e à noção de forma lógica; 2008; 0 f; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Rafael Rodrigues Testa

Dilemas deônticos: uma abordagem baseada em relações de preferência; 2008; 0 f; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

Alberto Leopoldo Batista Neto

Representação e combinação de lógicas: questões conceituais; 2007; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Juliana Bueno

Semântica Algébrica de Traduções Possíveis; 2004; 0 f; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Esteban Coniglio;

Luís Augusto Sbardellini

Semântica Categorial Generalizada; 2001; 0 f; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Víctor Leandro Fernández

Semântica de Sociedades para Lógicas n-valentes; 2001; 0 f; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

[Nome removido após solicitação do usuário]

Noções de Localidade baseadas em Categorias Modelo de Quillen sobre Estruturas Finitas; 2019; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Esteban Coniglio;

Maria Ines Corbalan

From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives; 2018; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Ana Claudia de Jesus Golzio

Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics; 2017; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Kleidson Êglicio Carvalho da Silva Oliveira

Programação Lógica Paraconsistente em Lógicas Três e Quatro Valoradas; 2017; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Rafael Rodrigues Testa

Revisão de crenças paraconsistente baseada em um operador formal de consistência; 2014; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

Newton Marques Peron

(In)Completude Modal por (N)Matrizes Finitas; 2014; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Martín Figallo

Hipersecuentes y la Lógica Tetravalente Modal TML; 2013; Tese (Doutorado em Matemática) - Universidad Nacional del Sur,; Orientador: Marcelo Esteban Coniglio;

Luiz Henrique da Cruz Silvestrini

Uma Nova Abordagem para a Noção de Quase-Verdade; 2011; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Esteban Coniglio;

Wagner de Campos Sanz

Uma investigação acerca das regras para a negação e o absurdo em Dedução Natural; 2006; 498 f; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas,; Orientador: Marcelo Esteban Coniglio;

Luís Augusto Sbardellini

O Continuum, os Reais e o Conceito de Homogeneidade; 2005; 107 f; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

Víctor Leandro Fernández

Fibrilação de Lógicas na Hierarquia de Leibniz; 2005; 108 f; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Esteban Coniglio;

Ana Claudia de Jesus Golzio

2018; Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Marcelo Esteban Coniglio;

Rafael Rodrigues Testa

2015; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Marcelo Esteban Coniglio;

Márcio Moretto Ribeiro

2013; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Marcelo Esteban Coniglio;

Diego Amaro Varela

Lógica Paraconsistente: Lógicas da Inconsistência Formal e Dialeteísmo; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas; Orientador: Marcelo Esteban Coniglio;

Newton Marques Peron

Paradoxos Modais e Lógicas da Inconsistência Formal; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas; Orientador: Marcelo Esteban Coniglio;

Rafael Testa

Lógica Deôntica para o estudo de Sistemas Normativos; 2006; 41 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas; Orientador: Marcelo Esteban Coniglio;

Diego Amaro Varela

São possíveis as contradições? Abordagens Antagônicas à Paraconsistência; 2009; Iniciação Científica; (Graduando em Bacharelado Em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

Newton Marques Peron

Lógicas da Inconsistência Formal e Lógicas Modais: uma Abordagem para o Estudo de Paradoxos Modais; 2006; 37 f; Iniciação Científica; (Graduando em Bacharelado Em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcelo Esteban Coniglio;

Teófilo de Souza Reis

Feixes sobre álgebras de Heyting e aplicações à teoria de conjuntos fuzzy; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Esteban Coniglio;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • CARNIELLI, Walter A ; CONIGLIO, M. E. ; RODRIGUES, A. . Recovery operators, paraconsistency and duality. LOGIC JOURNAL OF THE IGPL , v. II, p. 1-33, 2019.

  • CONIGLIO, M. E. ; ESTEVA, FRANCESC ; GISPERT, Joan ; GODO, LLUÍS . Maximality in finite-valued -ukasiewicz logics defined by order filters. JOURNAL OF LOGIC AND COMPUTATION , v. 29, p. 125-156, 2019.

  • Coniglio, Marcelo E. ; Golzio, Ana Claudia . Swap structures semantics for Ivlev-like modal logics. SOFT COMPUTING , v. 23(7), p. 2243-2254, 2019.

  • CONIGLIO, M. E. ; GOMEZ, Tadeo G. ; Figallo, Martín . SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC. Review of Symbolic Logic , v. 1, p. 1-38, 2019.

  • CONIGLIO, MARCELO E ; LUIS, FARIÑAS DEL CERRO ; NEWTON, MARQUES PERON . Modal logic with non-deterministic semantics: Part I-Propositional case. LOGIC JOURNAL OF THE IGPL , v. 1, p. 1, 2019.

  • CONIGLIO, M. E. ; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Non-deterministic algebraization of logics by swap structures1. LOGIC JOURNAL OF THE IGPL , v. II, p. 1-39, 2018.

  • TESTA, Rafael ; CONIGLIO, M. E. ; Ribeiro, Márcio M. . AGM-like paraconsistent belief change. LOGIC JOURNAL OF THE IGPL , v. 25, p. 632-672, 2017.

  • Coniglio, Marcelo E. ; FARIÑAS DEL CERRO, LUIS ; PERON, NEWTON M. . Errata and Addenda to `Finite non-deterministic semantics for some modal systems?. Journal of Applied Non-Classical Logics , v. 26, p. 336-345, 2017.

  • Carnielli, Walter A. ; CONIGLIO, M. E. ; RODRIGUES, A. . Recovery operators, paraconsistency and duality. CLE e-Prints (Online) , v. 17, p. 1, 2017.

  • Carnielli, Walter A. ; CONIGLIO, M. E. . Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation (Print) , v. 26, p. 97-116, 2016.

  • Coniglio, Marcelo E. ; ESTEVA, FRANCESC ; GODO, LLUÍS . On the set of intermediate logics between the truth- and degree-preserving -ukasiewicz logics. Logic Journal of the IGPL (Online) , v. 24, p. 288-320, 2016.

  • CONIGLIO, M. E. ; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Towards an hyperalgebraic theory of non-algebraizable logics. CLE e-Prints (Online) , v. 16, p. 1, 2016.

  • Coniglio, Marcelo E. ; DEL CERRO, LUIS FARIÑAS ; PERON, NEWTON M. . Finite non-deterministic semantics for some modal systems. Journal of Applied Non-Classical Logics , p. 1-24, 2015.

  • TESTA, Rafael ; Coniglio, Marcelo E. ; Ribeiro, Márcio M. . Paraconsistent Belief Revision based on a formal consistency operator. CLE e-Prints (Online) , v. 15, p. 1-11, 2015.

  • CONIGLIO, M. E. ; SILVESTRINI, L. H. . An alternative approach for quasi-truth. Logic Journal of the IGPL (Print) , v. 22, p. 387-410, 2014.

  • CONIGLIO, M. E. ; FIGALLO, M. . Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Studia Logica , v. 102, p. 525-539, 2014.

  • CONIGLIO, M. E. ; Esteva, F. ; Godo, Ll. . Logics of formal inconsistency arising from systems of fuzzy logic. Logic Journal of the IGPL (Print) , v. 22, p. 880-904, 2014.

  • CONIGLIO, M. E. ; FIGALLO, M. . On a four-valued modal logic with deductive implication. University of Lodz. Department of Logic. Bulletin of the Section of Logic , v. 43, p. 1-18, 2014.

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

  • Coniglio, Marcelo E. ; PERON, NEWTON M. . Dugundji?s Theorem Revisited. Logica Universalis (Print) , v. 8, p. 407-422, 2014.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. ; PODIACKI, R. ; RODRIGUES, T. G. . ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY. The Review of Symbolic Logic , v. 7, p. 548-578, 2014.

  • CONIGLIO, M. E. ; PERON, Newton Marques . Modal extensions of sub-classical logics for recovering classical logic. Logica Universalis (Print) , v. 7, p. 71-86, 2013.

  • CONIGLIO, M. E. ; CORBALAN, M. I. . Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics. Electronic Proceedings in Theoretical Computer Science , v. 113, p. 125-136, 2013.

  • CONIGLIO, M. E. ; FIGALLO, M. . On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. CLE e-Prints (Online) , v. 13, p. 3, 2013.

  • CONIGLIO, M. E. ; CORBALAN, M. I. . Teorema de Ajuste de Derivabilidade e Normalização em Dedução Natural. Revista Brasileira de Filosofia , v. 239, p. 171-186, 2012.

  • Beziau, J.-Y. ; CONIGLIO, M. E. . To distribute or not to distribute?. Logic Journal of the IGPL (Print) , v. 19, p. 566-583, 2011.

  • CONIGLIO, M. E. ; Sernadas, A. ; Sernadas, C. . Preservation by fibring of the finite model property. Journal of Logic and Computation (Print) , v. 21, p. 375-402, 2011.

  • CONIGLIO, M. E. ; FIGALLO, M. . Fibring of hypersequent calculi and preservation of rule-elimination. CLE e-Prints (Online) , v. 10, p. 7, 2010.

  • Sernadas, A. ; Sernadas, C. ; Rasga, J. ; CONIGLIO, M. E. . A Graph-theoretic Account of Logics. Journal of Logic and Computation (Print) , v. 19, p. 1281-1320, 2009.

  • Sernadas, A. ; Sernadas, C. ; Rasga, J. ; CONIGLIO, M. E. . On Graph-theoretic Fibring of Logics. Journal of Logic and Computation (Print) , v. 19, p. 1321-1357, 2009.

  • CONIGLIO, M. E. ; TESTA, Rafael . Dilemas Deônticos e Escolha:Considerações Pragmáticas. Revista Brasileira de Filosofia , v. 232, p. 231-246, 2009.

  • Carnielli, Walter A. ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . New Dimensions on Translations Between Logics. Logica Universalis (Print) , v. 3, p. 1-18, 2009.

  • CONIGLIO, M. E. . Logics of Deontic Inconsistency. Revista Brasileira de Filosofia , v. 233, p. 162-186, 2009.

  • CONIGLIO, M. E. ; PERON, Newton Marques . A Paraconsistentist Approach to Chisholm's Paradox. Principia (Florianópolis. Online) , v. 13, p. 299-326, 2009.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . Aristóteles, paraconsistentismo e a tradição budista. O Que nos Faz Pensar , v. 23, p. 163-175, 2008.

  • REIS, Teófilo de Souza ; CONIGLIO, M. E. . Covering Logics via Possible-Translations. CLE e-Prints (Online) , v. 8, p. 6, 2008.

  • TESTA, Rafael ; CONIGLIO, M. E. . Solving Normative Conflicts Using Preference Relations. CLE e-Prints (Online) , v. 8, p. 6, 2008.

  • PERON, Newton Marques ; CONIGLIO, M. E. . Logics of Deontic Inconsistencies and Paradoxes. CLE e-Prints (Online) , v. 8, p. 6, 2008.

  • CONIGLIO, M. E. . Logics of deontic inconsistency. CLE e-Prints (Online) , Campinas, v. 7, n.4, p. 4, 2007.

  • CONIGLIO, M. E. . Recovering a Logic from Its Fragments by Meta-Fibring. Logica Universalis (Print) , v. 1, p. 377-416, 2007.

  • FERNÁNDEZ, Víctor Leandro ; CONIGLIO, M. E. . Fibring in the Leibniz Hierarchy. Logic Journal of the IGPL , v. 15, p. 475-501, 2007.

  • SBARDELLINI, Luís Augusto ; CONIGLIO, M. E. . Some results on ordered structures in toposes. Reports on Mathematical Logic , Cracóvia, v. 40, p. 181-198, 2006.

  • CONIGLIO, M. E. . Towards a stronger notion of translation between logics. Manuscrito (UNICAMP) , Campinas (São Paulo), v. 28, n.2, p. 231-262, 2005.

  • CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; SERNADAS, Amílcar ; SERNADAS, Cristina . Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information , Dordrecht, v. 12, n.2, p. 183-211, 2003.

  • FERNÁNDEZ, Víctor Leandro ; CONIGLIO, M. E. . Combining Valuations with Society Semantics. Journal of Applied Non-Classical Logics , Paris, v. 13, n.1, p. 21-46, 2003.

  • CONIGLIO, M. E. ; SERNADAS, Amílcar ; SERNADAS, Cristina . Fibring Logics with Topos Semantics. Journal of Logic and Computation (Print) , Oxford, v. 13, n.4, p. 595-624, 2003.

  • CONIGLIO, M. E. ; CARNIELLI, Walter Alexandre . Transfers between logics and its applications. Studia Logica , Dordrecht, v. 72, n.3, p. 367-400, 2002.

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Modules in the Category of Sheaves over Quantales. Annals of Pure and Applied Logic (Print) , v. 108, n.1-3, p. 103-136, 2001.

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Non-Commutative Topology and Quantales. Studia Logica , Dordrecht, v. 65, n.2, p. 223-236, 2000.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . A Categorial Approach to the Combination of Logics. Manuscrito (UNICAMP) , Campinas (São Paulo), v. 22, n.2, p. 69-94, 1999.

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Equality in Linear Logic. Logique et Analyse , Bruxelas, v. 153, p. 113-151, 1996.

  • Carnielli, Walter ; Coniglio, Marcelo Esteban . Paraconsistent Logic: Consistency, Contradiction and Negation. 1. ed. Berlin: Springer International Publishing, 2016. v. 1. 416p .

  • CARVALHO, M. (Org.) ; Braida, Celso (Org.) ; Salles, João Carlos (Org.) ; CONIGLIO, M. E. (Org.) . Filosofia da Linguagem e da Lógica. 1. ed. São Paulo: ANPOF, 2015. v. 1. 459p .

  • Beziau, J.-Y. (Org.) ; CONIGLIO, M. E. (Org.) . Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. 1. ed. Londres: College Publications, 2011. v. 1. 486p .

  • CARNIELLI, Walter A (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . The Many Sides of Logic. 1. ed. Londres: College Publications, 2009. v. 1. 586p .

  • CARNIELLI, Walter A ; CONIGLIO, M. E. ; GABBAY, Dov ; GOUVEIA, P. ; SERNADAS, Cristina . Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems. 1. ed. Dortrecht: Springer, 2008. v. 1. 620p .

  • CARNIELLI, Walter Alexandre (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . An Event on Brazilian Logic Part II. Proceedings of the XIII Brazilian Conference on Mathematical Logic. Logic Journal of the IGPL Vol. 13, nro. 1. Oxford: Oxford University Press, 2005. v. 1.

  • CARNIELLI, Walter Alexandre (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . An Event on Brazilian Logic Part I. Proceedings of the XIII Brazilian Conference on Mathematical Logic. Logic Journal of the IGPL Vol. 12, nro. 6. Oxford: Oxford University Press, 2004. v. 1. 210p .

  • CARNIELLI, Walter Alexandre (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . Paraconsistency: the logical way to the inconsistent. Proceedings of the II World Congress on Paraconsistency. 1. ed. New York: Marcel Dekker, Inc., 2002. v. 1.

  • Coniglio, Marcelo E. ; FIGALLO-ORELLANO, Aldo . A Model-Theoretic Analysis of Fidel-Structures for mbC. In: Can Başkent; Thomas Macaulay Ferguson. (Org.). Outstanding Contributions to Logic. 1ed.Cham: Springer International Publishing, 2020, v. 18, p. 189-216.

  • Brito, Abner ; Barros, Laécio ; Laureano, Estevão ; Bertato, Fábio ; Coniglio, Marcelo . Fuzzy Formal Concept Analysis. In: Guilherme A. Barreto; Ricardo Coelho. (Org.). Communications in Computer and Information Science. 1ed.Cham: Springer International Publishing, 2018, v. , p. 192-205.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. ; RODRIGUES, A. . On formal aspects of the epistemic approach to paraconsistency. In: Max A. Freund; Max Fernandez de Castro; Marco Ruffino. (Org.). Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. 1ed.Londres: College Publications, 2018, v. , p. 48-74.

  • Bueno-Soler, Juliana ; Carnielli, Walter ; Coniglio, Marcelo E. ; Rodrigues Filho, Abilio . Formal (In)consistency, Abduction and Modalities. In: Lorenzo Magnani; Tommaso Bertolotti. (Org.). Springer Handbook of Model-Based Science. 1ed.Dordrecht: Springer International Publishing, 2017, v. 1, p. 315-335.

  • CONIGLIO, M. E. ; PRIETO-SANABRIA, L. . Modal logic S4 as a paraconsistent logic with a topological semantics. In: Carlos Caleiro; Francisco Dionisio; Paula Gouveia; Paulo Mateus; João Rasga. (Org.). Logic and Computation: Essays in Honour of Amilcar Sernadas. 1ed.Londres: College Publications, 2017, v. 1, p. 171-196.

  • Coniglio, Marcelo Esteban ; Figallo, Martín . A Formal Framework for Hypersequent Calculi and Their Fibring. In: Arnold Koslow; Arthur Buchsbaum. (Org.). Studies in Universal Logic. 1ed.: Springer International Publishing, 2015, v. 1, p. 73-93.

  • CONIGLIO, M. E. ; SBARDELLINI, Luís Augusto . On the ordered Dedekind real numbers in toposes. In: Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. (Org.). Why is this a Proof? Festschrift for Luiz Carlos Pereira. 1ed.Londres: College Publications, 2015, v. 1, p. 87-105.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. ; RODRIGUES, A. . Contradictions in reasoning: an evil or a blessing?. In: Ana M. Alfonso-Goldfarb; Walter A. Carnielli; Hasok Chang; Marcia H. M. Ferraz; José Luiz Goldfarb; Sílvia Waisse. (Org.). Crossing Oceans: Exchange of Products, Instruments and Procedures in the History of Chemistry and Related Sciences - Selected Papers. 1ed.Campinas: CLE-UNICAMP, 2015, v. 1, p. 135-152.

  • GOLZIO, A. C. J. ; CONIGLIO, M. E. . Non-deterministic algebras and algebraization of logics. In: Marcelo Carvalho; Celso Braida; João Carlos Salles; Marcelo Esteban Coniglio. (Org.). Filosofia da Linguagem e da Lógica. 1ed.São Paulo: ANPOF, 2015, v. 1, p. 327-346.

  • CONIGLIO, M. E. ; RODRIGUES, T. G. . Some investigations on mbC and mCi. In: Cezar A. Mortari. (Org.). Tópicos de lógicas não clássicas. 1ed.Florianópolis, SC: NEL/UFSC, 2014, v. 1, p. 11-70.

  • Carnielli, Walter ; Coniglio, Marcelo E. . On Discourses Addressed by Infidel Logicians. In: Koji Tanaka; Francesco Berto; Edwin Mares; Francesco Paoli. (Org.). Paraconsistency: Logic and Applications. 1ed.Dordrecht: Springer Netherlands, 2013, v. 1, p. 27-41.

  • Ribeiro, Márcio M. ; Coniglio, Marcelo E. . Contracting Logics. In: Luke Ong; Ruy de Queiroz. (Org.). Lecture Notes in Computer Science. 'ed.Berlin: Springer Berlin Heidelberg, 2012, v. 1, p. 268-281.

  • BUENO, Juliana ; CONIGLIO, M. E. ; CARNIELLI, Walter Alexandre . Possible-translations algebraizability. In: Jean-Yves Béziau; Walter Alexandre Carnielli; Dov Gabbay. (Org.). Handbook of Paraconsistency. 1ed.Londres: King?s College, 2007, v. 9, p. 321-340.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . Combining Logics. In: E.N. Zalta. (Org.). The Stanford Encyclopedia of Philosophy. Stanford: Stanford University, 2007, v. 1, p. -.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . Bridge principles and combined reasoning. In: Thomas Müller; Albert Newen. (Org.). Logik, Begriffe, Prinzipien des Handelns (Logic, Concepts, Principles of Action). 1ed.Paderborn: Mentis Verlag, 2007, v. , p. 32-48.

  • CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; MARCOS, João . Logics of Formal Inconsistency. In: Dov Gabbay; Franz Guenthner. (Org.). Handbook of Philosophical Logic. 2ed.Dordrecht: Springer, 2007, v. 14, p. 1-93.

  • CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; MARCOS, João . Two's company: 'The humbug of many logical values'. In: Jean-Yves Béziau. (Org.). Logica Universalis. 1ed.Basel: BIrkäuser Verlag, 2005, v. , p. 169-189.

  • CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. . Splitting Logics. In: Serguei Artemov; Howard Barringer; Artur Garcez; Luis Lamb; John Woods. (Org.). We Will Show Them! Essays in Honour of Dov Gabbay. 1ed.Londres: College Publications, 2005, v. 1, p. 389-414.

  • CONIGLIO, M. E. ; SERNADAS, Cristina . A Hilbert-style axiomatization of higher-order intuitionistic logic. In: Hércules Feitosa; Frank Sautter. (Org.). Lógica: Teoria, Aplicações e Reflexões. 1ed.Campinas: CLE, 2004, v. 39, p. 25-58.

  • CUNHA, Denise Maria Maldonado da ; CONIGLIO, M. E. ; CARNIELLI, Walter Alexandre . An incoherence in the AGM theory?. In: Hércules Feitosa; Frank Sautter. (Org.). Lógica: Teoria, Aplicações e Reflexões. 1ed.Campinas: CLE, 2004, v. 39, p. 107-117.

  • CONIGLIO, M. E. . A Logic for Sheaves Over (Right-Sided and Idempotent) Quantales. In: Edward Hermann Haeusler; Luiz Carlos Pereira. (Org.). Pratica: Proofs, Types and Categories. 1ed.Rio de Janeiro: Pontifícia Universidade Católica de Rio de Janeiro, 1999, v. , p. 185-212.

  • CONIGLIO, M. E. ; FERNÁNDEZ, Víctor Leandro . Plain fibring and direct union of logics with matrix semantics. In: 2nd Indian International Conference on Artificial Intelligence, 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005), 2005. v. 1. p. 1590-1608.

  • BÉZIAU, Jean Yves ; CONIGLIO, M. E. . Combining Conjunction with Disjunction. In: 2nd Indian International Conference on Artificial Intelligence, 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005), 2005. v. 1. p. 1648-1658.

  • CONIGLIO, M. E. ; FERNÁNDEZ, Víctor Leandro ; FIDEL, M. . Relevant Information and Relevant Logic. In: 6th Dr. Antonio A. R. Monteiro Congress of Mathematics, 2001, Bahia Blanca. Proceedings of the 6th Dr. Antonio A. R. Monteiro Congress of Mathematics, 2001. p. 119-127.

  • CONIGLIO, M. E. . Categorical logic with partial elements. In: XI Brazilian Conference on Mathematical Logic, 1999, Salvador (Bahia). Advances in Contemporary Logic and Computer Science. Rhode Island: American Mathematical Society, 1999. v. 235. p. 63-82.

  • CONIGLIO, M. E. ; GONZÁLEZ, O. O. . Matching de objetos difusos. In: XXII JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL, 1993, Buenos Aires. Anais das XXII JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL. Buenos Aires: SADIO (Sociedad Argentina de Informática e Investigación Operativa), 1993. v. 1. p. 3-21.

  • CONIGLIO, M. E. . Obtención de respuestas en bases de conocimiento. In: XXI JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL, 1992, Buenos Aires. Anais das XXI JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL. Buenos Aires: SADIO (Sociedad Argentina de Informática e Investigación Operativa), 1992. v. 1. p. 1.41-1.63.

  • CONIGLIO, M. E. ; ESTEVA, FRANCESC ; FLAMINIO, Tommaso ; GODO, LLUÍS . On an implication-free reduct of MV_n chains. In: Logic, Algebra and Truth Degrees (LATD 2018), 2018, Berna. Logic, Algebra and Truth Degrees (LATD 2018) - Proceedings. Berna: University of Bern, 2018. p. 43-46.

  • CONIGLIO, M. E. ; ESTEVA, FRANCESC ; GISPERT, Joan ; GODO, LLUÍS . Maximality in finite-valued Lukasiewicz logics defined by order filters. In: Logic, Algebra and Truth Degrees (LATD 2018), 2018, Berna. Logic, Algebra and Truth Degrees (LATD 2018) - Proceedings. Berna: University of Bern, 2018. p. 39-42.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . On discourses addressed by infidel logicians. In: Fourth World Congress of Paraconsistency (WCP4), 2008, Melbourne. WCP4: The Fourth World Congress of Paraconsistency. Melbourne: Ormond College, 2008. v. 1. p. 16-18.

  • CONIGLIO, M. E. ; FERNÁNDEZ, Víctor Leandro . Fibring algebraizable consequence systems. In: Workshop on Combination on Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of CombLog'04 - Workshop on Combination of Logics: Theory and Applications. Lisboa: Departamento de Matemática - IST, 2004. p. 93-98.

  • BUENO, Juliana ; CONIGLIO, M. E. ; CARNIELLI, Walter Alexandre . Finite algebraizability via possible-translations semantics. In: Workshop on Combination on Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings do CombLog'04 - Workshop on Combination on Logics: Theory and Applications. Lisboa: Departamento de Matemática - IST. p. 79-86.

  • CONIGLIO, M. E. ; CARNIELLI, Walter A . A Model Theoretic Approach to Translations Between Logics. In: 7th Workshop on Logic, Language, Information and Computation, 2000, Natal, RN. Proceedings of 7th WoLLIC, 2000. p. 55-65.

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Non-commutative topology and quantales. In: XII Encontro Brasileiro de Lógica, 1999, Itatiaia (Rio de Janeiro). XII Encontro Brasileiro de Lógica, 1999. v. 1. p. 27-34.

  • CONIGLIO, M. E. ; FIGALLO, M. . On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 104-104.

  • CONIGLIO, M. E. ; RODRIGUES, T. G. . New results on mbC and mCi. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 187-187.

  • CONIGLIO, M. E. ; PERON, Newton Marques . Actualizing Dugundji's Theorem. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 227-228.

  • MORETTO-RIBEIRO, M. ; CONIGLIO, M. E. . Safe Fibring or How to Revise Logic Systems. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 240-241.

  • CONIGLIO, M. E. . First-Order Paraconsistent Logics. In: 15th Latin American Symposium on Mathematical Logic, 2013, Bogotá. Abstracts - 15th Latin American Symposium on Mathematical Logic. Bogotá, 2013. p. 22-22.

  • CONIGLIO, M. E. . A tutorial on combining logics. In: XIV Latin American Symposium on Mathematical Logic (SLALM), 2009. The Bulletin of Symbolic Logic. Poughkeepsie: Association for Symbolic Logic. v. 15. p. 335-335.

  • PERON, Newton Marques ; CONIGLIO, M. E. . Lógicas da Inconsistência Deôntica e Paradoxos. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 143-143.

  • REIS, Teófilo de Souza ; CONIGLIO, M. E. . Covering Logics via Possible-Translations. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 163-163.

  • TESTA, Rafael ; CONIGLIO, M. E. . Solving Normative Conflicts Using Preference Relations. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 174-174.

  • CONIGLIO, M. E. . Combinações entre Lógicas. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 40-40.

  • CONIGLIO, M. E. . Metalógica de Argumentações baseada na noção de peso argumentativo. In: XIII Encontro Nacional de Filosofia da ANPOF, 2008, Canela, RS. Livro de Atas - XIII Encontro Nacional de Filosofia da ANPOF. Porto Alegre: Editora UNISINOS, 2008. v. 1. p. 446-447.

  • CONIGLIO, M. E. ; PERON, Newton Marques . A paraconsistentist approach to deontic paradoxes. In: Fourth World Congress of Paraconsistency (WCP4), 2008, Melbourne. WCP4: The Fourth World Congress of Paraconsistency. Melbourne: Ormond College, 2008. p. 18-19.

  • CONIGLIO, M. E. . Meta-Translations and Fibring. In: 2005-06 Winter Meeting of the Association for Symbolic Logic, 2006, New York. Bulletin of Symbolic Logic. New York: ASL, 2006. v. 12. p. 507-507.

  • CONIGLIO, M. E. . Combining and Uncombining Logics. In: XIII SLALM - XIII Latin American Symposium in Mathematical Logic, 2006, Oaxaca. XIII Latin American Symposium in Mathematical Logic - Book of Abstracts. Oaxaca, 2006. v. 1. p. 18-19.

  • CONIGLIO, M. E. . Combinar e Decompor Lógicas: Como e por que?. In: XII Encontro Nacional de Filosofia da ANPOF, 2006, Salvador, BA. Atas do XII Encontro Nacional de Filosofia - ANPOF. Campinas, SP: Associação Nacional de Pós-Graduação em Filosofia, 2006. v. 1. p. 355-356.

  • CONIGLIO, M. E. . Combinações de sistemas de conseqüência. In: XI Encontro Nacional de Filosofia da ANPOF, 2004, Salvador. Livro de Atas do XI Encontro Nacional de Filosofia da ANPOF. Salvador: ANPOF, 2004. v. 1. p. 290-291.

  • CONIGLIO, M. E. ; SBARDELLINI, Luís Augusto . Intuitionistic Model Theory in Topos. In: XII SLALM - XII Latin American Symposium in Mathematical Logic, 2004, San José. Book of Abstracts - XII Latin American Symposium in Mathematical Logic, 2004. p. 1-1.

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Representation of C*-algebras by Sheaves over Quantales. In: Logic Colloquium 2001, 2002, Viena. Bull. of Symbolic Logic, 2002. v. 8. p. 130-130.

  • CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. . Belief Revision for Non-Classical Logics. In: Logic Colloquium 2001, 2002, Viena. Bull. of Symbolic Logic, 2002. v. 8. p. 129-130.

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

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . Translations and Model Theory. In: Logic Colloquium 2000, 2001, Paris. Bull. of Symbolic Logic, 2001. v. 7. p. 104-105.

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Representation of C*-algebras by Sheaves over Quantales. In: Logic Colloquium 2001, 2001, Viena. Collegium Logicum. Viena: Kurt Gödel Society, 2001. v. 4. p. 75-75.

  • CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. . Belief Revision for Non-Classical Logics. In: Logic Colloquium 2001, 2001, Viena. Collegium Logicum. Viena: Kurt Gödel Society, 2001. v. 4. p. 68-68.

  • CONIGLIO, M. E. ; MARTINS, Ana Teresa ; SERNADAS, Amílcar ; SERNADAS, Cristina . Fibring (Para)consistent logics. In: II World Congress on Paraconsistency, 2000, Juquehy (São Paulo). II World Congress on Paraconsistency- Book of Abstracts. Campinas: CLE-UNICAMP, 2000. p. 58-59.

  • FERNÁNDEZ, Víctor Leandro ; CONIGLIO, M. E. . Uma restrição relevantista da Lógica Clássica. In: IX Encontro Nacional de Filosofia-ANPOF, 2000, Poços de Caldas, MG. Livro de Resumos do IX Encontro Nacional de Filosofia-ANPOF. Campinas, SP: CLE-UNICAMP, 2000. p. 126-127.

  • CONIGLIO, M. E. ; CARNIELLI, Walter A . Teoria de Modelos e Traduções. In: IX Encontro Nacional de Filosofia-ANPOF, 2000, Poços de Caldas, MG. Livro de Resumos do IX Encontro Nacional de Filosofia-ANPOF. Campinas, SP: CLE-UNICAMP, 2000. p. 125-126.

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . Translations and Model Theory. In: Logic Colloquium 2000, 2000, Paris. LC 2000 - Book of Abstracts. Paris: Université Paris VII, 2000. p. 88-89.

  • CONIGLIO, M. E. . An extension of categorical semantics. In: Logic Colloquium 1998, 1999, Praga. Bull. of Symbolic Logic. Champaign: Association for Symbolic Logic, 1999. v. 5. p. 138-139.

  • CONIGLIO, M. E. . Objects with extent in categorical logic. In: XI Latin-American Symposium on Mathematical Logic, 1999, Mérida. Bull. of Symbolic Logic. Champaign: Association for Symbolic Logic, 1999. v. 5. p. 522-522.

  • CONIGLIO, M. E. . A semantics of quasi-truth for the 3- valued first-order paraconsistent logic QCiore. 2019. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. . Maximalidade e maximalidade forte entre lógicas finitamente valoradas de Lukasiewicz com filtros de valores distinguidos. 2019. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Teoria de modelos baseada em estruturas pragmáticas para lógicas paraconsistentes 3-valoradas de primeira ordem: o caso de QCiore. 2019. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Model theory based on pragmatic structures for the 3-valued first-order paraconsistent logic QCiore. 2019. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Multialgebraic first-order structures for some logics of formal inconsistency. 2019. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. . Some developments on the logic G?3. 2019. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. . Recentes desenvolvimentos em Lógicas de Lukasiewicz finitamente valoradas. 2018. (Apresentação de Trabalho/Conferência ou palestra).

  • CONIGLIO, M. E. . Handling inconsistencies with Logics of Formal Inconsistency. 2018. (Apresentação de Trabalho/Conferência ou palestra).

  • CONIGLIO, M. E. . Maximality and strong maximality in the lattice of finite-valued Lukasiewicz logics. 2018. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. ; OLIVEIRA, Kleidson E. . On Three-Valued Paraconsistent Logic Programming. 2017. (Apresentação de Trabalho/Simpósio).

  • Golzio, Ana Claudia ; CONIGLIO, M. E. . About a new algebraization method for some modal systems. 2017. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. ; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Towards Non-deterministic algebraic semantics. 2016. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. ; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Swap structures: algebraizing logics by means of multialgebras. 2016. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. ; Carnielli, Walter A. . Uma nova taxonomia das Lógicas da Inconsistência Formal. 2016. (Apresentação de Trabalho/Congresso).

  • TESTA, Rafael ; CONIGLIO, M. E. ; Ribeiro, Márcio M. . Clarifying some rationality criteria of AGM-like paraconsistent belief revision. 2015. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. ; Esteva, F. ; Godo, Ll. . Paraconsistent and explosive intermediate logics between the truth and degree preserving infinite-valued Łukasiewicz logic. 2015. (Apresentação de Trabalho/Simpósio).

  • CONIGLIO, M. E. ; CARNIELLI, Walter A . From Fidel structures to swap structures for LFIs. 2015. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. ; PRIETO-SANABRIA, L. . Modal logic S4 as a paraconsistent logic with a topological semantics. 2015. (Apresentação de Trabalho/Conferência ou palestra).

  • CONIGLIO, M. E. . F-structures and matrix semantics for Logics of Formal Inconsistency. 2014. (Apresentação de Trabalho/Simpósio).

  • CONIGLIO, M. E. . On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency. 2014. (Apresentação de Trabalho/Conferência ou palestra).

  • CONIGLIO, M. E. . Tarkian-style semantics for paraconsistent and/or paracomplete 3-valued and 4-valued first-order logics. 2014. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. . F-structures and swap structures for Logics of Formal Inconsistency. 2014. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Paraconsistency and undeterminedness in information Systems. 2014. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. . On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. 2013. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Paraconsistent Logics or How to Tolerate Contradictions. 2013. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Admitiendo las contradicciones: Lógicas de la Inconsistencia Formal. 2010. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . I1 and P1 are (and are not) algebraizable with the same quasi-variety. 2007. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Decomposing logics by possible-translations coverings. 2007. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Plain fibring of Matrix Semantics. 2006. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Fibring in the Leibniz Hierarchy. 2006. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Categorial Semantics. 2000. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Splicing & Splitting Logics: a Categorial Approach. 2000. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . The Category of Abstract Logics. 2000. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Um enfoque modelo-teórico das traduções entre lógicas. 2000. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . A Lógica como Linguagem de Representação. 1998. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Lógica de Feixes Sobre Quantais. 1998. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Lógica y Categorías. 1998. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Uma Extensão da Semântica Categórica. 1998. (Apresentação de Trabalho/Seminário).

  • CONIGLIO, M. E. . Demostración Automática de Teoremas por Tableaux y Aplicaciones a Sistemas Expertos. 1990. (Apresentação de Trabalho/Congresso).

  • CONIGLIO, M. E. ; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . First-order swap structures semantics for some Logics of Formal Inconsistency. Cornell: Cornell University Library, 2019 (Preprint eletrônico).

  • CARNIELLI, Walter A ; CONIGLIO, M. E. . Twist-Valued Models for Three-valued Paraconsistent Set Theory. Cornell: Cornell University Library, 2019 (Preprint eletrônico).

  • CONIGLIO, M. E. ; ESTEVA, FRANCESC ; GISPERT, Joan ; GODO, LLUÍS . Maximality in finite-valued Lukasiewicz logics defined by order filters. Cornell: Cornell University Library, 2018 (Preprint eletrônico).

  • CONIGLIO, M. E. ; GOMEZ, Tadeo G. ; FIGALLO, M. . Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore. Cornell: Cornell University Library, 2018 (Preprint eletrônico).

  • CONIGLIO, M. E. ; FARIÑAS DEL CERRO, LUIS ; PERON, NEWTON M. . Modal Logic With Non-deterministic Semantics: Part I - Propositional Case. Cornell: Cornell University Library, 2018 (Preprint eletrônico).

  • CONIGLIO, M. E. ; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Non-deterministic algebraization of logics by swap structures. Cornell: Cornell University Library, 2017 (Preprint eletrônico).

  • CONIGLIO, M. E. ; Esteva, F. ; Godo, Ll. . Logics of formal inconsistency arising from systems of fuzzy logic. Cornell: Cornell University Library, 2013 (Preprint eletrônico).

  • CONIGLIO, M. E. ; PERON, Newton Marques . Alguns Paradoxos Modais 2006 (Texto Didáctico).

  • CONIGLIO, M. E. . Introdução à Teoria de Categorias com aplicações à Lógica 2003 (Texto Didáctico).

  • CONIGLIO, M. E. . Um Curso de teoria de Modelos 2002 (Texto Didáctico).

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Modules in the Category of Sheaves Over Quantales. Paris: Équipe de Logique Mathématique, Paris VII, Prépublications no.71, 2000 (Anais).

  • CONIGLIO, M. E. . Teoria Axiomática de Conjuntos: Uma Introdução 1998 (Texto Didáctico).

  • CONIGLIO, M. E. . A Lógica dos Feixes sobre Quantais Right-sided e Idempotentes. São Paulo: Instituto de Matemática e Estatística - Universidade de São Paulo, 1997 (Tese de Doutorado).

  • CONIGLIO, M. E. ; MIRAGLIA, Francisco . Equality in Linear Logic. Paris: Équipe de Logique Mathématique, Paris VII, Prépublications no.56, 1996 (Anais).

Seção coletada automaticamente pelo Escavador

Outras produções

CONIGLIO, M. E. . Membro do Comitê Científico do Workshop de Sistemas Complexos e Big Data: Implicações éticas para a cognição auto-organizada/School of Complex Systems and Big Data: Ethical Implications for Self-Organized Cognition. 2019.

CONIGLIO, M. E. . Membro do Comitê Científico do XII EBICC (XII Encontro Brasileiro Internacional de Ciência Cognitiva/XII International Brazilian Meeting on Cognitive Science). 2019.

CONIGLIO, M. E. . Membro do Comitê de Programa do IJCAI-19 (International Joint Conference on Artificial Intelligence). 2019.

CONIGLIO, M. E. . Membro do Comitê de Programa do IJCAI-18 (International Joint Conference on Artificial Intelligence). 2018.

CONIGLIO, M. E. . Membro do Comitê de Programa do IJCAI-17 (International Joint Conference on Artificial Intelligence). 2017.

CONIGLIO, M. E. . Membro do Comitê de Programa do 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017). 2017.

CONIGLIO, M. E. . Membro do Comitê de Programa do FroCoS 2017 (11th International Symposium on Frontiers of Combining Systems). 2017.

CONIGLIO, M. E. . Coordenador do Comitê Científico da XVIII Brazilian Logic Conference (EBL 2017). 2017.

CONIGLIO, M. E. . Membro do Comitê Científico do Workshop on Weighted Logics for Artificial Intelligence (WL4AI'15). 2015.

CONIGLIO, M. E. . Membro do Comitê Científico do 17th Workshop on Logic, Language, Information and Computation (WoLLIC'2010). 2010.

CONIGLIO, M. E. . Membro do Comitê Científico do Fourth Workshop on Logical and Semantic Frameworks, with Applications (LSFA'09). 2009.

CONIGLIO, M. E. . Membro do Comitê Científico do Evento CLE 30 anos/ XV Encontro Brasileiro de Lógica/XIV Simposio Latinoamericano de Lógica Matemática. 2008.

CONIGLIO, M. E. . Membro do Comitê Científico do Third Workshop on Logical and Semantic Frameworks, with Applications (LSFA'08). 2008.

CONIGLIO, M. E. . Parecerista do Mathematical Reviews (American Mathematical Society). 2008.

CONIGLIO, M. E. . Membro do Comitê Científico do XIV Encontro Brasileiro de Lógica. 2006.

CONIGLIO, M. E. . Membro do Comitê Científico da sessão 'Logical Consequence and its Combinations'-The 2nd Indian International Conference on Artificial Intelligence (IICAI-05). 2005.

CONIGLIO, M. E. . Membro do Comitê Científico do 10th Workshop on Logic, Language, Information and Computation (WoLLIC'2003). 2003.

CONIGLIO, M. E. . Membro do Comitê Científico do III World Congress on Paraconsistency (WCP 3). 2003.

CONIGLIO, M. E. . Membro do Comitê Científico do Third International Workshop COMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (III CMSRA). 2003.

CONIGLIO, M. E. . Membro do Comitê de Avaliação do XXIII Concurso de Teses e Dissertações da Sociedade Brasileira de Computação. 2010.

CONIGLIO, M. E. . Referee do periódico International Journal of Mathematics and Mathematical Sciences. 2005.

CONIGLIO, M. E. . Referee do II World Congress on Paraconsistency. 2000.

CONIGLIO, M. E. . Referee do periódico Reports on Mathematical Logic. 1999.

CONIGLIO, M. E. . Referee do periódico Journal of Logic and Computation. 1999.

CONIGLIO, M. E. . Referee dos Proceedings do XI Encontro Brasileiro de Lógica. 1998.

CONIGLIO, M. E. . Semânticas não-determinísticas. 2019. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Lógicas de la Inconsistencia Formal: Sistemas básicos y semánticas no-determinísticas. 2017. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Non-deterministic semantics for non-classical logics. 2017. (Curso de curta duração ministrado/Extensão).

Carnielli, Walter A. ; CONIGLIO, M. E. ; RODRIGUES, A. . An Epistemic Approach to Paraconsistency. 2017. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Lógicas Paraconsistentes: Consistencia, Contradicción y Negación. 2016. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. ; PERON, Newton Marques . Dugundji's Theorem. 2015. (Curso de curta duração ministrado/Outra).

CONIGLIO, M. E. ; CARNIELLI, Walter A . Proof Theory for contemporary logics by handling polinomials over finite fields. 2011. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Tópicos de Lógica Avanzada II: Teoria de Modelos y Lógica Modal. 2010. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . How to Cut and Paste Logical Systems. 2010. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Tópicos de Lógica Avanzada: Teoria de Modelos y Lógica Modal. 2009. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Category Theory and Logic. 2008. (Curso de curta duração ministrado/Outra).

CONIGLIO, M. E. . Combinações entre Lógicas. 2008. (Curso de curta duração ministrado/Outra).

CONIGLIO, M. E. . Alguns Paradoxos Modais (Mini-Curso Modalidades). 2006. (Curso de curta duração ministrado/Outra).

CONIGLIO, M. E. . Lógica Modal. 2006. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Combinação de Lógicas. 2005. (Curso de curta duração ministrado/Outra).

CONIGLIO, M. E. . Logica y Teoria de Categorias. 2003. (Curso de curta duração ministrado/Extensão).

CONIGLIO, M. E. . Topologia Não-comutativa e Teoria de Quantais na Representação de Álgebras C*. 1998. (Curso de curta duração ministrado/Outra).

CONIGLIO, M. E. . Revisión de Creencias. 1991. (Curso de curta duração ministrado/Outra).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2010 - 2016

    Projeto Temático Fapesp LOGCONS: Logical Consequence, Reasoning and Computation, Descrição: LOGCONS: Logical Consequence, Reasoning and Computation Coordenador: Walter Carnielli Pesquisadores Principais: Walter Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano Projeto Temático FAPESP 2010/51038-0, 2010-2016. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (7) Doutorado: (8) . , Integrantes: Marcelo Esteban Coniglio - Integrante / Walter A Carnielli - Coordenador / Itala Maria Loffreddo D'Ottaviano - Integrante / Hércules de Araujo Feitosa - Integrante / Hugo Mariano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Flávio Correa da Silva - Integrante / Julio Michael Stern - Integrante / Carlile Lavor - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Estadual Paulista Júlio de Mesquita Filho - Cooperação / Universidade Estadual de Campinas - Cooperação.

  • 2005 - 2010

    Projeto Temático Fapesp CONSREL: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications, Descrição: CONSREL: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications Coordenador: Walter Carnielli Pesquisadores Principais: Walter Carnielli, Marcelo E. Coniglio, Marcelo Finger Projeto Temático FAPESP 2004/14107-2, 2005-2010. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (7) . , Integrantes: Marcelo Esteban Coniglio - Integrante / Itala Maria Loffreddo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Hércules de Araujo Feitosa - Integrante / Hugo Mariano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Angela Weiss - Integrante / Flávio Correa da Silva - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade Estadual de Campinas - Cooperação / Universidade Estadual Paulista Júlio de Mesquita Filho - Cooperação / Universidade de São Paulo - Cooperação., Número de produções C, T & A: 6 / Número de orientações: 1

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia. , Rua Cora Coralina, 100, Cidade Universitária, 13083896 - Campinas, SP - Brasil - Caixa-postal: 6110, Telefone: (19) 35211574, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2013 - Atual

    Universidade Estadual de Campinas

    Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2004 - 2013

    Universidade Estadual de Campinas

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2000 - 2004

    Universidade Estadual de Campinas

    Vínculo: , Enquadramento Funcional: Professor Colaborador, Carga horária: 40, Regime: Dedicação exclusiva.

  • 1998 - 2000

    Universidade Estadual de Campinas

    Vínculo: , Enquadramento Funcional: Professor Assistente Doutor, Carga horária: 40, Regime: Dedicação exclusiva.

    Atividades

    • 08/2003

      Direção e administração, Centro de Lógica Epistemologia e História da Ciência, .,Cargo ou função, Cargo administrativo.

    • 03/2000

      Ensino, Filosofia, Nível: Pós-Graduação,Disciplinas ministradas, Introdução à Lógica, Tópicos Especiais de Lógica, Computabilidade, Teoria de Modelos, Metamatemática, Seminários de Orientação

    • 08/1998

      Ensino, Bacharelado Em Filosofia, Nível: Graduação,Disciplinas ministradas, Introdução à Lógica, Leitura e Estudos Dirigidos

    • 03/1998

      Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.,Linhas de pesquisa

    • 08/1998 - 11/2004

      Direção e administração, Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.,Cargo ou função, Integrante da Sub CPG do Departamento de Filosofia.

    • 03/1998 - 12/1999

      Ensino, Lógica e Filosofia da Ciência, Nível: Pós-Graduação,Disciplinas ministradas, Introdução à Lógica, Teoria Axiomática de Conjuntos, Teoria de Modelos, Seminários de Programa, Tópicos Especiais de Lógica

  • 1990 - 1992

    Universidad de Buenos Aires

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor, Carga horária: 45, Regime: Dedicação exclusiva.

    Outras informações:
    "Jefe de Trabajos Prácticos con Dedicación Exclusiva"

    Atividades

    • 06/1990 - 07/1992

      Pesquisa e desenvolvimento , Departamento de Computação, Faculdade de Ciências Exatas e Naturais.,Linhas de pesquisa

    • 06/1990 - 07/1992

      Ensino, Bacharelado em Computação, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial, Lógica para Computação, Lógicas não-Monotônicas e Revisão de Crenças

  • 1989 - 1990

    Universidad Nacional de Mar del Plata

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor, Carga horária: 12

    Outras informações:
    "Ayudante de Primera con Dedicación Simple"

  • 1987 - 1989

    Universidad Nacional de Mar del Plata

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Monitor, Carga horária: 10

    Atividades

    • 10/1989 - 05/1990

      Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra, Lógica

    • 04/1987 - 09/1989

      Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra I, Análise Matemática I, Fundamentos da Matemática, Lógica, Matemática II (E.D.O. aplicadas à Biologia)