Jean-Yves Béziau

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

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


Franco-suíço, é mestre em filosofia (Alegoria da caverna - Sorbonne 1988 - orientadora: Sarah Kofman) e doutor em filosofia (A verdade lógica - USP 1996 - orientador: Newton da Costa). Também é mestre e doutor em lógica matemática e fundamentos da informática da Universidade de Paris 7 sob a orientação de Daniel Andler . Foi pesquisador na Polônia (1992-93), na Califórnia (UCLA 1994, Stanford 2000, UCSD 2014) e no Brasil (LNCC 1995-99). Fez parte do programa de elite do Centro de Pesquisas Suíço (SNF) durante 6 anos (2002-2008). Voltou no Brasil como pesquisador DCR-CNPq/FUNCAP, nível A, no departamento de filosofia da UFC em Fortaleza. Desde 2010 tem a posição de professor de lógica no departamento de filosofia da UFRJ. É membro eleito da Academia Brasileira de Filosofia (ABF) e da Académie Internationale de Philosophie des Sciences (AIPS). Em 2014 criou o Prêmio Newton da Costa de Lógica. Foi professor convidado na Universidade de Munique (LMU) na Alemanha, diretor de projetos na India, Russia e China e lecionou nas universidades mais importantes do mundo. Para os 50 anos dele foi publicado pela Springer um Festschrift de 2 volumes com mais de 50 contibuições de pesquisadores do mundo inteiro. Desenvolveu a Lógica Universal, uma teoria geral das lógicas, organizando congressos internacionais sobre o assunto (Montreux 2005, Xi'an 2007, Lisboa 2010, Rio de Janeiro 2013, Istanbul 2015, Vichy 2018). É fundador e editor-chefe da revista "Logica Universalis" e da coleção de livros "Studies in Universal Logic" - ambas com a Birkhäuser/Springer. Também é fundador e editor-chefe do South American Journal of Logic, das coleções de livros "Logic PhDs" (publicação dos doutorados de lógicos famosos com apresentaçâo e comentários) e "Cadernos de Lógica e Filosofia" (publicaçôes e traduções em português de obras de lógica importantes) - ambas com a College Publication de Londres. Além disso é editor da área de lógica da Internet Encyclopedia of Philosophy. Relançou a teoria do quadrado das oposições de Aristóteles organizando sobre o assunto congressos internacionais (Montreux 2007, Córsega 2010, Libano 2012, Vaticano 2014, Ilha de Páscoa 2016) interdisciplinares (filosofia, matemática, linguística, computação, psicologia, teologia, música) e publicações relacionadas Lançou uma terceira série de eventos em lógica: o workshop Logic in Question / La Logique en Question que acontece tudo ano na Sorbonne em Paris desde 2011. Lançou uma quarta série de eventos, junto com o Ricardo Silvestre: The Wolrd Congress on Logic and Religion, a primeira edição aconteceu em João Pessoa em 2015, a segunda em Varsovia na Polônia em 2017 e a terceira edição é prevista em Varanasi na Inia em 2019. Desenvolve também pesquisas sobre imaginação, conceptualização e simbolização. Organizadou a 37.a edição do congresso mundial da ASPLF (Association des Sociétés de Philosophie de Langue Française) no Rio de Janeiro em 2018, escolhendo a imaginação como assunto do evento. (Texto informado pelo autor)


Identificação


Nome
Jean-Yves Béziau
Nome em citações bibliográficas
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ

Endereço


Endereço Profissional
Universidade Federal do Rio de Janeiro.
Largo São Francisco de Paula 1
Centro
20051070 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 22210034
Fax: (21) 22211470
URL da Homepage: http://www.jyb-logic.org


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


1993 - 1996
Doutorado em Filosofia.
Universidade de São Paulo, USP, Brasil.
Título: Sobre a verdade lógica, Ano de obtenção: 1996.
Orientador: Newton Carneiro Affonso da Costa.
Bolsista do(a): Governo Francês, RF, França.
1990 - 1995
Doutorado em Lógica Matemática e Fundamentos da Informática.
Université Paris Diderot, PARIS 7, França.
Título: Recherches sur la logique universelle, Ano de obtenção: 1995.
Orientador: Daniel Andler.
Bolsista do(a): Governo Francês, RF, França.
Palavras-chave: Lógica universal.
Grande área: Ciências Exatas e da Terra
1987 - 1990
Mestrado em Lógica Matemática e Fundamentos da Informática.
Université Paris Diderot, PARIS 7, França.
Título: La logique paraconsistent C1 de Newton C. A. da Costa,Ano de Obtenção: 1990.
Orientador: Daniel Andler.
Palavras-chave: Lógica paraconsistente.
Grande área: Ciências Humanas
1987 - 1988
Mestrado em Filosofia (DEA).
Universidade de Paris I, Panthéon-Sorbonne, UP1, França.
Título: D?une caverne à l?autre,Ano de Obtenção: 1988.
Orientador: Sarah Kofman.
Bolsista do(a): Governo Francês, RF, França.
Palavras-chave: Platão; Mitologia; Razão.
Grande área: Ciências Humanas
1986 - 1987
Mestrado em Filosofia (Maîtrise).
Universidade de Paris I, Panthéon-Sorbonne, UP1, França.
Título: L?Holomouvement chez David Bohm,Ano de Obtenção: 1987.
Orientador: Bernard d?Espagnat.
Bolsista do(a): Governo Francês, RF, França.
Palavras-chave: Filosofia da física quàntica.
Grande área: Ciências Humanas


Pós-doutorado


2017 - 2018
Pós-Doutorado.
Ecole Normale Supérieure Paris, ENS/Paris, França.
Grande área: Ciências Humanas
2014 - 2015
Pós-Doutorado.
University of California, San Diego, UCSD, Estados Unidos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2000 - 2001
Pós-Doutorado.
Stanford University, STANFORD, Estados Unidos.
Bolsista do(a): Swiss National Science Foundation, SNF, Suiça.
Grande área: Ciências Humanas
1995 - 1995
Pós-Doutorado.
University of California, Los Angeles, UCLA, Estados Unidos.
Bolsista do(a): Fulbright Program - US department of State, FULBRIGHT, Estados Unidos.


Atuação Profissional



College Publications - Londres, CP, Grã-Bretanha.
Vínculo institucional

2013 - Atual
Vínculo: Editor-Chefe, Enquadramento Funcional: Cadernos de lógica e filosofia

Vínculo institucional

2013 - Atual
Vínculo: Editor-Chefe, Enquadramento Funcional: Logic PhDs

Vínculo institucional

2013 - Atual
Vínculo: Editor-Chefe, Enquadramento Funcional: Encyclopaedia of Logic


Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: Bolsista, Enquadramento Funcional: bolsa de produtividade em pesquisa


Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

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


Logica Universalis - Birkhauser/Springer, Basel, LU, Suiça.
Vínculo institucional

2005 - Atual
Vínculo: Fundador e Editor-Chefe, Enquadramento Funcional: Editor

Atividades

01/2005 - Atual
Pesquisa e desenvolvimento , Birkhauser/Springer, Basel, .


Internet Encyclopedia of Philosophy, IEP, Estados Unidos.
Vínculo institucional

2013 - Atual
Vínculo: Editor da área de lógica, Enquadramento Funcional: Editor


Universidade de Lisboa, UL, Portugal.
Vínculo institucional

2013 - 2017
Vínculo: Colaborador, Enquadramento Funcional: Participação do projeto GeTFun MarieCurie FP7


Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2013 - 2015
Vínculo: Colaborador, Enquadramento Funcional: Participação de projeto CNPq Universal


Ludwig-Maximilians-Universität München, LMU, Alemanha.
Vínculo institucional

2011 - 2012
Vínculo: Professor Visitante, Enquadramento Funcional: DAAD


Universidade Federal do Ceará, UFC, Brasil.
Vínculo institucional

2008 - 2010
Vínculo: Professor vistante, Enquadramento Funcional: bolsista CNPq - DCR - Nível A, Regime: Dedicação exclusiva.


Studies in Universal Logic - Book Series - Birkhauser/Springer, Basel, SUL, Suiça.
Vínculo institucional

2005 - Atual
Vínculo: Fundador e Editor-Chefe, Enquadramento Funcional: Editor


Ecole Polytechnique Fédérale de Lausanne, EPFL, Suiça.
Vínculo institucional

2008 - 2008
Vínculo: Colaborador, Enquadramento Funcional: INDO SWISS BILATERAL RESEARCH INITIATIVE
Outras informações
Visita e palestras no centros de pesquisas mais importantes da India: Kanpur, Mumbai, Chennai


Swiss National Science Foundation, SNF, Suiça.
Vínculo institucional

2002 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: pesquisador


Université de Neuchâtel, UNINE, Suiça.
Vínculo institucional

2002 - 2008
Vínculo: Professor, Enquadramento Funcional: Swiss National Science Foundation


Stanford University, STANFORD, Estados Unidos.
Vínculo institucional

2000 - 2002
Vínculo: Colaborador, Enquadramento Funcional: pesquisador, Carga horária: 20


Laboratório Nacional de Computação Científica, LNCC, Brasil.
Vínculo institucional

1996 - 1999
Vínculo: Colaborador, Enquadramento Funcional: Colaborador
Outras informações
Convidado por Maurício V. Kritz.


Instituto de Estudos Avançados - Universidade de São Paulo, USP, Brasil.
Vínculo institucional

1994 - 1995
Vínculo: Bolsista da Suíça, Enquadramento Funcional: Bolsista da Suíça
Outras informações
Convidado por Newton C. A. da Costa


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

1991 - 1992
Vínculo: Bolsista Lavoisier da França, Enquadramento Funcional: Bolsista
Outras informações
Convidado por Newton C. A. da Costa


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

2005 - 2009
Vínculo: Colaborador, Enquadramento Funcional: pesquisador, Carga horária: 0


Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

1999 - 2000
Vínculo: Professor Convidado, Enquadramento Funcional: Professor Convidado


Centre National de la Recherche Scientifique, CNRS, França.
Vínculo institucional

2004 - 2007
Vínculo: Colaborador, Enquadramento Funcional: pesquisador, Carga horária: 0


Department of Logic - University of Wroclaw, WROC, Polônia.
Vínculo institucional

1992 - 1993
Vínculo: Colaborador, Enquadramento Funcional: Colaborador
Outras informações
Convidado por Jan Zygmunt

Atividades

07/1992 - 12/1993
Pesquisa e desenvolvimento , Polish Academy of Science, .


American Mathematical Society, Estados Unidos.
Vínculo institucional

1994 - Atual
Vínculo: Membro, Enquadramento Funcional: Revisor


FAPERJ, F_FORN, Brasil.
Vínculo institucional

1999 - 2000
Vínculo: Bolsista, Enquadramento Funcional: pesquisador, Carga horária: 40


University of California, Los Angeles, UCLA, Estados Unidos.
Vínculo institucional

1994 - 1994
Vínculo: Bolsista, Enquadramento Funcional: Fulbright Fellow


University of California, San Diego, UCSD, Estados Unidos.
Vínculo institucional

2014 - 2014
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante


Tel-Aviv University, U.TEL-AVIV, Israel.
Vínculo institucional

2015 - 2015
Vínculo: Professor Visitante, Enquadramento Funcional: Professor /Pesquisador convidado


Sociedade Brasileira de Lógica, SBL, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Direção e administração, Enquadramento Funcional: Vice-Presidente

Vínculo institucional

2011 - 2014
Vínculo: Direção e administração, Enquadramento Funcional: Secretário


Academia Brasileira de Filosofia, ABF, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: Direção e administração, Enquadramento Funcional: Diretor de Relações Internacionais


Paraconsistent Newsletter, PAN, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: Direção, Enquadramento Funcional: Fundador e Editor
Outras informações
http://www.paraconsistency.org/2016f



Linhas de pesquisa


1.
Lógica polivalente
2.
Lógica abstrata
3.
Lógica Universal
4.
História da Lógica
5.
Filosofia da Lógica


Projetos de pesquisa


2013 - Atual
GeTFun: Generalizing Truth-Functionality
Descrição: Marie Curie project PIRSES-GA-2012-318986 funded by EU-FP7 (January 1, 2013 - December 31, 2016) The scientific guideline of the GeTFun project is to study and relate various well-motivated ways in which the attractive properties and meta-properties of truth-functionality may be generalized to cover more extensive logical grounds. Besides the abstract, model- and proof-theoretical aspects, the project will keep a strong focus in meaningful application areas where the complexity of the phenomena involved goes beyond the scope of standard approaches. The impact and relevance of the proposed line of work should accordingly be measured directly by its foundational character with respect to a better and deeper understanding of meaning in logics modeling complex phenomena and, of necessity, suitable general forms of compositional reasoning. Carlos Caleiro & Joao Marcos de Almeida - Coordenadores / Regivan Hugo Nunes Santiago - Integrante / Luiz Carlos Pereira - Integrante / Ofer Arieli - Integrante / Arnon Avron - Integrante / Jean-Yves Béziau - Integrante / Carolina Blasio - Integrante / Carlos Caleiro - Integrante / Agata Ciabattoni - Integrante / Valeria de Paiva - Integrante / Razvan Diaconescu - Integrante / Edward Hermann Haeusler - Integrante / Beata Konikowska - Integrante / Ori Lahav - Integrante / Manuel Martins - Integrante / Alexandre Rademaker - Integrante / Jaime Ramos - Integrante / Yaroslav Shramko - Integrante / Luca Viganò - Integrante / Anna Zamansky - Integrante. Instituto de Telecomunicações, Portugal (coordination); Institute of Mathematics Simion Stoilov, Romania; Institute of Computer Science of the Polish Academy of Sciences, Poland Tel-Aviv University, Israel; Technische Universitaet Wien, Austria; Academic College of Tel-Aviv-Yafo, Israel; Universidade de Aveiro, Portugal; Università degli Studi di Verona, Italy; Fundação Getúlio Vargas, Brazil; Kryvyi Rih National University, Ukraine; Pontifícia;Universidade Católica do Rio de Janeiro, Brazil; Universidade Federal do Rio de Janeiro, Brazil; Universidade Federal do Rio Grande do Norte, Brazil; Universidade Estadual de Campinas, Brazil.
Situação: Em andamento; Natureza: Pesquisa.
2013 - Atual
Métodos Formais em Filosofia: Aplicações da Lógica à Filosofia da Religião
Descrição: Projeto CNPq - Universal.
Situação: Em andamento; Natureza: Pesquisa.
2011 - Atual
Negação e Verdade Projeto 20469
Descrição: O objetivo dessa pesquisa é entender melhor a ideia de negação numa perspectiva filosófica e lógica, relacionando o conceito de negação com a noções de verdade, valor de verdade, verdade lógica..
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2010
Lógica em Computação Universal 14 2008 Processo: 478364/2008-3
Descrição: O propósito deste projeto é contribuir para o avanço da lógica matemática como ferramenta para resolver problemas em Ciência da Computação. No âmbito do projeto a lógica matemática será estudada sob uma diversidade de aspectos do ponto de vista semântico (conteúdo), do ponto de vista sintático (forma), como linguagem de representação, como ferramenta inferencial tendo sempre em vista sua aplicabilidade em ciência da computação: Este é o motivo condutor do projeto, o uso da lógica como estratégia de desenvolvimento da ciência computação. Algumas contribuições do projeto serão dentro da própria lógica, novos resultados teóricos ampliando os recursos da lógica de modo a expandir as possibilidades de uso na computação; outras serão diretamente em aplicações computacionais, mostrando uma abordagem lógica para alguns problemas em computação..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2009
Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications (ConsRel 2004\14107-2)
Descrição: A noção de inferência lógica é de fundamental importância não somente em todas as formas de argumentação (sejam formais ou informais) mas também em diferentes aspectos da computação. O estudo de inferências lógicas para aplicações requer a compreensão da combinação de mecanismos lógicos de diferentes características. Este projeto está focalizado em métodos específicos para combinar lógicas, assim como nos aspectos semãnticos, algébricos e computacionais dos sistemas resultantes. Do ponto de vista das aplicações eficientes, os métodos de aproximação para as inferências proposicionais e quantificacionais oferecem uma perspectiva promissória no estudo das complexidades intrínsecas envolvidas. Este projeto envolve 22 pesquisadores com diferentes formações acadêmicas provenientes da USP, da UNESP e da UNICAMP, com o suporte de 8 pesquisadores provenientes de 3 instituições internacionais de pesquisa. Integrantes: Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Carlos Caleiro - Integrante / Hércules de Araújo Feitosa - Integrante / Cristina Sernadas - Integrante / João Rasga - Integrante / Paulo Mateus - Integrante / Amilcar Sernadas - Integrante / Luís Augusto Sbardellini - Integrante / Juliana Bueno - Integrante / Hugo Mariano - Integrante / Odilon Otávio Luciano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Jean Yves Béziau - Integrante / Dov Gabbay - Integrante / Angela Weiss - Integrante / Flávio Correia da Silva - Integrante / Milton Augustinis de Castro - Integrante / Carlos Hifume - Integrante / Eudenia Xavier Meneses - Integrante / Joselyto Riani - Integrante / Juan Carlos Agudelo Agudelo - Integrante / Rodrigo de Alvarenga Freire - Integrante / Paulo Petrillo - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante / Guilherme Rabello - Integrante / Joao Marcos de Almeida - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de.
Situação: Concluído; Natureza: Pesquisa.
2004 - 2007
Academos - Philosophies et Sciences : la Question des Frontières
Descrição: Les relations entre sciences et philosophies sont à un tournant. La « philosophie des sciences » classique ne suffit plus. On ne peut plus admettre qu?une philosophie puisse prendre naïvement pour objet les sciences. Aucune philosophie ne peut à elle seule survoler les sciences. On ne peut plus admettre pour naturelle la distinction entre science et philosophie. De même que les points, les droites et les plans de la géométrie classique sont passés du statut d?objets donnés à celui de systèmes d?opérations, puis de systèmes d?axiomes, l?identification des sciences et des philosophies exige l?élaboration d?hypothèses. C?est dans ce contexte théorique que le dossier d?Academos trouve sa place. Il est un dossier sur le paradigme classique et les changements contemporains dans les relations entre philosophies et sciences..
Situação: Concluído; Natureza: Pesquisa.
2000 - 2002
Brain project
Situação: Em andamento; Natureza: Pesquisa.
1996 - 1998
Locia
Descrição: Métodos Formais para o Raciocínio e a Representação do Conhecimento CNPq.
Situação: Concluído; Natureza: Pesquisa.


Membro de corpo editorial


2015 - Atual
Periódico: philosophies
2014 - Atual
Periódico: South American Journal of Logic
2007 - Atual
Periódico: Journal of Logic and Computation
2005 - Atual
Periódico: Logica universalis
2000 - Atual
Periódico: International Journal of Philosophical Practice


Revisor de periódico


1992 - Atual
Periódico: Logique et Analyse
2013 - Atual
Periódico: Synthese (Dordrecht)
2003 - Atual
Periódico: Logic and Logical Philosophy
2010 - Atual
Periódico: Revista Brasileira de Filosofia
1999 - Atual
Periódico: University of Lodz. Department of Logic. Bulletin of the Section of Logic
2012 - Atual
Periódico: History and Philosophy of Logic
2004 - Atual
Periódico: Journal of Applied Logic
2000 - Atual
Periódico: Logic Journal of the IGPL (Print)
1995 - Atual
Periódico: Theoria (Madrid)
2016 - Atual
Periódico: Foundations of Science


Revisor de projeto de fomento


2012 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2012 - Atual
Agência de fomento: European Research Council


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica/Especialidade: Lógica universal.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Paraconsistente.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Modal.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: LÓGICA, FUNDAMENTOS, MODELAGEM E AUTOMATIZAÇÃO DO RACIOCÍNIO.
5.
Grande área: Lingüística, Letras e Artes / Área: Lingüística / Subárea: Semiótica.


Idiomas


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


Prêmios e títulos


2015
Membro Eleito, Académie Internationale de Philosophie des Sciences (AIPS).
2015
Santander Universities Latin America Scholarship, Santander.
2014
Fundador e Organizador do Prêmio Newton da Costa de Lógica,, .
2014
Vice-presidente da Sociedade Brasileira de Lógica, Sociedade Brasileira de Lógica (SBL).
2012
Eleito Membro Titular ad vitam - Cátedra 6, Academia Brasileira de Filosofia (ABF).
2006
Best Poster Logic Section, International Congress of Mathematicians - ICM 2006 - Madrid.
1994
Fulbright Visiting Scholar, FULBRIGHT.
1991
Lavoisier, Ministère des Affaires Etrangères - France.


Produções



Produção bibliográfica
Citações

SCOPUS
Total de trabalhos:38
Total de citações:1150
Béziau, Jean-Yves  Data: 18/07/2016

Outras
Total de trabalhos:165
Total de citações:2989
jy beziau  Data: 30/08/2017

Artigos completos publicados em periódicos

1.
BEZIAU, JEAN-YVES2018BEZIAU, JEAN-YVES. Universal Logic: Evolution of a Project. Logica Universalis (Print), v. 12, p. 1-8, 2018.

2.
BEZIAU, JEAN-YVES2018BEZIAU, JEAN-YVES. An analogical hexagon. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 94, p. 1-17, 2018.

3.
BEZIAU, JEAN-YVES2018BEZIAU, JEAN-YVES. Is the Principle of Contradiction a Consequence of $$x^{2}=x$$x2=x?. Logica Universalis (Print), v. 12, p. 55-81, 2018.

4.
BEZIAU, JEAN-YVES2017BEZIAU, JEAN-YVES. MANY 1. Journal of Indian Council of Philosophical Research, v. 34, p. 259-287, 2017.

5.
BEZIAU, JEAN-YVES2017BEZIAU, JEAN-YVES; SILVESTRE, RICARDO . Logic and Religion. Logica Universalis (Print), v. 11, p. 1-12, 2017.

6.
SILVESTRE, RICARDO SOUSA2017SILVESTRE, RICARDO SOUSA ; BÉZIAU, JEAN-YVEZ . Logic and Philosophy of Religion. Sophia, v. 56, p. 139-145, 2017.

7.
BEZIAU, JEAN-YVES2017BEZIAU, JEAN-YVES. Identification of identity. THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, v. 4, p. 3571-3581-3581, 2017.

8.
Béziau JY2016Béziau JY. Is logical relativity irrrational?. Studia Metodologizne, v. 35, p. 1-13-13, 2016.

9.
Béziau JY2016Béziau JY. Possibility, Imagination and Conception. Princípios (UFRN. Impresso), v. 23, p. 59, 2016.

10.
BEZIAU, JEAN-YVES2016BEZIAU, JEAN-YVES. Disentangling Contradiction from Contrariety via Incompatibility. Logica Universalis (Print), v. 10, p. 157-170, 2016.

11.
BEZIAU, JEAN-YVES2016BEZIAU, JEAN-YVES; GIOVAGNOLI, RAFFAELA . The Vatican Square. Logica Universalis (Print), v. 10, p. 135-141, 2016.

12.
Béziau JY2016Béziau JY. THE CONTINGENCY OF POSSIBILITY. Principia, v. 20, p. 99-115, 2016.

13.
Béziau JY2016Béziau JY. Hartley Slater and False Contradictions. South American Journal of Logic, v. 2, p. 101-107, 2016.

14.
AVRON, ARNON2016AVRON, ARNON ; BEZIAU, JEAN-YVES . Self-extensional three-valued paraconsistent logics have no implication. LOGIC JOURNAL OF THE IGPL, v. 25, p. jzw059-194, 2016.

15.
Béziau JY2015Béziau JY. Panorame de l'identité. AL-MUKHATABAT, v. 14, p. 205-219, 2015.

16.
Béziau JY2014Béziau JY. The Relativity and Universality of Logic. Synthese (Dordrecht), v. 2014, p. 1-15, 2014.

17.
Béziau JY2014Béziau JY; READ, S. . A Diagram and a Theory in Historical Perspective. History and Philosophy of Logic, v. 35, p. 1-3, 2014.

18.
BEZIAU, JEAN-YVES2014BEZIAU, JEAN-YVES. Trivial Dialetheism and the Logic of Paradox. Logic and Logical Philosophy, v. 25, p. 51-56, 2014.

19.
Béziau JY2013Béziau JY. The metalogical hexagon of opposition. Argumentos: Revista de Filosofia (Impresso), v. 10, p. 111-122, 2013.

20.
Béziau, Jean-Yves2012Béziau, Jean-Yves. LES MODELES SELON ALAIN BADIOU. AL-MUKHATABAT, v. 3, p. 251-305, 2012.

21.
Béziau, Jean-Yves2012 Béziau, Jean-Yves. The Power of the Hexagon. Logica Universalis (Print), v. 6, p. 1-43, 2012.

22.
Beziau, J.-Y.2012Beziau, J.-Y.. Pure Alethic Modal Logic. Cognitio (PUCSP), v. 13, p. 25-36, 2012.

23.
Béziau JY2011Béziau JY. A new four-valued approach to modal logic. Logique et Analyse, v. 54, p. 18-33, 2011.

24.
Béziau, Jean-Yves2011Béziau, Jean-Yves; Coniglio, M. E. . To distribute or not to distribute?. Logic Journal of the IGPL (Print), v. 19, p. 566-583, 2011.

25.
Béziau JY2011Béziau JY; Kritz, M. V. . Théorie et Modèle II. Cadernos UFS. Filosofia, v. 10, p. 8-16, 2011.

26.
Béziau, Jean-Yves2010Béziau, Jean-Yves. What is a logic? Towards axiomatic emptiness. Logical Investigations, v. 16, p. 272-279, 2010.

27.
Béziau JY2010Béziau JY. Truth as a mathematical object. Principia (UFSC), v. 14, p. 31-46, 2010.

28.
Beziau, J.-Y.2010Beziau, J.-Y.; M. Kritz . Théorie et Modèle I: Point de vue général et abstrait. Cadernos UFS. Filosofia, v. 8, p. 9-17, 2010.

29.
Béziau, Jean-Yves2010Béziau, Jean-Yves. Logic is not logic. Abstracta : linguagem, mente e ação (Niterói), v. 6, p. 73-102, 2010.

30.
Béziau, Jean-Yves2009Béziau, Jean-Yves. What is formal logic?. Revista Brasileira de Filosofia, v. 232, p. 197-208, 2009.

31.
Béziau, Jean-Yves2009Béziau, Jean-Yves. Biconditional drive to paradox. Revista Brasileira de Filosofia, v. 232, p. 197-208, 2009.

32.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2007Béziau, Jean-Yves. Sentence, Proposition and Identity. Synthese (Dordrecht), v. 154, p. 371-382, 2007.

33.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2006Béziau, Jean-Yves. The paraconsistent logic Z ? A possible solution to Jaskowski?s problem. Logic and Logical Philosophy, v. 15, p. 199-211, 2006.

34.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2006Béziau, Jean-Yves. Universal Logic in 13 questions. Bulletin of the Section of Logic, v. 25, p. 133-150, 2006.

35.
Béziau, Jean-Yves2006Béziau, Jean-Yves. La logique paraconsistante, science et philosophie. Natures Sciences Sociétés, v. 14, p. 54-68, 2006.

36.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2005Béziau, Jean-Yves. Paraconsistent logic from a modal viewpoint. Journal of Applied Logic, v. 3, p. 7-14, 2005.

37.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2004Béziau, Jean-Yves. Semantic computation of truth based on associations already learned. Journal of Applied Logic, v. 2, p. 457-467, 2004.

38.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2003Béziau, Jean-Yves. Quine on identity. Principia (UFSC), v. 7, p. 1-15, 2003.

39.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2003Béziau, Jean-Yves. New light on the square of oppositions and its nameless corner. Logical Investigations, v. 10, p. 218-232, 2003.

40.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2002Béziau, Jean-Yves. S5 is a paraconsistent logic and so is first-order classical logic. Logical Investigations, v. 9, p. 301-309, 2002.

41.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2002Béziau, Jean-Yves. La théorie des ensembles et la théorie des catégories: présentation de deux soeurs ennemies du point de vue de leurs relations avec les fondements des mathématiques. Asociacion Matematica Venezolana. Boletin, v. 9, p. 45-53, 2002.

42.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2001Béziau, Jean-Yves. From paraconsistent logic to universal logic. Sorites (Madrid), v. 12, p. 5-32, 2001.

43.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2001Béziau, Jean-Yves; de Freitas, R. P. ; VIANA, J. P. . What is classical propositional logic? (A study in universal logic). Logical Investigations, v. 7, p. 10-25, 2001.

44.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ2001Béziau, Jean-Yves. Sequents and bivaluations. Logique et Analyse, v. 44, p. 373-394, 2001.

45.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1999Béziau, Jean-Yves. The future of paraconsistent logic. Logical Studies, Estados Unidos, v. 2, p. 1-28, 1999.

46.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1999Béziau, Jean-Yves. Classical negation can be expressed by one of its halves. Logic Journal Of The Interested Group In Pure And Applied Logics, Inglaterra, v. 7, p. 145-151, 1999.

47.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1999Béziau, Jean-Yves. A logical analysis of singular terms. Sorites, Espanha, v. 10, p. 6-14, 1999.

48.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1999Béziau, Jean-Yves. A sequent calculus for Lukasiewicz three valued logic based on Suszko's bivalent semantics. Bulletin of the Section of Logic, Polônia, v. 28, p. 89-97, 1999.

49.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1999Béziau, Jean-Yves. Ruth Barcan Marcus est-elle la mère du fils de Wittgenstein ? (Considérations existentialistes sur la formule de Barcan). Manuscrito (UNICAMP), v. 22, p. 11-27, 1999.

50.
Béziau, Jean-Yves1999Béziau, Jean-Yves. La véritable portée du théroème de Lindenbaum-Asser. Logique et Analyse, v. 167, p. 341-359, 1999.

51.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1998Béziau, Jean-Yves. Recherches sur la logique abstraite. Logika, v. 18, p. 105-114, 1998.

52.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1998Béziau, Jean-Yves. Idempotent full paraconsistent negations are not algebrizable. Notre Dame Journal of Formal Logic, Estados Unidos, v. 39, p. 135-139, 1998.

53.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1998Béziau, Jean-Yves. De Morgan lattices, paraconsistency and the excluded middle. Boletim da Sociedade Paranaense de Matemática, v. 18, p. 169-172, 1998.

54.
COSTA, N. C. A.1998COSTA, N. C. A. ; Béziau, Jean-Yves . Définitions, théories des objets et paraconsistance. Theoria (Lund), v. 32, p. 367-379, 1998.

55.
COSTA, N. C. A.1997COSTA, N. C. A. ; Béziau, Jean-Yves . Overclassical logic. Logique et Analyse, Bélgica, v. 157, p. 31-44, 1997.

56.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1997Béziau, Jean-Yves. Logic may be simple. Logic And Logical Philosophy, Estados Unidos, v. 5, p. 129-147, 1997.

57.
KRAUSE, D.1997KRAUSE, D. ; Béziau, Jean-Yves ; BUENO, O. . Estruturas em ciência. Boletim da Sociedade Paranaense de Matemática, v. 17, p. 91-111, 1997.

58.
KRAUSE, D.1997KRAUSE, D. ; Béziau, Jean-Yves . Relativizations of the principle of identity. Logic Journal of the IGPL, v. 5, p. 327-338, 1997.

59.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1996Béziau, Jean-Yves. Identity, logic and strucuture. Bulletin of the Section of Logic, Polônia, v. 25, p. 89-94, 1996.

60.
COSTA, N. C. A.1996COSTA, N. C. A. ; Béziau, Jean-Yves ; BUENO, O. . Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Modern Logic, v. 6, p. 272-299, 1996.

61.
COSTA, N. C. A.1996COSTA, N. C. A. ; Béziau, Jean-Yves . Théorie paraconsistante des ensembles. Logique et Analyse, v. 39, p. 153-154, 1996.

62.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1995Béziau, Jean-Yves; BUENO, O. ; COSTA, N. C. A. . Parconsistent logic in a historical perspective. Logique et Analyse, Bélgica, v. 150, p. 111-125, 1995.

63.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1995Béziau, Jean-Yves; BUENO, O. ; COSTA, N. C. A. . What is semantics - a brief note on a huge question. Sorites, Espanha, v. 3, p. 43-47, 1995.

64.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1995Béziau, Jean-Yves; BUENO, O. ; COSTA, N. C. A. . Aspects of paraconsistent logic. Bulletin Of The Interested Group In Pure And Applied Logic, Inlaterra, v. 3, p. 597-14, 1995.

65.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1995Béziau, Jean-Yves. Negation : what it is and what it is not. Boletim da Sociedade Paranaense de Matemática, v. 15, p. 37-43, 1995.

66.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1994Béziau, Jean-Yves. De la logique formelle à la logique abstraite. Boletim da Sociedade Paranaense de Matemática, v. 14, p. 41-50, 1994.

67.
COSTA, N. C. A.1994COSTA, N. C. A. ; Béziau, Jean-Yves . Théorie de la valuation. Logique et Analyse, v. 146, p. 95-117, 1994.

68.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1994Béziau, Jean-Yves. Théorie législative de la négation pure. Logique et Analyse, v. 146, p. 147-148, 1994.

69.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1993Béziau, Jean-Yves. La critique Schopenhauerienne de l?usage de la logique en mathématiques. O Que nos Faz Pensar, v. 7, p. 81-88, 1993.

70.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1993Béziau, Jean-Yves. Nouveaux résultats et nouveau regard sur la logique paraconsistante C1. Logique et Analyse, v. 36, p. 141-142, 1993.

71.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1993Béziau, Jean-Yves. La logique abstraite au sein de la mathématique moderne. Ruch Filozoficzny, v. 50, p. 289-293, 1993.

72.
COSTA, N. C. A.1993COSTA, N. C. A. ; Béziau, Jean-Yves . Carnot?s logic. Bulletin of the Section of Logic, v. 22, p. 98-105, 1993.

73.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1990Béziau, Jean-Yves. Logiques construites suivant les méthodes de da Costa. Logique et Analyse, v. 33, p. 259-272, 1990.

74.
Béziau, Jean-Yves;Béziau JY;Beziau, J.-Y.;BEZIAU, JEAN-YVES;BEZIAU, JEAN-YVEZ;BÉZIAU, JEAN-YVEZ1989Béziau, Jean-Yves. Calcul des séquents pour logique non-alèthique. Logique et Analyse, v. 32, p. 125-126, 1989.

Livros publicados/organizados ou edições
1.
Beziau, J.-Y.; BASTI, G. . The Square of Opposition: A Cornerstone of Thought. 1. ed. Basel: Birkhäuser - Springer, 2017. v. 1. 380p .

2.
Béziau JY; GEROGIORGAKIS, S. (Org.) . New dimensions of the square of opposition. 1. ed. Muncih: Philosophia Verlag, 2017. v. 1. 414p .

3.
Béziau JY; CHAKRABORTY, M. (Org.) ; DUTTA, S. (Org.) . New Directions in Paraconsistent Logic. 1. ed. New Dehli: Springer, 2015. v. 1. 552p .

4.
Béziau, Jean-Yves; KRAUSE, D. ; ARENHART, J. R. B. . Conceptual Clarifications Tributes to Patrick Suppes (1922-2014). 1. ed. Londres: College Publication, 2015. v. 1. 241p .

5.
Béziau JY. La pointure du symbole. 1. ed. Paris: Petra, 2014. v. 1.

6.
Béziau JY; READ, S. (Org.) . Histoty and philosophy of logic - special issue on the square of opposition. 35. ed. London: Taylor & Francis, 2014. v. 1. 103p .

7.
Beziau, J.-Y.; PAYETTE, G. (Org.) . The Square of Opposition - A general framework for cognition. 1. ed. Berna: Peter Lang, 2012. v. 1. 504p .

8.
Béziau JY; JACQUETTE, D. (Org.) . Around and Beyond the Square of Opposition. 1. ed. Basel: Springer, 2012. v. 1. 379p .

9.
Béziau JY; Costa-Leite, A. (Org.) . Journal of Applied Non Classical Logics - Uses of Non-Classical Logic: Foundational Issues. 22. ed. Londres: Taylor & Francis Group, 2012. v. 1. 148p .

10.
Béziau, Jean-Yves. Universal Logic: An Anthology - From Paul Hertz to Gov Gabbay. 1. ed. Basel: Springer, 2012. v. 1. 410p .

11.
Béziau, Jean-Yves. The Challenge of Combining Logics. 19. ed. Oxford: Oxford University Press, 2011. v. 1. 78p .

12.
Béziau, Jean-Yves; Coniglio, M. E. (Org.) . Logic without frontiers. 1. ed. Londres: College Publication, 2011. v. 1. 459p .

13.
Béziau, Jean-Yves; Costa-Leite, A. . Dimensions of logical concepts. 1. ed. Campinas: CLE-UNICAMP, 2009. v. 1. 335p .

14.
Béziau, Jean-Yves; Carnielli, W. A. (Org.) ; Gabbay, D. M. (Org.) . Handbook of paraonsistency. Londres: King's College, 2007. v. 1. 512p .

15.
Béziau, Jean-Yves; Costa-Leite, A. (Org.) . Perspective on universal logic. Monza: Polimetrica, 2007. v. 1. 434p .

16.
Béziau, Jean-Yves; KRAUSE, D. (Org.) . New trends in the foundations of science. 15. ed. Dordrecht: Springer, The Netherlands, 2007. v. 1.

17.
Béziau, Jean-Yves. Logica Universalis - Towards a general theory of logic. 2. ed. Basel: Birkhauser, 2005. v. 1. 246p .

18.
Béziau, Jean-Yves; Costa-Leite, A. (Org.) ; Facchini, A. (Org.) . Aspects of universal logic. Neuchâtel: Université de Neuchâtel, 2004. v. 1. 252p .

19.
COSTA, N. C. A. ; Béziau, Jean-Yves ; BUENO, O. . Elementos de teoria paraconsistente de conjuntos. 1. ed. Campinas: Centro de Lógica, Epistemologia e História da Ciência, 1998. v. 1. 188p .

20.
Béziau, Jean-Yves; M.Tsuji (Org.) . Contemporary Brazilian Research in Logic - Part I I. 157. ed. Ghent: Centre National Belge de Recherches de Logique, 1997. v. 1. 172p .

21.
Béziau, Jean-Yves; F.A.Doria (Org.) . Contemporary Brazilian Research in Logic - Part I. 153. ed. Ghent: Centre National Belge de Recherches de Logique, 1996. v. 1. 192p .

Capítulos de livros publicados
1.
Béziau JY. Monosequent proof systems. In: Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus and Joao Rasga,. (Org.). Logic and Computation - Essays in Honour of Amilcar Sernadas. 1ed.Londres: College Publication, 2017, v. 1, p. 143-170.

2.
Béziau, Jean-Yves. There Is No Cube of Opposition. Studies in Universal Logic. 1ed.basel: Springer International Publishing, 2017, v. 1, p. 179-193.

3.
Béziau, Jean-Yves; Basti, Gianfranco . The Square of Opposition: A Cornerstone of Thought. Studies in Universal Logic. 1ed.Basel: Springer International Publishing, 2017, v. 1, p. 3-12.

4.
Béziau JY. Opposition and Order. In: J.-Y.Béziau, G.Basti. (Org.). New Dimensions of the Square of Opposition. 1ed.Munich: Philosophia Verlag, 2017, v. 1, p. 321-336.

5.
BEZIAU, JEAN-YVES. Being Aware of Rational Animals. In: Gordana, Dodig-Crnkovic, Raffalea Giovagnoli. (Org.). Studies in Applied Philosophy, Epistemology and Rational Ethics. 1ed.Cham: Springer International Publishing, 2017, v. , p. 319-331.

6.
BEZIAU, JEAN-YVES. A Chromatic Hexagon of Psychic Dispositions. In: Mracos Silva. (Org.). How Colours Matter to Philosophy. 1ed.Cham: Springer International Publishing, 2017, v. , p. 273-288.

7.
BEZIAU, JEAN-YVES. Is Modern Logic Non-Aristotelian?. In: Vladimir Markin, Dmitry Zaitsev. (Org.). The Logical Legacy of Nikolai Vasiliev and Modern Logic. 1ed.Cham: Springer International Publishing, 2017, v. , p. 19-41.

8.
BEZIAU, JEAN-YVES. Two Genuine 3-Valued Paraconsistent Logics. In: S.Akama. (Org.). Intelligent Systems Reference Library. 1ed.: Springer International Publishing, 2016, v. , p. 35-47.

9.
Béziau JY; Arthur Ronald de Vallauris Buchsbaum . Let us be Antilogical: Anti-Classical Logic as a Logic. In: Amirouche Moktefi; Alessio Moretti ; Fabien Schang. (Org.). Soyons Logiques / Let's be Logical. 1ed.Londres: College Publication, 2016, v. 1, p. 1-10.

10.
Beziau, J.-Y.. Application of Paraconsistent Logic to Technology. In: Zdravko Markov; Ingrid Russell. (Org.). Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference. 1ed.Palo Alto, CA: AAAI Press, 2016, v. 1, p. 703-703.

11.
Béziau, Jean-Yves. Logical Autobiography 50. In: A.Koslov;A.Buchsbaum. (Org.). Studies in Universal Logic. 1ed.Basel: Springer International Publishing, 2015, v. , p. 19-104.

12.
BEZIAU, JEAN-YVES. Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition). Springer Proceedings in Mathematics & Statistics. 1ed.New Dehli: Springer India, 2015, v. , p. 39-55.

13.
BEZIAU, JEAN-YVES; Franceschetto, Anna . Strong Three-Valued Paraconsistent Logics. Springer Proceedings in Mathematics & Statistics. 1ed.: Springer India, 2015, v. , p. 131-145.

14.
Béziau JY. L'arbitraire du signe face à la puissance du symbole. In: Jean-Yves Beziau. (Org.). La pointure du symbole. 1ed.Paris: Petra, 2014, v. 1, p. 9-34.

15.
Béziau JY. Three Sisters : Philosophy, Mathematics and Logic. In: Olga pombo. (Org.). O lugar da Filosofia da Ciência na nova Universidade de Lisboa. 1ed.lisboa: cful, 2014, v. 1, p. 171-191.

16.
Béziau, Jean-Yves. The New Rising of the Square of Opposition. In: Beziau, JY; Jacquette, D. (Org.). Around and Beyond the Square of Opposition. 1ed.Basel: Springer Basel, 2012, v. , p. 3-19.

17.
Béziau JY. Paralogics and the theory of valuation. In: Beziau, JY. (Org.). Universal Logic : an Anthology. 1ed.Basel: Springer Basel, 2012, v. , p. 361-372.

18.
Béziau JY. History of Truth-Values. In: D.M.Gabbay;J.F.Pelletier;J.Woods;. (Org.). Logic: A History of its Central Concepts, Vol. 11 (Handbook of the History of Logic). 1ed.Amsterdam: Elsevier, 2012, v. 11, p. 233-305.

19.
Béziau JY. What is a possible world. In: G.Imaguire; D.Jacquette. (Org.). Possible worlds - Logic, Semantics and Ontology. Munchen: Philosophia, 2010, v. , p. -.

20.
Béziau, Jean-Yves. Mystérieuse identité. In: J.Kelemen;J.Ferrari:G.Harmati. (Org.). Le même et l'aure - Identité et différence. Budapest: Eotvos University Press, 2009, v. , p. 159-162.

21.
Beziau, J.-Y.. Bivalent semantics for De Morgan logic (the uselessness of four-valuednees). In: W.A: Carnielli, M.E.Coniglio, I.M.L. D'Ottaviano. (Org.). The many sides of logic. London: College Publication, 2009, v. , p. 391-402.

22.
Béziau, Jean-Yves. Many-valued and Kripke semantics. In: J. van Benthem et al.. (Org.). The age of alternative logics. : Springer, 2006, v. , p. 89-101.

23.
Béziau, Jean-Yves. Les axiomes de Tarski. In: R. Pouivet; M. Rebuschi. (Org.). La philosophie en Pologne 1918-1939. Paris: Vrin, 2006, v. , p. 135-149.

24.
Béziau, Jean-Yves. Transitivity and paradoxes. In: J. Skilters. (Org.). The Baltic International Yearbook of Cognition, Logic and Communication. Riga: University of Riga, 2006, v. , p. 207-211.

25.
Béziau, Jean-Yves. Les universités face à la globalisation: vers une université mondiale?. UNESCO Philosophical Day 2004. Paris: UNESCO, 2006, v. , p. -.

26.
Béziau, Jean-Yves. Le château de la quantification et ses fantômes démasqués. In: P. Joray. (Org.). La quantification dans la logique moderne. Paris: L?Harmattan, 2005, v. , p. 211-232.

27.
COSTA, N. C. A. ; Béziau, Jean-Yves ; BUENO, O. . On the usefulness of paraconsistent logic. In: D. Vanderveken. (Org.). Logic, Thought and Action. : Springer, 2005, v. , p. 465-478.

28.
Béziau, Jean-Yves. A paradox in the combination of logics. In: W. A. Carnielli; F. M. Dionisio; P. Mateus. (Org.). Workshop on Combination of Logics: Theory and Applications. Lisboa: IST, 2004, v. , p. 75-78.

29.
Béziau, Jean-Yves. Bivalence, excluded middle and non contradiction. In: L. Behounek. (Org.). The Logica Yearbook 2003. Praga: Academy of Sciences, 2003, v. , p. 73-84.

30.
Béziau, Jean-Yves. Are paraconsistent negations negations?. In: W. Carnielli et al.. (Org.). Paraconsistency: the logical way to inconsistency. Nova Iorque: Marcel Dekker, 2002, v. , p. 465-486.

31.
Béziau, Jean-Yves. The philosophical import of Polish Logic. In: M. Talasiewicz. (Org.). Logic, methodology and philosophy of science at Warsaw University. Varsóvia: Polish Academy of Science, 2002, v. , p. 1-19.

32.
Béziau, Jean-Yves. Y a-t-il des principes logiques. In: L. H. Dutra. (Org.). Princípios: seu papel na filosofia e nas ciências. Florianópolis: UFSC, 2000, v. , p. 47-54.

33.
Béziau, Jean-Yves. What is paraconsistent logic?. In: D. Batens et al.. (Org.). Frontiers of paraconsistent logic. Baldock: Research Studies Press, 2000, v. , p. 95-111.

34.
Béziau, Jean-Yves; COSTA, N. C. A. . La logique paraconsistante. In: J. Sallantin; J. J. Szczeciniarz. (Org.). La preuve à la lumière de l'intelligence artificielle. Paris: Presses Un. de France, 1999, v. , p. 107-115.

35.
Béziau, Jean-Yves. The mathematical structure of logical syntax. In: W. A. Carnielli; I. M. L. D'Ottaviano. (Org.). Advances in contemporary logic and computer science. Providence: American Mathematical Society, 1999, v. , p. 1-17.

36.
Béziau, Jean-Yves. Apresentação de Newton da Costa. In: R. A. Dantas; A. Alonso. (Org.). Pensamento original made in Brazil. Rio de Janeiro: Oficina do Autor, 1999, v. , p. 11-17.

37.
Béziau, Jean-Yves. Rules, derived rules, permissible rules and the various types of systems of deduction. In: E. H. Hauesler; L. C. Pereira. (Org.). Proof, types and categories. Rio de Janeiro: PUC, 1999, v. , p. 159-184.

38.
Béziau, Jean-Yves. O princípio de razão suficiente e a lógica segundo Arthur Schopenhauer. In: F. R. R. Évora. (Org.). Século XIX : O Nascimento da Ciência Contemporânea. Campinas: CLE-UNICAMP, 1992, v. , p. 35-39.

Trabalhos completos publicados em anais de congressos
1.
Béziau, Jean-Yves. Rougier: logique et métaphyisque. In: 4th World Conference on Metaphysics, 2010, Roma. Proceedings Metaphysics 2009 ? 4th World Conference. Madrid: Fundación José Ortega y Gasset, 2009. p. 464-472.

2.
Béziau, Jean-Yves. The logic of confusion. In: International Conference of Artificial Intelligence - IC-AI?2001, 2001, Las Vegas. Proceedings of the International Conference of Artificial Intelligence - IC-AI?2001, 2001. p. 821-826.

3.
Béziau, Jean-Yves. Do sentences have identity?. In: 20th World Congress of Philosophy, 1998, Boston, 1998.

4.
Béziau, Jean-Yves. Applications de la logique paraconsistante à la justice et au droit. In: V Congresso Brasileiro de Filosofia, 1998, São Paulo. Anais do V Congresso Brasileiro de Filosofia. São Paulo: Instituto Brasileiro de Filosofia, 1998. v. II. p. 1119-1128.

5.
Béziau, Jean-Yves. What is many-valued logic?. In: 27th International Symposium on Multiple-Valued Logic, 1997, Los Alamitos. Proceedings of the 27th International Symposium on Multiple-Valued Logic. Washington: IEEE Computer Society, 1997. p. 117-121.

6.
Béziau, Jean-Yves. Du Pont?s paradox and the problem of intensional logic. In: Logica, 1994, Praga. Logica?93 - Proceedings of the 8th International Symposium. Praga, República Tcheca, 1993. p. 62-65.

7.
Béziau, Jean-Yves. Universal logic. In: Logica?94, 1994, Praga, República Tcheca. Logica?94 - Proceedings of the 8th International Symposium. Praga, República Tcheca, 1994. p. 73-93.

8.
COSTA, N. C. A. ; Béziau, Jean-Yves . La théorie de la valuation en question. In: Ninth Latin American Symposium on Mathematical Logic, 1993, Bahia Blanca. Proceedings of the Ninth Latin American Symposium on Mathematical Logic. Bahia Blanca: Universidad del Sur, 1993. p. 95-104.

Apresentações de Trabalho
1.
BEZIAU, JEAN-YVES. MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics. 2018. (Apresentação de Trabalho/Seminário).

2.
Beziau, J.-Y.. Colours and Emotions. 2017. (Apresentação de Trabalho/Seminário).

3.
BEZIAU, JEAN-YVES. Universal Logic, A New Perspcetive for Logical Research. 2017. (Apresentação de Trabalho/Seminário).

4.
BEZIAU, JEAN-YVES. Possibilité, Imagination et Conception. 2017. (Apresentação de Trabalho/Seminário).

5.
BEZIAU, JEAN-YVES. What is a substructural logic ?. 2017. (Apresentação de Trabalho/Seminário).

6.
BEZIAU, JEAN-YVES. Possibility, Imagination and Conceptualization. 2017. (Apresentação de Trabalho/Seminário).

7.
BEZIAU, JEAN-YVES. The Hexagon of Opposition. 2017. (Apresentação de Trabalho/Seminário).

8.
BEZIAU, JEAN-YVES. The Pyramid of Meaning. 2017. (Apresentação de Trabalho/Seminário).

9.
BEZIAU, JEAN-YVES. Is the Principle of Contradiction a consequence of xx = x ?. 2017. (Apresentação de Trabalho/Seminário).

10.
BEZIAU, JEAN-YVES. La Logique Colorée des Emotions. 2017. (Apresentação de Trabalho/Seminário).

11.
Beziau, J.-Y.. Possibility, Imagination and Conception. 2016. (Apresentação de Trabalho/Conferência ou palestra).

12.
Béziau JY. Is thought computable?. 2015. (Apresentação de Trabalho/Seminário).

13.
Beziau, J.-Y.. Round Squares are no contradictions. 2015. (Apresentação de Trabalho/Seminário).

14.
Beziau, J.-Y.. Lindenbaum Maximalization Theorem. 2015. (Apresentação de Trabalho/Seminário).

15.
Beziau, J.-Y.. Logic - Past, Present and Future. 2015. (Apresentação de Trabalho/Seminário).

16.
Beziau, J.-Y.. Round Squares are no contradictions. 2015. (Apresentação de Trabalho/Seminário).

17.
Beziau, J.-Y.. A general completeness theorem relating sequents and bivaluations. 2015. (Apresentação de Trabalho/Seminário).

18.
Beziau, J.-Y.. Squaring Complexity. 2015. (Apresentação de Trabalho/Seminário).

19.
Béziau JY. Universal Logic: New perspectives for Logical Research. 2014. (Apresentação de Trabalho/Conferência ou palestra).

20.
Béziau JY. Truth Functional Bivalent Logics. 2014. (Apresentação de Trabalho/Conferência ou palestra).

21.
Beziau, J.-Y.. Linking Proof and Truth through Abstract Logic. 2012. (Apresentação de Trabalho/Congresso).

22.
Beziau, J.-Y.. The Square of Oppostion and Imaginary Logic. 2012. (Apresentação de Trabalho/Congresso).

23.
Beziau, J.-Y.. The Relativity and Universality of Logic. 2012. (Apresentação de Trabalho/Congresso).

24.
Beziau, J.-Y.. Natural Paraconsistent Negations. 2012. (Apresentação de Trabalho/Congresso).

25.
Beziau, J.-Y.. Imagination, Conception and Possibility. 2012. (Apresentação de Trabalho/Conferência ou palestra).

26.
Beziau, J.-Y.. Théories et Modèles. 2012. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Béziau, Jean-Yves. "The search for mathematical roots", de I. Grattan-Guinness 2001 (resenha em The Review of Modern Logic, 10 (2005), pp.135-138.).

2.
Béziau, Jean-Yves. "From Peirce to Skolem ? A neglected chapter in the history of logic", de G. Brady 2000 (resenha em The Review of Modern Logic, 11 (2007), pp. 155-161.).

3.
Béziau, Jean-Yves. "Chance, Love and Logic", de C. S. Peirce. Bison Books, 1998 (resenha em Metaphysics, epistemology and technology, C. Mitcham (ed), Elsevier, 2000, pp. 395-397.).

4.
Béziau, Jean-Yves. "L?éclectisme", de J. Billard. Paris: Presses Universitaires de France, 1997 (resenha científica em Science et Esprit, 51 (1999), pp. 231-233.).

5.
Béziau, Jean-Yves. O conhecimento científico. São Paulo, 1997. (Prefácio, Pósfacio/Prefácio)>.

6.
Béziau, Jean-Yves. Logiques classiques et non classiques. Paris: Masson, 1997. (Tradução/Livro).

7.
Béziau, Jean-Yves. "Logic and its history in the work and writings of Jean van Heijenoort", de I. H. Anellis. Ames: Modern Logic Publishing, 1994 (resenha científica em Modern Logic, 8 (2000), pp.105-117.).


Demais tipos de produção técnica
1.
Béziau, Jean-Yves. Introduction to Universal Logic. 2008. (Curso de curta duração ministrado/Outra).

2.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logics. 2008. (palestra).

3.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logics. 2008. (palestra).

4.
Béziau, Jean-Yves. Universal Logic and the Foundations of Science. 2008. (palestra).

5.
Béziau, Jean-Yves. Universal Logic and Modern Logic. 2008. (palestra).

6.
Béziau, Jean-Yves. Universal Logic and Modern Logic. 2008. (palestra).

7.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logics. 2008. (palestra).

8.
Béziau, Jean-Yves. Logica Universalis ? Towards a general theory of logic. 2007. (Editoração/Periódico).

9.
Béziau, Jean-Yves; Costa-Leite, A. . Perspectives on Universal Logic. 2007. (Editoração/Coletânea).

10.
Béziau, Jean-Yves; Carnielli, W. A. ; Gabbay, D. M. . Handbook of Paraconsistency. 2007. (Editoração/Coletânea).

11.
Béziau, Jean-Yves. Studies in Universal Logic. 2007. (Editoração/Outra).

12.
Béziau, Jean-Yves; KRAUSE, D. . Synthese, New Trends in the Foundation of Science, 154. 2007. (Editoração/Periódico).

13.
Béziau, Jean-Yves. Logica Universalis. 2007. (Editoração/Periódico).

14.
Béziau, Jean-Yves. Universal Kripke Structures. 2007. (palestra).

15.
Mathieu, N. ; Schmidt, A.-F. ; Béziau, Jean-Yves ; Varenne, F. . Petit Collège ? Seminário interdisciplinar sobre modelagem. 2006. (organização de seminário trimestral).

16.
Béziau, Jean-Yves. Les règles du jeu. 2006. (palestra).

17.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logic. 2006. (palestra).

18.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logic. 2006. (palestra).

19.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logic. 2006. (palestra).

20.
Béziau, Jean-Yves. Absolute maximality. 2006. (palestra).

21.
Béziau, Jean-Yves. Introduction to Universal Logic. 2005. (Curso de curta duração ministrado/Outra).

22.
Béziau, Jean-Yves. Logica Universalis ? Towards a general theory of logic. 2005. (Editoração/Periódico).

23.
Béziau, Jean-Yves. Sequents and Bivaluation ? a General Completeness Theorem. 2005. (palestra).

24.
Béziau, Jean-Yves. La Logique Universelle. 2005. (palestra).

25.
Béziau, Jean-Yves. La Caverne de Platon Revisitée. 2005. (palestra).

26.
Béziau, Jean-Yves. Some fundamental problems in the combination of logics. 2005. (palestra).

27.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logic. 2005. (palestra).

28.
Béziau, Jean-Yves. Universal Logic: Towards a general theory of logic. 2005. (palestra).

29.
Béziau, Jean-Yves. Universal Logic. 2004. (palestra).

30.
Béziau, Jean-Yves. La Logique Paraconsistante et ses Applications. 2004. (palestra).

31.
Béziau, Jean-Yves. Mystérieuse Identité. 2004. (palestra).

32.
Béziau, Jean-Yves. Cerveau, Vérité, Association. 2004. (palestra).

33.
Béziau, Jean-Yves. Sequents and Bivaluation ? a General Completeness Theorem. 2004. (palestra).

34.
Béziau, Jean-Yves. Nouvelles perspectives sur la quantification. 2003. (Curso de curta duração ministrado/Outra).

35.
Béziau, Jean-Yves. O Poliedro das Oposições. 2003. (palestra).

36.
Béziau, Jean-Yves. O quadrado das oposições em perspectiva. 2003. (palestra).

37.
Béziau, Jean-Yves. Le carré des oppositions en perspective. 2003. (palestra).

38.
Béziau, Jean-Yves. Le carré des oppositions en perspective. 2003. (palestra).

39.
Béziau, Jean-Yves. Le principe de contradiction en perspective. 2003. (palestra).

40.
Béziau, Jean-Yves. La notion de contradiction en philosophie et en logique. 2003. (palestra).

41.
Béziau, Jean-Yves. The intuitive semantical background of the sequent calculus. 2003. (palestra).

42.
Béziau, Jean-Yves. New Light at the Square of Opposition and its Nameless Corner. 2003. (palestra).

43.
Béziau, Jean-Yves. Le Carré des Oppositions en Perspective. 2003. (palestra).

44.
Béziau, Jean-Yves. Negation and Modality. 2003. (palestra).

45.
Béziau, Jean-Yves. Variable et Constante. 2003. (palestra).

46.
Béziau, Jean-Yves. Semantic Computation based on Associations already Learned. 2003. (palestra).

47.
Béziau, Jean-Yves. Les mondes possibles inutiles?. 2003. (palestra).

48.
Béziau, Jean-Yves; Joray, P. . Seminário de Lógica. 2002. (organização de seminário mensal).

49.
Béziau, Jean-Yves. Mundos possíveis: uma impostura intelectual?. 2002. (palestra).

50.
Béziau, Jean-Yves. Is Modal Logic Possible?. 2002. (palestra).

51.
Béziau, Jean-Yves. Modality, Negation and the Square of Opposition. 2002. (palestra).

52.
Béziau, Jean-Yves. On some Connections between Paraconsistent and Modal Logic. 2002. (palestra).

53.
Béziau, Jean-Yves. La logique universelle. 2002. (palestra).

54.
Béziau, Jean-Yves. The square of oppositions, modal logic and paraconsistent logic. 2002. (palestra).

55.
Béziau, Jean-Yves. Theory of valuation. 2002. (palestra).

56.
Béziau, Jean-Yves. The square of oppositions, modal logic and paraconsistent logic. 2002. (palestra).

57.
Béziau, Jean-Yves. The square of oppositions, modal logic and paraconsistent logic. 2002. (palestra).

58.
Béziau, Jean-Yves. Le principe d?identité. 2002. (palestra).

59.
Béziau, Jean-Yves. Introduction à la Logique Paraconsistante. 2001. (Curso de curta duração ministrado/Outra).

60.
Béziau, Jean-Yves. Introdução à Lógica Paraconsistente. 2001. (Curso de curta duração ministrado/Outra).

61.
Arabnia, H. R. ; Béziau, Jean-Yves . Proceedings of the International Conference on Artificial Intelligence (IC?AI 2001). 2001. (Editoração/Anais).

62.
Béziau, Jean-Yves. O Cálculo Proposicional Clássico sob o ponto de vista da Lógica Universal. 2001. (palestra).

63.
Béziau, Jean-Yves. Is a Logic of Contradiction Possible?. 2001. (palestra).

64.
Béziau, Jean-Yves. Some Connections between Paraconsistent and Modal Logic. 2001. (palestra).

65.
Béziau, Jean-Yves. Some Connections between Paraconsistent and Modal Logic. 2001. (palestra).

66.
Béziau, Jean-Yves. Paraconsistent Logic and Modal Logic. 2001. (palestra).

67.
Béziau, Jean-Yves. Modality, Negation and the Square of Opposition. 2001. (palestra).

68.
Béziau, Jean-Yves. What is Classical Propositional Logic?. 2001. (palestra).

69.
Béziau, Jean-Yves. Possible Worlds: a Fashionable Nonsense?. 2001. (palestra).

70.
Béziau, Jean-Yves. Introduction to Paraconsistent Logic. 2000. (Curso de curta duração ministrado/Outra).

71.
Béziau, Jean-Yves. Sobre algumas Relações entre as Lógicas Modal e Paraconsistente. 1999. (palestra).

72.
Béziau, Jean-Yves. A Alegoria da Caverna Revisitada. 1999. (palestra).

73.
Béziau, Jean-Yves. Introdução à Obra do Prof. Newton C.A. da Costa. 1998. (palestra).

74.
Béziau, Jean-Yves. O Paradoxo da Tradução Lógica. 1998. (palestra).

75.
Béziau, Jean-Yves. Tendências Atuais da Filosofia. 1998. (palestra).

76.
Béziau, Jean-Yves. A Lógica Universal. 1998. (palestra).

77.
Béziau, Jean-Yves. A Negação e o Principio de Contradição. 1998. (palestra).

78.
Béziau, Jean-Yves. Introdução à Teoria da Prova. 1997. (Curso de curta duração ministrado/Outra).

79.
Béziau, Jean-Yves. Logique & Analyse 157. 1997. (Editoração/Periódico).

80.
Kritz, M. V. ; Béziau, Jean-Yves . Epistemologia das Ciências Pós-Biológicas. 1997. (organização de seminário semanal).

81.
Béziau, Jean-Yves; Rios, I. L. ; VIANA, J. P. . Matemática em Perspectiva. 1997. (organização de seminário mensal).

82.
Béziau, Jean-Yves; VIANA, J. P. . Seminário de Lógica Matemática e Filosofia da Matemática. 1997. (organização de seminário semanal).

83.
Béziau, Jean-Yves. A Visão Bourbachique da Matemática. 1997. (palestra).

84.
Béziau, Jean-Yves. What is Many-Valued Logic?. 1997. (palestra).

85.
Béziau, Jean-Yves. Was Frege Wrong when Identifying Reference with Truth-Value?. 1997. (palestra).

86.
Béziau, Jean-Yves. Introdução à Lógica. 1996. (Curso de curta duração ministrado/Outra).

87.
Béziau, Jean-Yves. Logique & Analyse 153-154. 1996. (Editoração/Periódico).

88.
Béziau, Jean-Yves. Polymorphisme I. 1996. (palestra).

89.
Béziau, Jean-Yves. A Lógica Universal. 1996. (palestra).

90.
Béziau, Jean-Yves. Polymorphisme II. 1996. (palestra).

91.
Béziau, Jean-Yves. Polymorphisme III. 1996. (palestra).

92.
Béziau, Jean-Yves. Aspectos da Lógica Universal. 1995. (Curso de curta duração ministrado/Outra).

93.
Béziau, Jean-Yves. Les Logiques Polyvalentes. 1995. (palestra).

94.
Béziau, Jean-Yves. Lógica e Matemática. 1995. (palestra).

95.
Béziau, Jean-Yves. Teoria das Valorações. 1995. (palestra).

96.
Béziau, Jean-Yves. La Notion de Structure. 1995. (palestra).

97.
Béziau, Jean-Yves. A Lógica Universal. 1995. (palestra).

98.
Béziau, Jean-Yves. Universal Logic: Some Results in Abstract Completeness. 1995. (palestra).

99.
Béziau, Jean-Yves. Méthodes de Gentzen. 1994. (Curso de curta duração ministrado/Outra).

100.
Béziau, Jean-Yves; Costa-Leite, A. ; Facchini, A. . Aspects of Universal Logic. 1994. (Editoração/Coletânea).

101.
Béziau, Jean-Yves. La Logique Universelle. 1994. (palestra).

102.
Béziau, Jean-Yves. Séquents, Valuation, Algèbre. 1994. (palestra).

103.
Béziau, Jean-Yves. Le Monde des Logiques Possibles. 1994. (palestra).

104.
Béziau, Jean-Yves. Abstract Logic and Modern Matematics. 1993. (palestra).

105.
Béziau, Jean-Yves. Rules, Derived Rules, Permissible Rules and the Various Types of Systems of Deduction. 1993. (palestra).

106.
Béziau, Jean-Yves. Critical Remarks about Tarksi?s Interpretation of the Liar. 1993. (palestra).

107.
Béziau, Jean-Yves. What is Negation?. 1993. (palestra).

108.
Béziau, Jean-Yves. On Logical Truth. 1993. (palestra).

109.
Béziau, Jean-Yves. Recherches sur la Logique Abstraite: les Logiques Normales. 1992. (palestra).

110.
Béziau, Jean-Yves. La Critique Schopenhauerienne de l?Usage de la Logique en Mathématiques. 1992. (palestra).

111.
Béziau, Jean-Yves. Recherches sur la Logique Abstraite: les Logiques Normales. 1992. (palestra).

112.
Béziau, Jean-Yves. La Logique selon Schopenhauer. 1992. (palestra).

113.
Béziau, Jean-Yves. Les Fondements de la logique: Principes et Structures. 1992. (palestra).

114.
Béziau, Jean-Yves. La Logique Abstraite. 1992. (palestra).

115.
Béziau, Jean-Yves. La Logique selon Schopenhauer. 1992. (palestra).

116.
Béziau, Jean-Yves. Logique Abstraite et Théorie de la Valuation. 1992. (palestra).

117.
Béziau, Jean-Yves. Os Fundamentos da Lógica. 1992. (palestra).

118.
Béziau, Jean-Yves. Abstract Logic. 1992. (palestra).

119.
Béziau, Jean-Yves. Abstract Logic. 1992. (palestra).

120.
Béziau, Jean-Yves. From Paraconsistent Logic to Abstract Logic. 1992. (palestra).

121.
Béziau, Jean-Yves. Abstract Semantics. 1992. (palestra).

122.
Béziau, Jean-Yves. Universal Logic. 1992. (palestra).

123.
Béziau, Jean-Yves. La Logique Paraconsistante C1 de Newton C. A. da Costa. 1991. (palestra).

124.
Béziau, Jean-Yves. La Logique Paraconsistante. 1991. (palestra).

125.
Béziau, Jean-Yves. Sémantique Bivalente. 1991. (palestra).

126.
Béziau, Jean-Yves. Le Concept d?Ensemble et sa Représentation Intuitive. 1990. (palestra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Béziau, Jean-Yves. Participação em banca de Sami Soares Passos de Sá. Uma aplicação para a LPR. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

2.
Béziau, Jean-Yves. Participação em banca de Wladimir Aurujo Tavares. Sistemas formais avançados e a estratificação relevante: uma defesa da predicatividade das definições. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

3.
Béziau, Jean-Yves; PEQUENO, T. H. C.; G. Imaguire; PEREIRA, L. C.. Participação em banca de Cicero Cavalcante Barroso. O Tractatus Logico-Philosophicus de Wittgenstein.. 2002. Dissertação (Mestrado em Filosofia) - Universidade Federal do Ceará.

4.
Béziau, Jean-Yves. Participação em banca de João Fernando Lima Alcântara. Programação em lógica estendida da inconsistência epistêmica. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Ceará.

5.
Béziau, Jean-Yves. Participação em banca de Patrícia del Nero Velasco. Estudo de lógica abstrata: sobre um artigo inaugural de Alfred Tarski. 2000. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo.

6.
Béziau, Jean-Yves. Participação em banca de João Marcos de Almeida. Semânticas de traduções possíveis. 1999. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

7.
Béziau, Jean-Yves; COSTA, N. C. A.; Delfim Netto. Participação em banca de Marcelo Tsuji. A lógica matemática e os fundamentos da microeconomia. 1996. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

Teses de doutorado
1.
Carnielli, W. A.; FINGER, M.; MARIANO, H.; Béziau JY; DOTTAVIANO, I.. Participação em banca de Mariana Matulovic da Silva. Demonstrações na algibeira: polinômios como um método universal de prova. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

2.
DOTTAVIANO, I.; Béziau, Jean-Yves; da Costa, Newton C. A.; BUENO, O.. Participação em banca de Evandro Luis Gomes. Sobre a história da paraconsistência e a obra de da Costa: a instauração da Lógica Paraconsistente. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

3.
DESCLES, J.; Béziau JY; GANASCIA, J.; SALLANTIN, J.; BISKRI, I.. Participação em banca de Benoît Sauzay. Le concept informatique de compilation généralisée dans les sciences cognitives (linguistique, logique, intelligence artificielle) : contribution au rapport entre logique combinatoire et les E algèbres. 2013. Tese (Doutorado em Informatique) - Université Paris-Sorbonne.

4.
Béziau, Jean-Yves; M.C. Dias; W. Mendonça. Participação em banca de Bernardo Gonçalves Alonso. Informação: verdadeira, sem sobrecarga e sem paradoxo. 2011. Tese (Doutorado em Filosofia) - Universidade Federal do Rio de Janeiro.

5.
Béziau, Jean-Yves; Luzeaux, Dominique; Bourgine, Paul; Jeanmart, Frédéric; Szczeciniarz, Jean-Jacques. Participação em banca de Christopher Dartnell. Conception d?un cadre formel d?interaction pour la découverte scientifique computationelle. 2008. Tese (Doutorado em Informatique) - Université de Montpellier.

6.
Béziau, Jean-Yves. Participação em banca de Fabien Schang. Les modalités épistémiques. 2007. Tese (Doutorado em Filosofia) - Université de Lorraine.

7.
Béziau, Jean-Yves. Participação em banca de Ricardo Sylvestre. La logique du raisonnement scientifique. 2005. Tese (Doutorado em Filosofia) - Université de Montreal.

8.
Béziau, Jean-Yves. Participação em banca de Patrícia del Nero Velasco. Sobre uma reconstrução do conceito de valoração. 2004. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica de São Paulo.

9.
Béziau, Jean-Yves. Participação em banca de Renata Pereira de Freitas. Fork arrow logic. 2002. Tese (Doutorado em Sistemas de Computação) - Universidade Federal do Rio de Janeiro.

10.
Béziau, Jean-Yves. Participação em banca de Marcelo Tsuji. Propriedades aleatórias de sistemas formais. 1999. Tese (Doutorado em Filosofia) - Universidade de São Paulo.



Participação em bancas de comissões julgadoras
Professor titular
1.
Béziau, Jean-Yves. Concurso Público para Professor Titular. 1997. Universidad Nacional de General Sarmiento.

Concurso público
1.
Béziau, Jean-Yves; M. Ruffino; G. Imaguire. Concurso Público para Professor Subsituto. 2011.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
2nd World Congress on Logic and Religion. Is there any logic in the best of all possible worlds?. 2017. (Congresso).

2.
Consequence and Paradox Between Truth and Proof.Beyond Truth and Proof. 2017. (Oficina).

3.
FORMAL METHODS AND SCIENCE IN PHILOSOPHY II. Cats which are not cats. 2017. (Congresso).

4.
HOMO LOGICUS II L'ENFANCE DE LA LOGIQUE, LOGIQUES « NATIVES ». Piaget et le développement de la logique chez l'enfant. 2017. (Congresso).

5.
Logic in Question VII.Many 1. 2017. (Oficina).

6.
XVIII Brazilian Logic Conference. Logical Structures from a Model-theoretical point of view. 2017. (Congresso).

7.
XVIII Brazilian Logic School.What is Logic?. 2017. (Oficina).

8.
12th International Conference 'Logic Today' 2016. Is the principle of contradiction a consequence of x2 = x?. 2016. (Congresso).

9.
8th INTERNATIONAL CONFERENCE- NON-CLASSICAL LOGICS THEORY AND APPLICATIONS. Paraconsistent Logic - From A to Z. 2016. (Congresso).

10.
ISSC 2016 - INTERNATIONAL CONFERENCE- THE LOGICS OF IMAGE: VISUALIZATION, ICONICITY, IMAGINATION AND HUMAN CREATIVITY. Possibility, Imagination and Conceptualization. 2016. (Congresso).

11.
Reasoning: Summer School in Cognitive Science.Can logic make us more rational?. 2016. (Encontro).

12.
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE. Paraconsistent Logic and Contradiction. 2016. (Congresso).

13.
Workshop on Compositional Meaning in Logic [GeTFun 4.0].The structure of modal completeness. 2016. (Oficina).

14.
XVII Encontro Nacional da ANPOF. What is a propositional variable?. 2016. (Congresso).

15.
10th Panhellenic Logic Symposium. Introduction to Universal Logic. 2015. (Congresso).

16.
1st Wolrd Congress on Logic and Religion. Is God Paraconsistent ?. 2015. (Congresso).

17.
2nd International Colloquium on Colours and Numbers. Interaction between oppositions and colours. 2015. (Congresso).

18.
3rd Workshop LOGIA ? Logic and Artiificial Intelligence.The Future of Logic. 2015. (Oficina).

19.
44th Annual Meeting of the Society for Exact Philosophy - SEP. Paraconsistent Logic and Contradictory Viewpoints. 2015. (Congresso).

20.
5th Wolrd Congress and School on Universal Logic. Universal Logic / Logic Everywhere. 2015. (Congresso).

21.
FIRST WORLD CONGRESS ON ANALOGY. The Logical Hexagon of Analogy: Structuring the Relations between Difference, Identity and Similarity. 2015. (Congresso).

22.
IX Principia International Symposium Possible worlds and their applications in philosophy and the sciences. What is a possible world?. 2015. (Congresso).

23.
Logic Colloquium 2015. Round squares are no contradiction. 2015. (Congresso).

24.
Logic in Question V. Un cercle carré n'est pas une contradiction. 2015. (Congresso).

25.
Logicity. Logic is not logic. 2015. (Congresso).

26.
Workshop History and Philosophy of Logic Notations.Semiotics of Modern Logic. 2015. (Encontro).

27.
16th Congress of the ANPOF. Names of Logics. 2014. (Congresso).

28.
35th Congress of the ASPLF. Le Possible et l'Impossible - Au-delà de la Dichotomie. 2014. (Congresso).

29.
4th World Congress on the Square of Opposition, Vaticano. Square of Opposition: Past, Present and Future. 2014. (Congresso).

30.
5th World Congress on Paraconsistent Logic, Kolkota, India. Paraconsistent Logic and Contradictory Viewpoints. 2014. (Congresso).

31.
GetFun 2.0 Compositional Meaning in Logic. Non truth-functional bivalent logics extending classical bivalent logics. 2014. (Congresso).

32.
How far can we Believe in our World of Everyday Experience.Identity and Reality. 2014. (Seminário).

33.
III Latin American Analytic Philosophy Conference & III Conference of the Brazilian Society for Analytic Philosophy. Round Squares are no Contradictions. 2014. (Congresso).

34.
III Latin American Analytic Philosophy Conference & III Conference of the Brazilian Society for Analytic Philosophy. Dices: a hazardous symbol for chance ?. 2014. (Congresso).

35.
International Congress on History and Philosophy of Mathematics Tribute to Sir Ashutosh Mookherjee. Bourbaki and Modern Mathematics. 2014. (Congresso).

36.
LIQ4 - Logic in Question, Sorbonne, França.Symbolism in Logic. 2014. (Simpósio).

37.
Logic and Utopia.Logic, Imagination and Possibility. 2014. (Simpósio).

38.
23rd World Congress of Philosophy. Possible worlds : a Fashionable Nonsense?. 2013. (Congresso).

39.
23rd World Congress of Philosophy. Imagination, possibility and conceivability. 2013. (Congresso).

40.
27th Congress of the Interamerican Society of Philosophy. Defining Human Beings. 2013. (Congresso).

41.
Logic in Question III, Sorbonne, Paris.Should we teach logic in highschool?. 2013. (Oficina).

42.
Philosophy, Science and Paraconsistency.What can and should be a Paraconsistent Negation?. 2013. (Simpósio).

43.
Philosophy, Science and Paraconsistency.Towards an Encyclopaedia of Logic. 2013. (Simpósio).

44.
The Place of Philosophy of Science at Lisbon University.Philosophy, Logic and Mathematics. 2013. (Simpósio).

45.
3rd World Congress on the Square of Opposition. Under the sign of the hexagon. 2012. (Congresso).

46.
First International Conference on Logic and Relativity Honoring István Németi's 70th birthday, Budapest, Hungria. The Relativity and Universality of Logic. 2012. (Congresso).

47.
Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday , Tel Aviv, Israle. Linking Proof and Truth through Abstract Logic. 2012. (Congresso).

48.
Logic in Question II, Sorbonne, Paris. Logic and Imagination. 2012. (Congresso).

49.
Nikolai Vasiliev's Logical Legacy and Modern Logic , Moscovo, Russia. The Square of Oppostion and Imaginary Logic. 2012. (Congresso).

50.
Philosophy and Mathematics of Uncertainity and Vagueness. Natural Paraconsistent Negations. 2012. (Congresso).

51.
LNAT 2: Logic diagrams ? Their History and Reality in Language and Cognition. Going beyond Dichotomy with the Square and the Hexagon of Opposition. 2011. (Congresso).

52.
Logic in Question I, Sorbonne, Paris. Logic is not logic. 2011. (Congresso).

53.
VII Simpósio Internacional Principia. arbitrary signs vs- powerful symbols (Towards Towards a Structure of Modes of Reference). 2011. (Congresso).

54.
Workshop on Logic and Truth.Logic is not logic. 2011. (Oficina).

55.
XVI Brazilian Logic Conference. Desconstruction of negation. 2011. (Congresso).

56.
1st World Conference on Metaphysical Logic. Logic, Reasoning, Reality. 2010. (Congresso).

57.
Cutting the Not: Workshop on Negativity and Reflexivity. From Classical Negation to Paranormal Negation. 2010. (Congresso).

58.
Journées Alain Badiou, ENS, Paris. Badiou et les modèles. 2010. (Congresso).

59.
LRR10 ? Logic, Reasoning and Rationality, Ghent, Bélgica. Rules of the Game. 2010. (Congresso).

60.
XII Jornadas Rolando Chuaqui, Valparaiso, Chile. Is logic universal?. 2010. (Congresso).

61.
4th World Conference on Metaphysics. Louis Rougier's conception of logic and metaphysics. 2009. (Congresso).

62.
6th Smirnov's Readings. What is a logic?. 2009. (Congresso).

63.
Epistemology of Economical Sciences. The Logical Geometry of Economy. 2009. (Congresso).

64.
International Workshop on Metaphysics with Kit Fine. Is Reality Contradictory ?. 2009. (Congresso).

65.
Science, Truth and Consistency. From Paraconsistency to Universality - a Logical Odissey. 2009. (Congresso).

66.
AAP 2008 - Annual Congress of the Australasian Association of Philosophy. The Logic of of Imagination. 2008. (Congresso).

67.
ECAP08 - 6th European Conference on Computing and Philosophy. Extensions of the square of opposition and their applications. 2008. (Congresso).

68.
International Workshop on Truth Values. The Structure of Truth-Values. 2008. (Congresso).

69.
Logic, Now and Then. Some - Geometrical Representations of the Quantifiers. 2008. (Congresso).

70.
WCP4 Fourth World Congress on Paraconsistency. The world of paraconsistency. 2008. (Congresso).

71.
Workshop with Saul Kripke. What is a possible world?. 2008. (Congresso).

72.
XV EBL - 15th Brazilan Meeting on Logic - XIV - 14th Latin-American Symposium on Mathematical Logic. From Formal Logic to Universal Logic. 2008. (Congresso).

73.
13th LMPS ? Logic, Methodology and Philosophy of Sciences.Imagination and Possibility. 2007. (Outra).

74.
15th annual meeting of the European Society for Philosophy and Psychology.Imagination in Perspective. 2007. (Encontro).

75.
1st World Congress on the Square of Opposition. The O-Corner, paraconsistent logic and the polyhedron of opposition. 2007. (Congresso).

76.
2nd Congress of the SPS (Society for Philosophy of Science). Universal Logic and the Unity of Science. 2007. (Congresso).

77.
CombLog?07 ? International Workshop on Combination of Logics.Combination of Logics and Universal Logic. 2007. (Oficina).

78.
Identity and Structure.Identity, Logic and Structure. 2007. (Outra).

79.
UNILOG?07 ? 2nd World Congress and School on Universal Logic. Universal Logic and Modern Logic. 2007. (Congresso).

80.
Annual Meeting of the Swiss Society of Philosophy - What is philosophy?.Philosophy and Logic in the XXth century. 2006. (Encontro).

81.
Applications of Algebra to Logic and Informatics X.Universal Algebra and Universal Logic. 2006. (Outra).

82.
International Conference of Mathematicians ICM-2006.Universal Logic: Towards a general theory of logics (poster winner of the prize in the section Logic and Foundations). 2006. (Outra).

83.
XIII SLAM - Latin American Symposium on Mathematical Logic.Absolute Maximality. 2006. (Simpósio).

84.
XXXI Congress of the French Speaking Associations of Philosophy. Mysterious identity. 2006. (Congresso).

85.
1st Meeting of the Society of Philosophy of Science - SPS.The Notion of Sublogic. 2005. (Encontro).

86.
1st World Congress and School on Universal Logic. Round table: Present and Future of Universal Logic. 2005. (Congresso).

87.
3rd Indian International Conference on Artificial Intelligence.Combining Conjunction with Disjunction. 2005. (Outra).

88.
Contemporary Perspectives on Logicism.Morpho-logicism and beyond. 2005. (Outra).

89.
Fourth Principia International Symposium - The Philosophy of Donald Davidson.The Formal Character of Logic. 2005. (Simpósio).

90.
From Philosophy of Logic to Philosophical logic: the case of bivalence.La bivalence à tort et à raison. 2005. (Outra).

91.
Historical and Philosophical Issues of Category Theory.Set Theory, Category Theory and the Foundations of Mathematics. 2005. (Outra).

92.
Identity: Ontological Perspectives.Identity, between Triviality and Absurdity. 2005. (Outra).

93.
Krisis: II Forum of Contemporary Philosophy.Science in Crisis. 2005. (Outra).

94.
Logic, Biology and Computation: Gödel, Turing and von Neumann.Truth, Brain and Associations. 2005. (Outra).

95.
Proof in Mathematics: Logic, History and Philosophy.From Metamathematics to Universal Logic. 2005. (Outra).

96.
Semantics and Meaning - Workshop with Saul Kripke.Kripke structures without possible worlds. 2005. (Oficina).

97.
The First International Symposium of Cognition, Logic and Communication.Transitivity and Paradoxes. 2005. (Simpósio).

98.
11th Brazilian National Meeting of Philosophy - ANPOF.The Game of Truth. 2004. (Encontro).

99.
Australasian Association for Philosophy?s Annual Conference 2004.Three Definitions of Human Being. 2004. (Outra).

100.
Logic, Ontology, Aesthetics - The Golden Age of Polish Philosophy.Tarski on Consequence and Consequence. 2004. (Outra).

101.
Louis Rougier (1889-1982): Life and Work of a Committed Philosopher.Rougier, critic of Aristotle. 2004. (Outra).

102.
Philosophy between logical unity/plurality and mathematical unity/plurality.From universal algebra to universal logic. 2004. (Outra).

103.
Third Philosophy Day - UNESCO.Universities and Globalization. 2004. (Outra).

104.
Workshop on Combination of Logics: Theory and Applications.A Paradox in the Combination of Logics. 2004. (Oficina).

105.
XII SLALM ? Latin-American Symposium on Mathematical Logic.De Morgan Logic. 2004. (Simpósio).

106.
12th International Congress of Logic, Methodology and Philosophy of Science. The Stellar Dodecahedron of Oppositions. 2003. (Congresso).

107.
21th World Congress of Philosophy. Possible Worlds: a Fashionable Nonsense?. 2003. (Congresso).

108.
4th Smirnov?s Reading.New Light at the Square of Opposition and its Nameless Corner. 2003. (Outra).

109.
CMSRA III - Computational Models for Scientific Reasoning and Applications.Semantic Computation of Truth based on Associations already Learned. 2003. (Outra).

110.
FOTFS IV - Foundations of the Formal Sciences IV - The History of the Concept of the Formal Science.The Formal Character of Logic. 2003. (Outra).

111.
III World Congress on Paraconsistency. Classification of Paraconsistent Logics. 2003. (Congresso).

112.
LOGICA 2003 International Symposium.On the Relations and Confusions between the Principles of Bivalence, Contradiction and Excluded Middle. 2003. (Simpósio).

113.
Sopha Colloquium - Language, Thought and Action.Possible Worlds: a Fashionable Nonsense?. 2003. (Outra).

114.
The 31th Annual Meeting of the Society for Exact Philosophy - Language ? Truth - Logic.New Light at the Square of Opposition and its Nameless Corner. 2003. (Encontro).

115.
The 8th Annual Conference - Applications of Logic in Philosophy and the Foundations of Mathematics.A New Four-Valued Approach to Modal Logic. 2003. (Outra).

116.
14th European Summer School in Logic, Language and Information ? ESSLI.Paraconsistent Logic from a Modal Viewpoint. 2002. (Outra).

117.
3rd South American Meeting of Philosophy and History of Sciences.Theories and Models. 2002. (Encontro).

118.
8th Wollic (Workshop on Logic, Language, Information and Computation).Non Truth-Functional Bivalent Semantics. 2002. (Oficina).

119.
Foundation of Sciences ? Meeting dedicated to the 80th Birthday of Patrick Suppes.Congruence and Identity. 2002. (Outra).

120.
PILM 2002 - Philosophical Insights into Logic and Mathematics: The History and Outcome of Alternative Semantics and Syntax.Many-valued and Kripke Semantics. 2002. (Outra).

121.
Quantification ? Annual Meeting of the Swiss Society for Logic and Philosophy of Sciences.Quantification, Constant and Variable. 2002. (Encontro).

122.
Annual Meeting of the Australasian Logic Society?2001.A Four-Valued Modal Logic. 2001. (Encontro).

123.
Australasian Association of Philosophy Conference?2001.Universal Logic and the Unity of Logic. 2001. (Outra).

124.
Australasian Association of Philosophy Conference?2001 (New Zealand Division).Nominal and Ontological Identity. 2001. (Outra).

125.
I I Simpósio Internacional de Principia.What is the principle of identity?. 2001. (Simpósio).

126.
International Conference on Artificial Intelligence (IC?AI 2001).The Logic of Confusion. 2001. (Outra).

127.
Meeting of the Society for Exact Philosophy (SEP2001).Sentence, Proposition and Identity. 2001. (Encontro).

128.
Smirnov Readings ? 3rd International Conference.What is Classical Propositional Logic ? (A Study in Universal Logic). 2001. (Outra).

129.
2nd World Congress on Paraconsistency. Are paraconsistent negations negations?. 2000. (Congresso).

130.
6th Barcelona Logic Meeting.Universal Logic: Towards a General Theory of Logics. 2000. (Encontro).

131.
Association for Symbolic Logic ? 2000 Annual Meeting.Universal Logic: Towards a General Theory of Logics. 2000. (Encontro).

132.
Logic Colloquium 2000 ? ASL European Summer Meeting.Universal Logic: Towards a General Theory of Logics. 2000. (Outra).

133.
11th International Congress of Logic, Methodology and Philosophy of Science. The Philosophical Import of Polish Logic. 1999. (Congresso).

134.
1st Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science.From Paraconsistent Logic to Universal Logic. 1999. (Oficina).

135.
5th Wollic (Workshop on Logic, Language, Information and Computation).A Sequent Calculus for Lukasiewicz?s Three Valued Logic. 1999. (Oficina).

136.
I Simpósio Internacional de Principia.Are there any logical principles?. 1999. (Simpósio).

137.
XI Encontro Brasileiro de Lógica.Singular Terms in Mathematical Logic. 1999. (Encontro).

138.
20th World Congress of Philosophy. Do Sentences Have Identity?. 1998. (Congresso).

139.
Logic, Proofs and Algorithms.Sequents and Bivaluations. 1998. (Outra).

140.
Pratica?98 (Provas, Tipos e Categorias).Logical Rules and Logica Laws. 1998. (Outra).

141.
Quarto Coloquio Bariloche de Filosofia - Filosofía Hoy II.Philosophie et Logique: Bilan et Perspectives. 1998. (Outra).

142.
Stanislaw Jaskowski Memorial Symposium.The Paraconsistent Logic Z. 1998. (Simpósio).

143.
VII Encontro Nacional de Filosofia da Anpof.Traduções entre Lógicas. 1998. (Encontro).

144.
Visões de Ciência - Encontros com Sokal e Bricmont.Linguagem e Lógica. 1998. (Outra).

145.
27th International Symposium on Multiple-Valued Logic.What is Many-Valued Logic?. 1997. (Simpósio).

146.
2nd Annual Conference on Applications of Logic in Philosophy and Foundations of Mathematics.Universal Logic in Perspective. 1997. (Outra).

147.
4th Wollic (Workshop on Logic, Language, Information and Computation).Classical Negation can be Expressed by One of its Halves. 1997. (Oficina).

148.
First World Congress on Paraconsistency. What is Paraconsistent Logic?. 1997. (Congresso).

149.
IV Encontro de Filosofia Analítica.Philosophical Aspects of Non-Classical Logic. 1997. (Encontro).

150.
XX CNMAC (Congresso Nacional de Matemática Aplicada e Computational). Neojunction : between Conjunction and Disjunction. 1997. (Congresso).

151.
3rd Wollic (Workshop on Logic, Language, Information and Computation).Paraconsistent Model Theory. 1996. (Oficina).

152.
Pratica?96 (Provas, Tipos e Categorias).Rules, Derived Rules, Permissible Rules and the Various Types of Systems of Deduction. 1996. (Oficina).

153.
Simpósio de Lógica - Programa Inaugural da Cátedra Nicolau Copérnico.Logique et Algèbre. 1996. (Simpósio).

154.
Tercer Coloquio Bariloche de Filosofia - Filosofía Hoy.Tendances Actuelles de la Philosophie. 1996. (Outra).

155.
XI Encontro Brasileiro de Lógica.The Mathematical Structure of Logical Syntax. 1996. (Encontro).

156.
IX Colóquio de História da Ciência CLE/UNICAMP.Théorie Paraconsistante des Ensembles. 1995. (Outra).

157.
IX Encontro Brasileiro de Filosofia.Applications de la Logique Paraconsistante à la Justice et au Droit. 1995. (Encontro).

158.
Logica?94- 8th International Symposium.Universal Logic. 1994. (Simpósio).

159.
Logica?93- 7th International Symposium.Du Pont?s Paradox and the Problem of Intensional Logic. 1993. (Simpósio).

160.
38th Conference of History of Logic.On the Formalization of the Principium Rationis Sufficientis. 1992. (Outra).

161.
Ninth Latin American Symposium on Mathematical Logic.La Théorie de la Valuation. 1992. (Simpósio).

162.
Primeiro Simpósio Internacional de História da Ciência e Epistemologia.L?Évolution de la Logique. 1991. (Simpósio).

163.
VII Colóquio de História da Ciência CLE/UNICAMP.Le Principe de Raison Suffisante et la Logique chez Schopenhauer. 1991. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
BEZIAU, JEAN-YVES. 6th World Congress and School on Universal Logic. 2018. (Congresso).

2.
BEZIAU, JEAN-YVES. Logic in Question VIII. 2018. (Congresso).

3.
BEZIAU, JEAN-YVES. L'IMAGINATION - 37ème congrès de l'Association des Sociétés de Philosophie de Langue Française (ASPLF). 2018. (Congresso).

4.
Beziau, J.-Y.; SILVESTRE, R. S. . 2nd World Congress on Logic and Religion. 2017. (Congresso).

5.
Beziau, J.-Y.; DESCLES, J. . Logic in Question VII. 2017. (Congresso).

6.
Beziau, J.-Y.. A R B I T R A R I N E S S OF THE S I G N. 2017. (Congresso).

7.
Beziau, J.-Y.. Logic in Question VI. 2016. (Congresso).

8.
Beziau, J.-Y.; CORREIA, M. . 5th World Congress on the Square of Opposition,. 2016. (Congresso).

9.
Béziau JY. 5th World Congress and School on Universal Logic. 2015. (Congresso).

10.
Beziau, J.-Y.; SILVESTRE, R. S. . 1sdt World Congress on Logic and Religion. 2015. (Congresso).

11.
BEZIAU, JEAN-YVES. Logic in Question V. 2015. (Congresso).

12.
Béziau JY. 4th World Congress on the Square of Opposition, Vaticano. 2014. (Congresso).

13.
Béziau JY. Logic in Question IV, Paris, Sorbonne, França. 2014. (Congresso).

14.
Béziau JY. 5th World Congress on Paraconsistency, Kolkata, India. 2014. (Congresso).

15.
Béziau JY; DOTTAVIANO, I. ; Costa-Leite, A. . 4th World Congress and School on Universal Logic, Rio, Brasil. 2013. (Congresso).

16.
Beziau, J.-Y.. Logic in Question III, Paris Sorbonne, França. 2013. (Congresso).

17.
Béziau, Jean-Yves. 3rd World Congress on the Square of Opposition, American University of Beirut. 2012. (Congresso).

18.
Béziau, Jean-Yves. Logic in Question II, Paris Sorbonne, França. 2012. (Congresso).

19.
Beziau, J.-Y.. 3rd World Congress and School on Universal Logic, Lisboa. Portugal. 2010. (Congresso).

20.
Béziau, Jean-Yves. 2nd World Congress on the Square of Opposition, Corte, Corsica. 2010. (Congresso).

21.
Beziau, J.-Y.. XV EBL -15th Brazilian Logic Conference and XIV SLALM ? 14th Latin-American Symposium on Mathematical Logic - Member of the Scientific Committe. 2008. (Congresso).

22.
Beziau, J.-Y.. Possible worlds - Workshop with Saul Kripke, Neuchâtel, Suiça. 2008. (Congresso).

23.
Béziau, Jean-Yves. CombLog?07 ? International Workshop on Combination of Logics. 2007. (Outro).

24.
Béziau, Jean-Yves. 2ndt World Congress and School on Universal Logic, Xi'an, China. 2007. (Congresso).

25.
Béziau, Jean-Yves. Imagination, Congrès Interdisciplinaire. 2007. (Congresso).

26.
Béziau, Jean-Yves. 1st World Congress and School on Universal Logic. 2005. (Congresso).

27.
Béziau, Jean-Yves. Le langage symbolique, Congrès Interdisciplinaire. 2005. (Congresso).

28.
Béziau, Jean-Yves. 1st World Congress on the Square of Opposition, Montreux, Suiça. 2005. (Congresso).

29.
Beziau, J.-Y.. CMSRA IV - International Workshop on Computational Models of Scientific Reasoning and Applications. 2005. (Congresso).

30.
Béziau, Jean-Yves. 3rd World Congress on Paraconsistency. 2003. (Congresso).

31.
Béziau, Jean-Yves. International Workshop on Universal Logic. 2003. (Outro).

32.
Beziau, J.-Y.. CMSRA III - International Workshop on Computational Models of Scientific Reasoning and Applications. 2003. (Congresso).

33.
Beziau, J.-Y.. FLoC 2002 Federated Logic Conference. 2002. (Congresso).

34.
Béziau, Jean-Yves. International Conference on Artificial Intelligence (IC?AI 2001). 2001. (Congresso).

35.
Béziau, Jean-Yves. Encontro dos Lógicos do Rio de Janeiro. 2000. (Outro).

36.
Béziau, Jean-Yves. 2nd World Congress on Paraconsistency. 2000. (Congresso).

37.
Béziau, Jean-Yves. Colloquia on High Performance Scientific Computing - C3AD?98. 1998. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Manuel Mouteira. Conceptualizações da Lógica. Início: 2017. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Albert Amat. Lógica intuicionista e necessidade/contingência nas leis científicas. Início: 2017. Tese (Doutorado em Filosofia) - Universidade Federal do Rio de Janeiro. (Orientador).

2.
Antonio Marmo da Cunha Oliveira. o Relativismo Lógico. Início: 2015. Tese (Doutorado em Filosofia) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Pedro Augusto Carelli de Castro Chave. o Futurismo. Início: 2015. Tese (Doutorado em Filosofia) - Universidade Federal do Rio de Janeiro. (Orientador).

Iniciação científica
1.
Seabastião Mendonça. Teoria das Oposicoes. Início: 2017. Iniciação científica (Graduando em Filosofia) - Universidade Federal do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. (Orientador).

2.
Leonardo Jaguaribe Giucci. Teoremas da incompletude de Gödel. Início: 2017. Iniciação científica (Graduando em Filosofia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.
Patricia Penna Machado Andréa. A diferença entre raciocínio e pensamento. Início: 2016. Iniciação científica (Graduando em Filosofia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Pedro Vasconcelos Junqueira de Gomlevsky. Da Possibilidade da Metafísica. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Jean-Yves Béziau.

2.
Marcus Vinicius dos Santos Claro. O Processo de Ressignificação na Formação de Paradigma Segundo Thomas Kuhn. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio de Janeiro, . Orientador: Jean-Yves Béziau.

3.
Guilherme Teixeira Schettini. Filosofia da Matemática. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jean-Yves Béziau.

4.
Pedro Augusto Carelli de Castro Chaves. Leis e Regras. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio de Janeiro, . Orientador: Jean-Yves Béziau.

Tese de doutorado
1.
Tzu-Keng Fu. Universal Logic and the Geography of Thought. 2012. Tese (Doutorado em Ingenieurwissenschaften) - Universität Bremen, . Coorientador: Jean-Yves Béziau.

2.
Alessio Moretti. The geometry of logical opposition. 2009. Tese (Doutorado em Filosofia) - Université de Neuchâtel, . Orientador: Jean-Yves Béziau.

3.
Alexandre Costa Leite. Interactions of metaphysical and epistemic concepts. 2007. Tese (Doutorado em Filosofia) - Université de Neuchâtel, Governo Suíço. Orientador: Jean-Yves Béziau.

Iniciação científica
1.
Guilherme Teixeira Schettini. Axioma da Escolha. 2015. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jean-Yves Béziau.

2.
Edson Vinícius Bezerra. o conceito de valor de verdade. 2011. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jean-Yves Béziau.



Outras informações relevantes


Conferencista Convidado: First International Conference on Intelligence Science - ICIS2016 (China); 8th INTERNATIONAL CONFERENCE- NON-CLASSICAL LOGICS THEORY AND APPLICATIONS - (Polonia); ISSC 2016 - INTERNATIONAL CONFERENCE- THE LOGICS OF IMAGE: VISUALIZATION, ICONICITY, IMAGINATION AND HUMAN CREATIVITY (Grecia); SUMMER SCHOOL IN COGNITIVE SCIENCES (Canada): THE 12TH INTERNATIONAL CONFERENCE ?LOGIC TODAY: DEVELOPMENTS AND PERSPECTIVES (Russia); The 1st World Congress on Analogy (Mexico): IX Principia International Symposium Possible worlds and their applications in philosophy and the sciences ; 10th Panhellenic Logic Symposium (Grecia); 2nd International Colloquium on Colours and Numbers (Brasil); 35th Congress of the ASPLF Association des Sociétés de Philosophie de Langue Française August 26-30, 2014, Rabat, Morocco;Logic and Utopia July, 26, 2014, Andros Island, Greece;International Congress on History and Philosophy of Mathematics Tribute to Sir Ashutosh Mookherjee February 20-22, 2014, Kolkata, Inida;How far can we Believe in our World of Everyday Experience February 18, 2014, Presidential UNiversity, Kolkata, India;The Place of Philosophy of Science at Lisbon University February 12.15, 2013, Lisbon, Portugal;Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday November 01-02, 2012, Tel Aviv, Israel;Nikolai Vasiliev's Logical Legacy and Modern Logic October 24-25, 2012, Moscow, Russia;First International Conference on Logic and Relativity Honoring István Németi's 70th birthday September 08-12, 2012, Budapest, Hungary; Jornadas Rolando Chuaqui November 10-12, 2010, Valparaiso, Chile;Journées Alain Badiou October 12-14, 2010, Paris, France;Cutting the "Not": Workshop on Negativity and Reflexivity September 10-12, 2010, Maastricht, The Netherlands;
Epistemology of Economical Sciences,
October 1-2, 2009, Buenos Aires, Argentina;6th Smirnov?s Readings, 
June 17-19, 2009, Moscow,



Página gerada pelo Sistema Currículo Lattes em 19/10/2018 às 4:50:21