Currículo do Sistema de Currículos Lattes (Hércules de Araujo Feitosa)

Dados pessoais

Nome	Hércules de Araujo Feitosa
Nome em citações bibliográficas	FEITOSA, H. A.
Sexo	Masculino

Endereço profissional

Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Ciências de Bauru, Departamento de Matemática.
Av. Engenheiro Luiz Edmundo Carrijo Coube, 14-01
Câmpus Universitário
17033-360 - Bauru, SP - Brasil - Caixa-Postal: 473
Telefone: (14) 31036086 Fax: (14) 31036074
URL da Homepage: http://

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

2007 - 2008

Pós-Doutorado .
Universidade Federal de Santa Catarina.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Aspectos Teóricos e Filosóficos da Lógica.

1993 - 1998

Doutorado em Filosofia .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Traduções Conservativas, Ano de Obtenção: 1998.
Orientador:

Ítala Maria Loffredo D'Ottaviano.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Traduções; Sistemas dedutivos; Semânticas algébricas; Lógicas não clássicas.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Aspectos Teóricos e Filosóficos da Lógica.

1988 - 1992

Mestrado em Fundamentos da Matemática .
Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.
Título: Princípios Fundamentais da Teoria Fuzzy, Ano de Obtenção: 1992.
Orientador: Eurides Alves de Oliveira.
Palavras-chave: Lógica; Lógica fuzzy.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica e Fundamentos da Matemática / Especialidade: Lógicas Não Clássicas.

1981 - 1984

Graduação em Licenciatura Em Ciências Hab Em Matemática .
Fundação Educacional de Bauru.

1978 - 1980

Curso técnico/profissionalizante .
Escola Municipal de Segundo Grau de Gália.

1978 - 1980

Ensino Médio (2º grau) .
Graciema Baganha Ribeiro.

1974 - 1977

Ensino Fundamental (1º grau) .
Graciema Baganha Ribeiro.

1970 - 1973

Ensino Fundamental (1º grau) .
Coronel Galdino Ribeiro.

Formação complementar

2009 - 2009

Oficina de Estudos Pedagógicos: O projeto político. (Carga horária: 25h).
UNESP.

1991 - 1991

Curso de Curta Duração.
Polo Computacional da Unesp Câmpus de Bauru.

1987 - 1987

Curso de Curta Duração.
Secretaria Estadual de Educação de São Paulo.

1986 - 1986

Extensão universitária.
Universidade de Bauru.

1985 - 1985

Extensão universitária.
Fundação Educacional de Bauru.

1985 - 1985

Extensão universitária.
Fundação Educacional de Bauru.

1984 - 1984

Curso de Curta Duração.
Centro Acadêmico de Matemática Física e Biologia.

1984 - 1984

Curso de Curta Duração.
Centro Acadêmico de Matemática Física e Biologia.

1984 - 1984

Curso de Curta Duração.
Fundação Educacional de Bauru.

1984 - 1984

Curso de Curta Duração.
Fundação Educacional de Bauru.

1982 - 1982

Curso de Curta Duração.
Fundação Educacional de Bauru.

1981 - 1981

Curso de Curta Duração.
Escola Técnica Especializada Em Computadores Eletrônicos.

Atuação profissional

Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.

Vínculo institucional

1988 - Atual

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

Outras informações

Professor assistente doutor efetivo

Atividades

03/2011 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Presidente da Comissão de Reestruturação do Curso de Licenciatura em Matemática.

02/2011 - Atual	Direção e administração, Faculdade de Ciências de Bauru, .
	Cargo ou função Coordenador do Curso de Licenciatura em Matemática.

02/2011 - Atual	Direção e administração, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro da Comissão Permanente de Ensino.

02/2011 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro do Conselho do Curso de Licenciatura em Matemática.

01/2011 - Atual	Extensão universitária , Faculdade de Ciências de Bauru, .
	Atividade de extensão realizada Membro da Olimpíada Regional de Matemática da Unesp de Bauru (ORMUB).

05/2010 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro suplente da Comissão Permanente de Extensão Universitária.

10/2009 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro suplente da Comissão Permanente de Pesquisa da FC.

10/2004 - Atual	Serviços técnicos especializados , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Serviço realizado Membro do Núcleo de Sustentação do GT de Lógica da ANPOF.

2010 - 2013

Atividades de Participação em Projeto, Faculdade de Ciências de Bauru, .

2010 - 2013	Atividades de Participação em Projeto, Faculdade de Ciências de Bauru, .
	Projetos de pesquisa LogCons: Logical consequence, reasoning and computation

08/2011 - 12/2011	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas História da Matemática (1368 A - 4C) Teoria dos Conjuntos (4105 A - 4 C)

08/2011 - 12/2011	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos Conjuntos

04/2011 - 07/2011	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica

02/2011 - 06/2011	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática (4101 A)

02/2011 - 06/2011	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Lógica Computacional (4602 A)

05/2008 - 05/2011	Serviços técnicos especializados , Faculdade de Ciências de Bauru, .
	Serviço realizado 2o. Vice-Presidente da Sociedade Brasileira de Lógica (SBL).

02/2009 - 02/2011	Direção e administração, Faculdade de Ciências de Bauru, .
	Cargo ou função Coordenador de Curso.

02/2009 - 02/2011	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro do Conselho do Curso de Licenciatura em Matemática.

02/2009 - 02/2011	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro da Comissão Permanente de Ensino da FC.

08/2010 - 12/2010	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos Conjuntos

08/2010 - 12/2010	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Teoria dos Conjuntos (4105 A - 39 alunos - 4C)

01/2010 - 12/2010	Extensão universitária , Faculdade de Ciências de Bauru, .
	Atividade de extensão realizada Membro da Comissão Organizadora da XVIII ORMUB.

10/2008 - 10/2010	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro suplente do conselho do curso de Bacharelado em Sistemas de Informação (BSI).

04/2010 - 07/2010	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica

02/2010 - 07/2010	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Lógica Computacional (4602A - 4C - 35 alunos)

02/2010 - 07/2010	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas História da Matemática (1368A - 4C - 5 alunos) Lógica Matemática (4101A - 4C - 49 alunos)

06/2007 - 05/2010	Conselhos, Comissões e Consultoria, Faculdade de Filosofia e Ciências - Campus de Marília, .
	Cargo ou função Membro suplente do Conselho do Programa de Pós-Graduação em Filosofia.

08/2009 - 04/2010	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos Conjuntos

08/2009 - 12/2009	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas História da Matemática (1368 A - 33 alunos - 4C) Teoria dos Conjuntos (4105 A - 60 alunos - 4C)

11/2007 - 10/2009	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro suplente da Comissão Permanente de Pesquisa da FC.

10/2007 - 10/2009	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro suplente do Conselho do Departamento de Matemática.

04/2009 - 07/2009	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica

03/2009 - 07/2009	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática (4101 A - 4C - 49 alunos)

03/2009 - 07/2009	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Lógica Computacional (4602 A - 4C - 37 alunos)

02/2009 - 03/2009	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro da Comissão Responsável pela Recepção dos Alunos Ingressantes de 2009.

4/2005 - 3/2009	Atividades de Participação em Projeto, Departamento de Matemática, Em Parceria Com Outras Universidades.
	Projetos de pesquisa Projeto Temático Fapesp: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications

08/2008 - 02/2009	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Curso de Licenciatura Em Matemática.
	Cargo ou função Membro da Comissão de AACC.

02/2007 - 02/2009	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .
	Cargo ou função Membro do Conselho do Curso de Licenciatura em Matemática.

08/2008 - 12/2008	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Filosofia da Ciência e da Matemática (4589A - 4c - 22 alunos) Teoria dos Conjuntos (4105A - 4C - 45 alunos)

01/2008 - 12/2008	Extensão universitária , Faculdade de Ciências de Bauru, .
	Atividade de extensão realizada Membro da Comissão Organizadora da XVI ORMUB.

01/2007 - 12/2008	Conselhos, Comissões e Consultoria, Departamento de Matemática, .
	Cargo ou função Presidente da Comissão Interna de Pesquisa e Extensão do Departamento de Matemática.

10/2006 - 10/2008	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Bacharelado Em Sistemas de Informação.
	Cargo ou função Membro suplente do Conselho do Curso de BSI.

04/2008 - 08/2008	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica (6C - em parceria com Grácio, M. C. C.)

04/2008 - 07/2008	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática (4101 A - 4C - 48 alunos)

04/2008 - 07/2008	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica Computacional (4703 A - 4C - 48 alunos)

10/2005 - 05/2008	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro do Comitê de Ética em Pesquisa da FC.

01/2007 - 01/2008	Extensão universitária , Faculdade de Ciências de Bauru, .
	Atividade de extensão realizada Membro da comissão organizadora Olimpíada Regional de Matemática da Unesp Bauru (ORMUB).

1/2005 - 12/2007	Pesquisa e desenvolvimento Departamento de Matemática.
	Linhas de pesquisa Lógicas estendidas

11/2005 - 10/2007	Direção e administração, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da Comissão Permanente de Pesquisa.

11/2005 - 10/2007	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Curso de Ciências Biológicas.
	Cargo ou função Membro suplente do Conselho do Curso de Graduação em Ciências Biológicas.

10/2005 - 10/2007	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro suplente do Conselho do Departamento de Matemática.

04/2007 - 07/2007	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica (Em parceria com a Profa. M. C. C. Grácio)

02/2007 - 07/2007	Ensino, Engenharia Mecânica, Nível: Graduação.
	Disciplinas ministradas Geometria Analítica e Álgebra Linear (2001B - 6C - 60 alunos)

02/2007 - 07/2007	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica Computacional (4703A - 4C - 43 alunos)

7/2005 - 07/2007	Atividades de Participação em Projeto, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Projetos de pesquisa Aspectos lógico matemáticos da lógica do plausível

12/2006 - 06/2007	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Tópicos em Filosofia da Lógica (Em parceria com a Profa. M. C. C. Grácio)

3/2006 - 05/2007	Conselhos, Comissões e Consultoria, Faculdade de Filosofia e Ciências - Campus de Marília, Programa de Pós Graduação Em Filosofia.
	Cargo ou função Membro do Conselho do Programa de Pós-Graduação em Filosofia.

10/2006 - 02/2007	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Curso de Licenciatura Em Matemática.
	Cargo ou função Membro da comissão responsável pela recepção dos alunos ingressantes da FC de 2007.

2/2006 - 02/2007	Direção e administração, Faculdade de Ciências de Bauru, Curso de Licenciatura Em Matemática.
	Cargo ou função Coordenador do Curso de Licenciatura em Matemática.

2/2005 - 02/2007	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro do Conselho de Curso da Licenciatura em Matemática.

01/2006 - 01/2007	Extensão universitária , Faculdade de Ciências de Bauru, .
	Atividade de extensão realizada Membro da Comissão Organizadora da XIV ORMUB.

8/2006 - 12/2006	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Teoria dos Conjuntos (4105A- 4C - 38 alunos)

8/2006 - 12/2006	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Espaços Métricos (1347A - 4C - 41 alunos)

8/2006 - 12/2006	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Espaços Métricos (1347B - 4C - 4 alunos)

8/2006 - 12/2006	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos Conjuntos (Pós - 6C - 2 alunos)

1/2005 - 12/2006	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da Comissão de Pesquisa e Extensão do Departamento de Matemática.

9/2006 - 11/2006	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da comissão responsável pela organização do XVIII CIC da UNESP - Exatas.

10/2004 - 10/2006	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Bacharelado Em Sistemas de Informação.
	Cargo ou função Membro suplente do Conselho de Curso do BSI.

4/2006 - 7/2006	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica (Pós - 6C - 10 alunos / parceria com outro professor)

3/2006 - 7/2006	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática (4101A - 4C - 40 alunos)

3/2006 - 7/2006	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Geometria Analítica (1462A - 4C - 42 alunos)

3/2006 - 7/2006	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica (1573A - 2C - 44 alunos)

3/2006 - 6/2006	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da Comissão responsável pela análise e implantação do Plano de Ação do Departamento de Matemática a ser integrado ao PDI da FC.

10/2005 - 3/2006	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Curso de Licenciatura Em Matemática.
	Cargo ou função Membro suplente da comissão responsável pela recepção dos alunos ingressantes de 2006.

6/2004 - 3/2006	Conselhos, Comissões e Consultoria, Programa de Pós Graduação Em Filosofia.
	Cargo ou função Membro do Conselho do Programa de Pós-Graduação em Filosofia.

3/2005 - 2/2006	Direção e administração, Faculdade de Ciências de Bauru, Curso de Licenciatura Em Matemática.
	Cargo ou função Vice-Coordenador do Curso de Licenciatura em Matemática.

1/2005 - 01/2006	Extensão universitária Departamento de Matemática.
	Atividade de extensão realizada Membro da Comissão Organizadora da Olimpíada Regional de Matemática (ORMUB).

8/2005 - 12/2005	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos conjuntos (Pós - 6C - 1 aluno)

8/2005 - 12/2005	Ensino, Licenciatura Em Biologia, Nível: Graduação.
	Disciplinas ministradas Matemática Aplicada (1553A - 2C - 32 alunos) Matemática Aplicada (1553B - 2C - 18 alunos)

8/2005 - 12/2005	Ensino, Engenharia de Produção, Nível: Graduação.
	Disciplinas ministradas Cálculo diferencial e integral I (1901A - 4C - 46 alunos)

1/2003 - 12/2005	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro suplente do Conselho de Curso de Graduação - Licenciatura em Matemática.

10/2005 - 10/2005	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro da comissão de visita para assessoria da avaliação externa do Curso de Licenciatura em Matemática.

4/2005 - 10/2005	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Curso de Licenciatura Em Matemática.
	Cargo ou função Membro da comissão de reestruturação do Curso de Licenciatura em Matemática.

10/2003 - 10/2005	Direção e administração, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da Comissão Permanente de Pesquisa.

10/2003 - 10/2005	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro suplente do Conselho do Departamento de Matemática.

3/2005 - 7/2005	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas História da Matemática (1368A - 4C - 25 alunos)

3/2005 - 7/2005	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica (1573A - 2C - 45 alunos)

3/2005 - 7/2005	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica (1465A - 4C - 34 alunos)

3/2005 - 6/2005	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica (Pós - 6C - 8 alunos)

12/2004 - 3/2005	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Presidente da Comissão responsável pelo processo seletivo para preenchimento de vagas, por transferência, do Curso de Licenciatura Plena em Matemática.

12/2004 - 1/2005	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Presidente da Comissão Científica em Matemática da XVI Semana da Licenciatura em Matemática.

9/2004 - 1/2005	Ensino, Engenharia de Produção, Nível: Graduação.
	Disciplinas ministradas Geometria Analítica e Álgebra Linear

3/2004 - 1/2005	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Coordenador do Conselho de Classe do Quarto Ano de 2004.

2/2004 - 1/2005	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

10/2003 - 12/2004	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Membro da Comissão Organizadora da XI ORMUB.

10/2003 - 12/2004	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da Comissão Interna de Informática do Departamento de Matemática.

3/2003 - 12/2004	Serviços técnicos especializados , Revista Transformação, Faculdade de Filosofia e Ciência.
	Serviço realizado Participação da Comissão Editorial.

1/2003 - 12/2004	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Comissão interna de pesquisa e extensão do Departamento de Matemática.

1/1993 - 12/2004	Pesquisa e desenvolvimento , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Linhas de pesquisa Lógica e Fundamentos da Matemática [Traduções Lógicas]

10/2002 - 10/2004	Conselhos, Comissões e Consultoria, Bacharelado Em Sistemas de Informação.
	Cargo ou função Membro do Conselho do Curso.

2/2004 - 9/2004	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica

2/2004 - 9/2004	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas História da Matemática

3/2004 - 8/2004	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica

7/2002 - 6/2004	Conselhos, Comissões e Consultoria, Programa de Pós Graduação Em Filosofia.
	Cargo ou função Membro do Conselho do Programa de Pós-Graduação em Filosofia.

5/2004 - 5/2004	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Participação na semana das profissões da Sociedade Educacional Tristão de Athaíde.

1/2004 - 3/2004	Conselhos, Comissões e Consultoria, Bacharelado Em Sistemas de Informação.
	Cargo ou função Membro da Comissão resposável pelo processo seletivo para preenchimento de vagas, por transferência, do Curso de BSI.

8/2003 - 12/2003	Ensino, Licenciatura Em Biologia, Nível: Graduação.
	Disciplinas ministradas Matemática Aplicada

2/2003 - 12/2003	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

10/2003 - 11/2003	Serviços técnicos especializados , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Serviço realizado Presidente do Comitê Científico da Área Matemática Pura, Aplicada e Computacional da XV SLM.

8/2003 - 11/2003	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos Conjuntos

8/2003 - 11/2003	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Filosofia da Ciência (em parceria com outros professores)

10/2001 - 10/2003	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Membro da Comissão Permanente de Pesquisa.

6/2002 - 9/2003	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Comissão Organizadora da X ORMUB.

2/2003 - 7/2003	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Geometria Analítica e Álgebra Linear

2/2003 - 7/2003	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica

3/2003 - 6/2003	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica

8/2002 - 12/2002	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Vice-Presidente da Comissão Permanente de Pesquisa.

8/2002 - 12/2002	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

8/2002 - 12/2002	Ensino, Licenciatura Em Biologia, Nível: Graduação.
	Disciplinas ministradas Matemática Aplicada

8/2002 - 12/2002	Ensino, Desenho Industrial, Nível: Graduação.
	Disciplinas ministradas Matemática II

3/2002 - 12/2002	Outras atividades técnico-científicas Licenciatura Em Matemática.
	Atividade realizada Supervisão de estágio curricular de 5 alunos do 2o. ano do curso: Licenciatura em Matemática ..

4/2001 - 12/2002	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da Comissão de Informática do Departamento de Matemática.

2/2001 - 12/2002	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro suplente do Conselho de Curso de Graduação: Licenciatura em Matemática.

11/2002 - 11/2002	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Aula de Revisão de Matemática no curso pré-vestibular Lions & UNESP.

6/2002 - 8/2002	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro suplente da comissão organizadora das eleições para o Conselho de Curso: Licenciatura em Matemática.

3/2002 - 7/2002	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica

2/2002 - 7/2002	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica

2/2002 - 7/2002	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

2/2002 - 7/2002	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica

4/2001 - 6/2002	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Membro da Comissão Organizadora da ORMUB 2001.

8/2001 - 12/2001	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Espaços Métricos História da Matemática

8/2001 - 11/2001	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Lógica Proposicional

12/2000 - 11/2001	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Presidente da Comissão Permanente de Pesquisa.

12/2000 - 11/2001	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Membro da Congregação da FC.

7/2000 - 10/2001	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Membro da Comissão Permanente de Pesquisa.

3/2001 - 7/2001	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica Geometria Analítica e Álgebra Linear

4/2001 - 5/2001	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru.
	Cargo ou função Membro de comissão de especialistas da FC para análise de solicitação de equivalência de títulos.

4/1999 - 4/2001	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro suplente do Conselho de Curso de Graduação: Licenciatura em Matemática.

09/2000 - 3/2001	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Presidente da ORMUB.

8/2000 - 12/2000	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Espaços Métricos História da Matemática Lógica Matemática

3/2000 - 12/2000	Outras atividades técnico-científicas Licenciatura Em Matemática.
	Atividade realizada Supervisão de estágio curricular junto a disciplina Prática de Ensino de Matemática II: 5 alunos.

3/2000 - 12/2000	Outras atividades técnico-científicas , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade realizada Supervisão de estágio curricular junto a disciplina Prática de Ensino de Matemática I: 1 aluno.

12/1998 - 12/2000	Direção e administração, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Presidente da Comissão de Ensino do Departamento de Matemática.

11/1998 - 11/2000	Direção e administração, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Vice Chefe de Departamento.

11/1998 - 11/2000	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Membro suplente da Congregação da FC.

11/1998 - 11/2000	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro do Conselho do Departamento de Matemática.

10/2000 - 10/2000	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Palestra "Lógica e Fundamentos da Matemática" para professores da Rede Municipal de Ensino de Bauru.

10/2000 - 10/2000	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Aulas no projeto comunitário "Da escola publica à universidade", sobre o tema "polinômios e equações algébricas".

10/1999 - 10/2000	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Presidente da ORMUB.

3/1999 - 10/2000	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Comissão interna do Departamento de Matemática para contratação de docentes.

10/1998 - 10/2000	Conselhos, Comissões e Consultoria, Bacharelado Em Sistemas de Informação.
	Cargo ou função Membro do Conselho de Curso de Graduação: BSI.

3/2000 - 7/2000	Ensino, Engenharia Elétrica, Nível: Graduação.
	Disciplinas ministradas Cálculo Vetorial e Geometria Analítica

3/2000 - 7/2000	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica

3/2000 - 7/2000	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

10/1999 - 7/2000	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Membro suplente da Comissão Permanente de Pesquisa.

4/2000 - 4/2000	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru.
	Cargo ou função Membro suplente da comissão para estudos relativos a implantação de Regulamento para os Departamentos de Ensino da FC.

1/2000 - 3/2000	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro da comissão de recepção aos calouros do Curso de Licenciatura em Matemática.

1/2000 - 3/2000	Conselhos, Comissões e Consultoria, Bacharelado Em Sistemas de Informação.
	Cargo ou função Membro da comissão do processo seletivo de transferência para o Curso de Bacharelado em Sistemas de Informação.

1/2000 - 3/2000	Conselhos, Comissões e Consultoria, Bacharelado Em Ciência da Computação.
	Cargo ou função Membro da comissão do processo seletivo de transferência para o Curso de Bacharelado em Ciência da Computação.

1/2000 - 2/2000	Direção e administração, Licenciatura Em Matemática.
	Cargo ou função Coordenação do Conselho de Curso.

9/1999 - 12/1999	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Elaboração de relatório sobre descrição do espaço físico destinado ao Curso de Licenciatura em Matemática.

8/1999 - 12/1999	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática Espaços Métricos

3/1999 - 12/1999	Outras atividades técnico-científicas Licenciatura Em Matemática.
	Atividade realizada Supervisão de estágio curricular junto a disciplina Prática de Ensino de Matemática III: 5 alunos.

10/1999 - 10/1999	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Aulas no projeto comunitário "Da escola pública à universidade", sobre o tema "exponencial e logaritmos / progressões".

8/1999 - 10/1999	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Membro suplente da Comissão Permanente de Pesquisa.

11/1997 - 10/1999	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Olimpíada Regional de Matemática da Unesp de Bauru (ORMUB).

3/1999 - 7/1999	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática Álgebra Linear

3/1999 - 7/1999	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica

5/1998 - 4/1999	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro da comissão de estágio do curso de Licenciatura em Matemática.

2/1999 - 3/1999	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Presidente da comissão de recepção de calouros do Curso de Licenciatura em Matemática.

1/1999 - 3/1999	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro de comissão para seleção de alunos transferidos junto ao Curso de Bacharelado em Sistemas de Informação.

3/1997 - 3/1999	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro do Conselho do Departamento de Matemática.

10/1998 - 02/1999	Direção e administração, Faculdade de Ciências de Bauru.
	Cargo ou função Membro da Comissão Permanente de Pesquisa.

1/1997 - 1/1999	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da comissão interna de informática do Departamento de Matemática.

9/1998 - 12/1998	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru.
	Cargo ou função Comissão da FC para elaboração de projeto de Laboratório Didático - PROLAB / UNESP.

8/1998 - 12/1998	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

8/1998 - 12/1998	Ensino, Engenharia Civil, Nível: Graduação.
	Disciplinas ministradas Elementos de Álgebra Linear

8/1998 - 12/1998	Ensino, Engenharia Elétrica, Nível: Graduação.
	Disciplinas ministradas Elementos de Álgebra Linear

3/1998 - 12/1998	Outras atividades técnico-científicas Licenciatura Em Matemática.
	Atividade realizada Supervisão de estágio curricular junto a disciplina Prática de Ensino de Matemática I: 6 alunos.

3/1998 - 12/1998	Outras atividades técnico-científicas Licenciatura Em Matemática.
	Atividade realizada Supervisão de estágio curricular junto a disciplina Prática de Ensino de Matemática II: 6 alunos.

3/1998 - 12/1998	Outras atividades técnico-científicas Licenciatura Em Matemática.
	Atividade realizada Supervisão de estágio curricular junto a disciplina Prática de Ensino de Matemática I: 6 alunos.

12/1997 - 12/1998	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Programa Pró-Ciências: "Trabalhando a Proposta Curricular para o Ensino de Matemática no 2o. Grau: do discurso à prática - introduzindo o uso do computador".

10/1996 - 10/1998	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro suplente do Conselho de Curso de Graduação: Licenciatura em Matemática.

3/1998 - 7/1998	Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Lógica

3/1998 - 7/1998	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

3/1998 - 7/1998	Ensino, Engenharia Civil, Nível: Graduação.
	Disciplinas ministradas Cálculo Diferencial e Integral I

8/1997 - 12/1997	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

10/1996 - 10/1997	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Olimpíada Regional de Matemática da Unesp de Bauru (ORMUB).

3/1997 - 7/1997	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática Álgebra Linear

3/1997 - 7/1997	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica

8/1996 - 12/1996	Ensino, Engenharia Elétrica, Nível: Graduação.
	Disciplinas ministradas Elementos de Álgebra Linear

3/1996 - 7/1996	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica

8/1995 - 12/1995	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

3/1995 - 7/1995	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

3/1995 - 7/1995	Ensino, Processamento de Dados, Nível: Graduação.
	Disciplinas ministradas Elementos de Lógica

2/1993 - 2/1995	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro suplente da Comissão de Assessoramento do Departamento de Matemática.

8/1994 - 12/1994	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas História da Matemática Lógica Matemática

10/1992 - 10/1994	Conselhos, Comissões e Consultoria, Licenciatura Em Ciências Biológicas.
	Cargo ou função Membro do Conselho de Curso de Graduação: Ciências Biológicas.

3/1994 - 7/1994	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas História da Matemática Lógica Matemática

1/1994 - 4/1994	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro da comissão de análise das solicitações de alterações de programas e grade curricular da Licenciatura em Matemática.

8/1993 - 12/1993	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática Álgebra Moderna I

3/1993 - 7/1993	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática

7/1991 - 7/1993	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da comissão de biblioteca do Departamento de Matemática.

10/1992 - 3/1993	Conselhos, Comissões e Consultoria, Licenciatura Em Matemática.
	Cargo ou função Membro suplente do Conselho de Curso de Graduação: Licenciatura em Matemática. Assumiu a titularidade a partir de março/93.

8/1992 - 12/1992	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Álgebra Moderna I Álgebra Linear II [2 turmas]

8/1988 - 12/1992	Pesquisa e desenvolvimento , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Linhas de pesquisa Lógica e Fundamentos da Matemática [Sistemas Fuzzy]

10/1992 - 10/1992	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Orientação técnica sobre 'Introdução à Lógica' para professores da Rede Pública de Ensino, na DE de Jaú.

10/1990 - 10/1992	Conselhos, Comissões e Consultoria, Licenciatura Em Ciências Biológicas.
	Cargo ou função Membro do Conselho de Curso de Graduação: Ciências Biológicas.

3/1992 - 7/1992	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática Álgebra Linear [2 turmas]

8/1991 - 12/1991	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Geometria Analítica

8/1991 - 12/1991	Ensino, Processamento de Dados, Nível: Graduação.
	Disciplinas ministradas Matemática Aplicada II

4/1991 - 7/1991	Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.
	Cargo ou função Membro da comissão de análise da proposta de reformulação do curso de Tecnologia em Processamento de Dados.

3/1991 - 7/1991	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Lógica Matemática Álgebra Moderna I

8/1990 - 12/1990	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Álgebra Moderna I

9/1990 - 9/1990	Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.
	Atividade de extensão realizada Oficina e laboratório de ensino de matemática.

3/1990 - 7/1990	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Álgebra Moderna II Lógica Matemática [2 turmas]

2/1990 - 2/1990	Extensão universitária Faculdade de Ciências de Bauru.
	Atividade de extensão realizada Curso: Atividades matemáticas direcionadas ao ensino da geometria.

8/1989 - 12/1989	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Álgebra Moderna I

3/1989 - 7/1989	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Álgebra Moderna II Elementos de Matemática I

8/1988 - 12/1988	Ensino, Licenciatura Em Matemática, Nível: Graduação.
	Disciplinas ministradas Álgebra Moderna I

8/1988 - 12/1988	Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Cálculo I

Secretaria Estadual de Educação de São Paulo, SEESP, Brasil.

Vínculo institucional

1987 - 1988

Vínculo: Professor efetivo, Enquadramento Funcional: Professor titular, Carga horária: 30

Atividades

2/1987 - 4/1988	Ensino, Nível: Ensino Fundamental.
	Disciplinas ministradas Matemática

Universidade de Bauru, UB, Brasil.

Vínculo institucional

1986 - 1988

Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 14

Atividades

8/1986 - 10/1988	Ensino, Matemática e Tecnologias, Nível: Graduação.
	Disciplinas ministradas Matemática I Matemática II Matemática III Lógica Cálculo I

Instituto de Administração Financeira da Previdência Social, IAPAS, Brasil.

Vínculo institucional

1983 - 1987

Vínculo: Celetista, Enquadramento Funcional: Agente Administrativo, Carga horária: 40

Atividades

3/1983 - 1/1987	Direção e administração, Patronal, Bauru.
	Cargo ou função Agente Administrativo.

Linhas de Pesquisa

1.	Lógica e Fundamentos da Matemática [Sistemas Fuzzy]
	Objetivos: Lógica fuzzy Conjuntos fuzzy. Palavras-chave: Lógica e raciocínio.

2.	Lógica e Fundamentos da Matemática [Traduções Lógicas]
	Objetivos: Traduções entre lógicas Sistemas de dedução. Palavras-chave: Traduções entre lógicas; Sistemas dedutivos.

3.	Lógicas estendidas
	Objetivos: Quantificadores generalizados Modelos estendidos por quantificadores Modelos modais dos quantificadores. Palavras-chave: Lógicas estendidas por quantificadores.

Projetos de Pesquisa

2010 - 2013

LogCons: Logical consequence, reasoning and computation

Descrição: This is a Thematic Project sponsored by FAPESP 10/51038-0 running from November 2010 to October 2014 The notion of logical consequence, under the classical tradition, is the fundamental relation between premises and conclusion in any valid piece of reasoning. In this way, the foundations of logical consequence can be seen on two main aspects: model-theoretic and proof-theoretically. There are, however, many general problems concerning both approaches, which we investigate in the present project. Questions of combining semantics and non-classical logics give new and very promising impetus to the research about new models of computation, such as quantum computation and information, and about quantum algorithms and quantum cryptography. The impact of practical applications of combinations of logics into the fields of theorem proving, AI, belief revision, probability and possibility will continued to be studied, inheriting from the previous project (ConsRel 2004\14107-2). This amply justifies the interest in starting from the perspective of combining notions of logical consequence to investigate probabilistic, computational and philosophical topics..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 3) / Mestrado acadêmico ( 3) .
Integrantes: Ítala Maria Loffredo D'Ottaviano - Integrante / Marcelo Esteban Coniglio - Integrante / Wlater Alexandre Carnielli - Coordenador / Hércules de Araujo Feitosa - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2005 - 2010

Projeto Temático Fapesp: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications

Descrição: The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, algebraic and computational aspects of the resulting combined systems. From the point of view of efficient applications, approximating propositional and quantified inferences is a promising approach in the taming of the intrinsic complexities involved. Intimately related to the quest for efficiency, quantum logics and quantum computation arise as an important research area. The formidable speedup of technology requires multidisciplinary researchers involved in the hard task of providing efficient alternatives to traditional methods of inference. To cope with this challenge, the project involves 22 researchers with different backgrounds from USP and UNICAMP with the support of 8 researchers from three international research institutions. http://www.ime.usp.br/~consrel/.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Wlater Alexandre Carnielli - Coordenador / Hércules de Araujo Feitosa - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2005 - 2007

Aspectos lógico matemáticos da lógica do plausível

Descrição: A Lógica do Plausível foi introduzida como uma lógica modulada com um quantificador generalizado para senteças do tipo "uma boa parte dos indivíduos admitem a propriedade P". Este trabalho planeja alguns desenvolvimentos lógico-matemáticos da Lógica do Plausível. Tem como objetivos específicos: (i) Desenvolver a estrutura matemática dos espaços pseudo-topológicos em comparação com outras estruturas semelhantes, particularmente, com a estrutura dos espaços topológicos, quando devemos dar exemplos, estabelecer propriedades e distinguir estas estruturas; (ii) A Lógica do Plausível foi introduzida numa versão de lógica estendida, porém, entendemos que possamos manter a estrutura matemática das pseudo-topologias e constituir uma versão proposicional da Lógica do Plausível. A adequação desta versão deverá ser justificada por meio de semânticas algébricas; (iii) Para esta versão proposicional da Lógica do Plausível, temos por objetivo fornecer uma apresentação em Dedução Natural, com a respectiva demonstração da equivalência entre os sistemas. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Mauri Cunha do Nascimento - Integrante / Maria Claudia Cabrini Grácio - Integrante / Hércules de Araujo Feitosa - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 2.

Membro de corpo editorial

2005 - Atual

Periódico: TRANS/FORM/AÇÃO

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica e Fundamentos da Matemática / Especialidade: Lógica.
2.	Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Aspectos Teóricos e Filosóficos da Lógica.
3.	Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica e Fundamentos da Matemática / Especialidade: Traduções Entre Lógicas.
4.	Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica e Fundamentos da Matemática / Especialidade: Lógica algébrica.
5.	Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Quantificadores generalizados.
6.	Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Quantificadores e modelos modais.

Idiomas

Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol	Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.
Italiano	Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	NASCIMENTO, Mauri Cunha Do ; KRAUSE, D. ; FEITOSA, H. A. . The quasi-lattice of indiscernible elements. Studia Logica, v. 97, p. 101-126, 2011.

2.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . Logic TK: algebraic notions from Tarki's consequence operator. Principia (UFSC), v. 14, p. 47-70, 2010.

3.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . Algebraic elements for the notion of 'many'. CLE e-Prints (Online), v. 9, p. 1, 2009.

4.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . A propositional logic for Tarki's consequence operator. CLE e-Prints (Online), v. 7, p. 1-13, 2007.

5.	NASCIMENTO, Mauri Cunha Do ; FEITOSA, H. A. . Os três problemas clássicos da antgüidade. Revista Ciência e Tecnologia, v. X, p. 61-64, 2007.

6.	GRÁCIO, Maria Claudia Cabrini ; FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Muitos: formalizando um conceito impreciso. Revista Eletrônica Informação e Cognição, v. 5, p. 20-28, 2006.

7.	NASCIMENTO, Mauri Cunha Do ; FEITOSA, H. A. . As álgebras do operadores de conseqüência. Revista de Matemática e Estatística, São Paulo, v. 23, n. 1, p. 19-30, 2005.

8.	SAUTTER, Frank Thomas ; FEITOSA, H. A. . Lógicas paraclássicas: exposição, defesa e problemas. Cognitio, São Paulo, v. 6, n. 1, p. 85-93, 2005.

9.	FEITOSA, H. A. ; SAUTTER, Frank Thomas . Modulated logic, modal logic and translations between logics. Manuscrito (UNICAMP), Campinas, v. 28, n. 1-2, p. 351-373, 2005.

10.	GRÁCIO, Maria Claudia Cabrini ; FEITOSA, H. A. . Lógicas moduladas: implicações em um fragmento da teoria da linguagem natural . Revista Eletrônica Informação e Cognição, Marília, v. 4, n. 1, p. 34-46, 2005.

11.	FEITOSA, H. A. ; GRACIO, Maria Claudia Cabrini . As desviantes lógicas multivaloradas. Vivência (Natal), Natal, v. 26, p. 59-76, 2004.

12.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não-clássicas. Página Educacional do Cle, Campinas, p. 1-34, 2003.

13.	FEITOSA, H. A. ; D'OTTAVIANO, Ítala Maria Loffredo . A busca por uma definição de tradução lógica. Episteme (Porto Alegre), Porto Alegre, v. 14, p. 139-170, 2002.

14.	FEITOSA, H. A. . Traduções: um instrumento de análise lógica. Tempo da Ciência (UNIOESTE), Toledo, v. 9, n. 17, p. 75-90, 2002.

15.	FEITOSA, H. A. ; D'OTTAVIANO, Ítala Maria Loffredo . Conservative translations. Annals of Pure and Applied Logic, Amsterdam, v. 108, p. 205-227, 2001.

16.	FEITOSA, H. A. ; LOCCI, V. . O fazer matemático. Mimeses (Bauru), Bauru, v. 22, n. 3, p. 63-81, 2001.

17.	FEITOSA, H. A. . Translating Lukasiewicz's logics into classical logica: a grade of dificulty. Princípios ((UFRN), Natal, v. 8, n. 10, p. 109-120, 2001.

18.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . Paraconsistent logic and translations. Synthese (Dordrecht), Dordrecht, v. 125, n. 1-2, p. 77-95, 2000.

19.	FEITOSA, H. A. . Quanto um deus está além de outro deus? Elementos de matemática na Babilônia. Mimeses (Bauru), Bauru, v. 21, n. 1, p. 25-38, 2000.

20.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . Many-valued logics and translations. Journal of Applied Non-Classical Logics, Toulouse, v. 9, n. 1, p. 121-140, 1999.

21.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . Conservative translations and model-theoretic translations. Manuscrito (UNICAMP), Campinas, v. XXII, n. 2, p. 117-132, 1999.

Livros publicados/organizados ou edições

1.	FEITOSA, H. A. ; NASCIMENTO, H. L. ; ALFONSO, A. B. . Teoria dos Conjuntos: sobre a fundamentação matemática e a construção de conjuntos numéricos. 1. ed. Rio de Janeiro: Editora Ciência Moderna, 2011. v. 1. 288 p.

2.	NASCIMENTO, Mauri Cunha Do ; FEITOSA, H. A. . Elementos da teoria dos números. São Paulo: Cultura Acadêmica, 2009. 140 p.

3.	FEITOSA, H. A. (Org.) ; SAUTTER, Frank Thomas (Org.) ; GRÁCIO, Maria Claudia Cabrini (Org.) . Revista Eletrônica Informação e Cognição. 6. ed. Marília: UNESP - Marília, 2007. 71 p.

4.	FEITOSA, H. A. (Org.) ; SAUTTER, Frank Thomas (Org.) . Revista Eletrônica Informação e Cognição. 5. ed. Marília: UNESP, 2006. 72 p.

5.	FEITOSA, H. A. ; PAULOVICH, L. . Um prelúdio à Lógica. 1a.. ed. São Paulo: Editora UNESP, 2005. v. 1500. 225 p.

6.	FEITOSA, H. A. (Org.) ; SAUTTER, Frank Thomas (Org.) ; GRÁCIO, Maria Claudia Cabrini (Org.) . Revista Eletrônica Informação e Cognição. 1. ed. Marília: UNESP - Marília, 2005. 145 p.

7.	SAUTTER, Frank Thomas (Org.) ; FEITOSA, H. A. (Org.) . Lógica: teoria, aplicações e reflexões. 1. ed. Campinas: Editora do CLE, 2004. v. 500. 193 p.

Capítulos de livros publicados

1.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . A propositional version of the logic of the plausible. In: Cezar Mortari e Luiz Henrique Dutra. (Org.). Simpósio Internacional Principia - Rumos da Epistemologia. Florianópolis: NEL/UFSC, 2009, v. 9, p. 185-196.

2.	KRAUSE, D. ; FEITOSA, H. A. . Algebraic aspects of quantum indiscernibility. In: Walter Carnielli; Marcelo E. Coniglio; Itala M. Loffredo D'Ottaviano. (Org.). The many sides of logic. : College Publications, 2009, v. 21, p. 369-388.

3.

GRÁCIO, Maria Claudia Cabrini ; FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Linguagem e inferência indutiva em sistemas dedutivos. In: Jonas Gonçalves Coelho; Maximiliano Martin Vicente. (Org.). Pensamento e Linguagem: subjetividade, comunicação e arte. 1 ed. São Paulo: Editora Unesp, 2008, v. 1, p. 141-166.

4.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . Translating from Lukasiewicz logics into classical logic: is it possible?. In: Jacek Malinowski; Andrzei Pietruszczak. (Org.). Essays in logic and ontology. New York: Rodopi, 2007, v. 1, p. 157-168.

5.	DOTTAVIANO, Í. M. L. ; FEITOSA, H. A. . Deductive systems and translations. In: Jean-Yvez Béziau; Alexandre Costa Leite. (Org.). Perspectives on universal logic. 1 ed. Monza: Polimetrica International Scientific Publisher, 2007, v. , p. 125-157.

6.	FEITOSA, H. A. ; D'OTTAVIANO, Ítala Maria Loffredo . Um olhar algébrico sobre as traduções intuicionistas. In: Frank Thomas Sautter; Hércules de Araujo Feitosa. (Org.). Lógica: teoria, aplicações e reflexões. 1 ed. Campinas: Editora do CLE, 2004, v. 39, p. 59-89.

Trabalhos completos publicados em anais de congressos

1.

FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini ; NASCIMENTO, Mauri Cunha Do . Sobre os quantificadores generalizados. In: V Encontro da Associação de Filosofia e História da Ciência do Cone Sul, 2008, Florianópolis. Filosofia e História da Ci^neica no Cone Sul: seleção de trabalhos do 5o. encontro. Campinas : AFHIC, 2006. v. 1. p. 197-206.

2.	SILVESTRINI, Luiz Henrique da Cruz ; FEITOSA, H. A. . Tableaux como método de decisão para lógica clássica. In: I Encontro de Bauru e Região de Educação Matemática, 2005, Bauru. Apostila do Mini-Curso. Bauru : Licenciatura em Matemática, 2005. v. 1. p. 1-45.

3.	FEITOSA, H. A. ; BRONDINO, N. C. M. . Inferências e modelação. In: V Simpósio em Filosofia e Ciência - trabalho e conhecimento: desafios e responsabilidades da ciência, 2003, Marília. CD dos textos do V Simpósio em Filosofia e Ciência. Marília : Unesp Marília Publicações, 2003.

Resumos expandidos publicados em anais de congressos

1.	BOZA, T. A. S. ; FEITOSA, H. A. . Semânticas de Kripke e o sistema S5: uma adequação. In: XXIII Congresso de Iniciação Científica da UNESP (CIC), 2011, Bauru. Anais do XXIII CIC. Bauru : UNESP - Prope, 2011.

2.	AURELIANO, F. A. ; FEITOSA, H. A. . Uma semântica relacional para a lógica proposicional para. In: XXIII Congresso de Iniciação Científica da UNESP (CIC), 2011, Bauru. Anais do XXIII CIC. Bauru : UNESP - Prope, 2011.

3.	KITAZUME, R. A. O. ; FEITOSA, H. A. . Lógica proposicional para muitos em tablôs. In: XXIII Congresso de Iniciação Científica da UNESP (CIC), 2011, Bauru. Anais do XXIII CIC. Bauru : UNESP - Prope, 2011.

4.	GOLZIO, A. C. J. ; FEITOSA, H. A. . Uma versão da Lógica TK em dedução natural. In: Brazilian Conference on Dynamics, Control and Applications, 2009, Bauru. Proceedings of the 8th Brazilian Conference on Dynamics, Control and Applications. Bauru : SBMAC, 2009. v. 1.

5.	BOZA, T. A. S. ; FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Aspectos algébricos da lógica do plausível. In: Brazilian Conference on Dynamics, Control and Applications, 2009, Bauru. Proceedings of the 8th Brazilian Conference on Dynamics, Control and Applications. Bauru : SBMAC, 2009. v. 1.

6.	RODRIGUES Angela Pereira ; FEITOSA, H. A. . Um sistema de dedução natural para a lógica do muito. In: Brazilian Conference on Dynamics, Control and Applications, 2009, Bauru. Proceedings of the Brazilian Conference on Dynamics, Control and Applications. Bauru : SBMAC, 2009.

7.	VAINE, C. A. ; GOLZIO, A. C. J. ; FEITOSA, H. A. . Elementos algébricos para a formalização do termo 'muitos'. In: Brazilian Conference on Dynamics, Control and Applications, 2009, Bauru. Proceedings of the Brazilian Conference on Dynamics, Control and Applications. Bauru : SBMAC, 2009.

8.

NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini ; FEITOSA, H. A. . Modelando um quantificador não clássico. In: Encontro Regional de Matemática Aplicada e Computacional, 2008, Bauru. ERMAC: 1o. Encontro Regional de Matemática Aplicada e Computacional - Resumos. Bauru : ERMAC - Bauru, 2008. v. 1. p. 480-483.

Resumos publicados em anais de congressos

1.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Derivative algebra in Tarski spaces. In: Encontro Brasileiro de Lógica, 2011, Petrópolis. XVI EBL: Abstracts. Petrópolis : Sociedade Brasileira de Lógica, 2011. p. 78-78.

2.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Almost topological spaces. In: Science, truth and consistency - CLE / AIPS Event, 2009, Campinas. Abstracts of the CLE/AIPS Event. Campinas : UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 2009. p. 66-66.

3.

FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . Algebraic elements for the notion of 'many'. In: The Bulletin of Symbolic Logic: XIV SLALM, 2009, Parati. XIV Latin American Symposium on Mathematical Logic (SLALM). New York : Association for Symbolic Logic, 2009. v. 15. p. 372-373.

4.	KRAUSE, D. ; FEITOSA, H. A. . Algebraic aspects of quantum indiscernibility. In: XIV Latin American Symposium on Mathematical Logic, 2009, Parati. The Bulletin of Symbolic Logic: XIV SLALM. New York : Association for Symbolic Logic, 2009. v. 15. p. 359-359.

5.

KRAUSE, D. ; FEITOSA, H. A. . Algebraic aspects of quantum indiscernibility. In: CLE 30 Years - XV Brasilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. Annals of the CLE 30 Years, XV Brasilian Logic Conference, XIV Latin-American Symposium on Mathematical Logic. Campinas : Center for Logic, Epistemology and the History of Science, 2008. p. 134-134.

6.

FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . Elementos Algébricos para 'muitos' ... 'quase todos'. In: CLE 30 Years, XV Brazilian Logic Conference, XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. Annasl of the CLE 30 Years, XV Brazilian Logic Conference, XIV Latin-American Symposium on Mathematical Logic. Campinas : Center for Logic, Epistemology and the History of Science, 2008. v. 1. p. 183-183.

7.	FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini . Sobre os quantificadores naturais: muitos, ..., quase sempre. In: V Simpósio Internacional Principia, 2007, Florianópolis. Resumos do V Simpósio Internacional Principia. Florianópolis : NEL / UFSC, 2007. p. 77-78.

8.

D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . Is there a translation from intuitionistic into classical logic?. In: II World Congress and School on Universal Logic - UNILOG'07, 2007, Xi'an. Proceedings of 2nd World Congress and School on Universal Logic - UNILOG'07. Xi'an : UNILOG'07, 2007. v. 1. p. 34.

9.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . Espaços quase topológicos e lógicas modais associadas. In: Encontro Brasileiro de Lógica, 2006, Itatiaia. Caderno de Resumos. Rio de Janeiro : SBL, 2006. v. 1.

10.	SILVESTRINI, Luiz Henrique da Cruz ; FEITOSA, H. A. . Tableaux para uma lógica modulada. In: Encontro Brasileiro de Lógica, 2006, Itatiaia. Caderno de Resumos. Rio de Janeiro : SBL, 2006. v. Único.

11.	FEITOSA, H. A. . Acerca dos quantificadores naturais e seus modelos. In: XII Encontro Nacional de Filosofia da ANPOF, 2006, Salvador. Livro de Atas do XII Encontro Nacional de Filosofia da ANPOF. Salvador : Asociação Nacional de Pós-Graduação em Filosofia, 2006. v. 1. p. 234-235.

12.	FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini . Quantificadores generalizados para o 'muito'. In: VII Encontro Brasileiro Internacional de Ciência Cognitiva, 2006, São Paulo. Caderno de Resumos do VII Encontro Brasileiro Internacional de Ciência Cognitiva. Marília : UNESP, 2006. v. 1. p. 16-17.

13.	FADEL, Mariana Matulovic da Silva ; FEITOSA, H. A. . Lógica do muito em um sistema dedutivo por tablôs. In: VII Encontro Brasileiro Internacional de Ciência Cognitiva, 2006. Caderno de Resumos do VII Encontro Brasileiro Internacional de Ciência Cognitiva. Marília : UNESP, 2006. v. 1. p. 32-32.

14.	FADEL, Mariana Matulovic da Silva ; FEITOSA, H. A. . Tablôs para a lógica do muito. In: IX Encontro Internacional sobre o Pragmatismo, 2006, São Paulo. Caderno de Resumos do IX Encontro Internacional sobre o Pragmatismo. São Paulo : PUC, 2006. v. 1. p. 27-28.

15.	FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini . Sobre os quantificadores generalizados. In: V Encontro da AFIHC, 2006, Florianópolis. Caderno de Resumos do V Encontro AFHIC. Florianópolis : Asociación de Filosofía e Historia de la Ciencia del Conosur, 2006. v. 1. p. 55-55.

16.	FEITOSA, H. A. . Por uma versão proposicional da lógica do plausível. In: Wokshop Semantics and mening, 2005, Campinas. Resumos. Campinas : CLE, 2005.

17.	FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini . Uma versão algébrico-proposicional para a lógica do plausível. In: IV Simpósio Internacional Principia, 2005, Florianópolis. Resumos/Abstracts. Florianópolis : NECL, 2005. v. único. p. 33-34.

18.	SILVESTRINI, Luiz Henrique da Cruz ; FEITOSA, H. A. . Uma apresentação em tableaux para a lógica do plausível. In: IV Simpósio Internancional Principia, 2005, Florianópolis. Resumos/Abstracts. Florianópolis : NECL, 2005. v. Único. p. 88-89.

19.	SILVESTRINI, Luiz Henrique da Cruz ; FEITOSA, H. A. . Uma apresentação em tableaux para a lógica do plausível. In: IV Simpósio Internacional Principia, 2005, Florianópolis. Resumos/Abstract do IV Simpósio Internacional Principia. Florianópolis : NECL, 2005. v. 1. p. 88-89.

20.	FEITOSA, H. A. . Recursividade e emergentismo nas redes neurais. In: VI Encontro Brasileiro Internacional de Ciência Cognitiva, 2004, São Luis e Marília. Caderno de Resumos do VI Encontro Brasileiro Internacional de Ciência Cognitiva. Marília : SBCC, 2004. v. Único. p. 6-6.

21.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . A non-recursive way of translating Lukasiewicz's propositional logic. In: XII Simposio Latino Americano de Logica Matematica, 2004, San José. Resumos do XII SLALM. San José : Universidad de Costa Rica, 2004. v. 1. p. 1.

22.	FEITOSA, H. A. ; BRONDINO, N. C. M. . A mente e a máquina inteligente. In: Café Cultural, 2003, Bauru. Programação do Café Cultural e Conversando sobre Práticas Profissionais em Psicologia. Bauru : UNESP, 2003. p. 2-3.

23.	FEITOSA, H. A. . Aspectos algébricos dos operadores de conseqüência de Tarski. In: CLE/SBL 25 anos - XIII Encontro Brasileiro de Lógica, 2003, Campinas. REsumos do CLE/SBL 25 anos - XIII Encontro Brasileiro de Lógica. Campinas : CLE - UNICAMP, 2003. v. único. p. 60-60.

24.	FEITOSA, H. A. . Modelos mecânicos para a cognição. In: V Encontro Brasileiro - Internacional de Ciência Cognitiva, 2003, São Vicente. Resumos do V Encontro Brasileiro - Internacional de Ciência Cognitiva. Marília : UNESP, 2003. p. 21-21.

25.	FEITOSA, H. A. . A lógica associada aos espaços quase topológicos. In: X Encontro Nacional de Filosofia, 2002, São Paulo. Atas do X Encontro Nacional de Filosofia. Campinas : Associação Nacional de Pós-Graduação em Filosofia, 2002. v. único. p. 230-230.

26.	FEITOSA, H. A. . Algebraic aspects of the double negation translations. In: Second Principia International Symposium, 2001, Florianópolis. Abstracts of the Second Principa International Symposium, 2001. p. 15-15.

27.	FEITOSA, H. A. . Traduções: um instrumento de análise lógica. In: IV Simpósio em Filosofia e Ciência, 2001, Marília. Resumos do IV Simpósio em Filosofia e Ciência. Marília : Unesp Marília Publicações, 2001. v. Único. p. 110-110.

28.	ALVES, E. H. ; FEITOSA, H. A. ; D'OTTAVIANO, Ítala Maria Loffredo . O princípio da identidade na lógica contemporânea. In: III Encontro Internacional de Informação, Conhecimento e Aprendizagem, 2001, São Vicente. Resumos do III EIICA. Marília : Unesp, FFC, 2001. p. 12-12.

29.	FEITOSA, H. A. . Traduções conservativas e as lógicas de Lukasiewicz. In: IX Encontro Nacional de Filosofia (ANPOF), 2000, Poços de Caldas. Atas do IX Encontro Nacional de Filosofia (ANPOF), 2000. p. 125-125.

30.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . Many-valued logics and translations. In: XI Simposio Latinoamericano de Lógica Matemática, 1998, Mérida. Libro de Resúmenes del XI Simposio Latinoamericano de Lógica Matemática, 1998.

31.	FEITOSA, H. A. ; D'OTTAVIANO, Ítala Maria Loffredo . Is there a translation from intuitionistic logic into classical logic?. In: XI Simposio Latinoamericano de Lógica Matemática, 1998, Mérida. Libro de Resúmenes del XI Simposio Latinoamericano de Lógica Matemática, 1998.

32.	FEITOSA, H. A. . Sobre um conceito de tradução semântica entre lógicas. In: VIII Encontro Nacional de Filosofia, 1998, Caxambu. Livro de Resumos do VIII Encontro Nacional de Filosofia, 1998.

33.	FEITOSA, H. A. ; D'OTTAVIANO, Ítala Maria Loffredo . Paraconsistent logic and translations. In: First World Congress on Paraconsistency, 1997, Ghent. Abstract Book of the First World Congress on Paraconsistency, 1997.

34.	FEITOSA, H. A. . Traduções conservativas. In: XI Encontro Brasileiro de Lógica, 1996, Salvador. Livro de Resumos do XI Encontro Brasileiro de Lógica, 1996. v. 1. p. 41-41.

35.	FEITOSA, H. A. . Traduções entre lógicas: um passeio histórico e perspectivas categoriais. In: VII Encontro Nacional de Filosofia (Anpof), 1996, Águas de Lindóia. Livro de Resumos de VII Encontro Nacional de Filosofia, 1986.

36.	LANÇAS, A. L. ; ROSA, E. M. ; FEITOSA, H. A. . Anéis de divisão e fatoração. In: III Congresso de Iniciação Científica da UNESP, 1991, Jaboticabal. Resumos do III CIC da UNESP, 1991. v. único. p. 23-23.

37.	LANÇAS, A. L. ; FEITOSA, H. A. ; ROSA, E. M. . Um anel Euclidiano não-principal. In: I Simpósio de Iniciação Científica da UNESP, Câmpus de Bauru, 1991, Bauru. Resumos do I Simpósio de IC da UNESP, Cãmpus de Bauru, 1991. v. Único. p. 32-32.

Apresentações de Trabalho

1.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Derivative algebra in Tarski spaces. 2011. (Apresentação de Trabalho/Comunicação).

2.	FEITOSA, H. A. . Currículo de Licenciatura: solicitações para o professor de hoje. 2011. (Apresentação de Trabalho/Conferência ou palestra).

3.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Lógica: estruturas matemáticas e formalização. 2010. (Apresentação de Trabalho/Seminário).

4.	FEITOSA, H. A. ; BOZA, T. A. S. . Lógica do Plausível: pseudo-topologia, formalização modal e tablôs. 2010. (Apresentação de Trabalho/Seminário).

5.	KRAUSE, D. ; FEITOSA, H. A. . Algebraic aspects of quantum indiscernibility. 2008. (Apresentação de Trabalho/Comunicação).

6.	FEITOSA, H. A. . Lógica, Quantificadores Generalizados e Operadores Modais. 2007. (Apresentação de Trabalho/Conferência ou palestra).

7.	FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini ; NASCIMENTO, Mauri Cunha Do . Sobre os quantificadores naturais: muito, ..., quase sempre. 2007. (Apresentação de Trabalho/Comunicação).

8.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do ; GRÁCIO, Maria Claudia Cabrini . Espaços quase topológicos e lógicas modais associadas. 2006. (Apresentação de Trabalho/Comunicação).

9.	FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini . Sobre os quantificadores generalizados. 2006. (Apresentação de Trabalho/Comunicação).

10.	FEITOSA, H. A. . Acerca dos quantificadores naturais e seus modelos. 2006. (Apresentação de Trabalho/Comunicação).

11.	FEITOSA, H. A. ; GRÁCIO, Maria Claudia Cabrini . Quantificadores generalizados para o 'muito'. 2006. (Apresentação de Trabalho/Comunicação).

12.	FEITOSA, H. A. . Por uma versão proposicional da lógica do plausível. 2005. (Apresentação de Trabalho/Comunicação).

13.	FEITOSA, H. A. . Uma versão algébrico-proposicional para a lógica do plausível. 2005. (Apresentação de Trabalho/Simpósio).

14.	SILVESTRINI, Luiz Henrique da Cruz ; FEITOSA, H. A. . Um novo sistema dedutivo para uma lógica modulada. 2005. (Apresentação de Trabalho/Simpósio).

15.	FEITOSA, H. A. . Recursividade e emergentismo nas redes neurais. 2004. (Apresentação de Trabalho/Comunicação).

16.	FEITOSA, H. A. ; BRONDINO, N. C. M. . A mente e a máquina inteligente. 2003. (Apresentação de Trabalho/Comunicação).

17.	FEITOSA, H. A. . Aspectos algébricos dos operadores de conseqüência de Tarski. 2003. (Apresentação de Trabalho/Comunicação).

18.	BRONDINO, N. C. M. ; FEITOSA, H. A. . Inferências e modelação. 2003. (Apresentação de Trabalho/Simpósio).

19.	FEITOSA, H. A. . Modelos mecânicos para a cognição. 2003. (Apresentação de Trabalho/Comunicação).

20.	FEITOSA, H. A. . Modelos algébricos para a lógica TK. 2003. (Apresentação de Trabalho/Comunicação).

21.	FEITOSA, H. A. . Aspectos da lógica fuzzy. 2002. (Apresentação de Trabalho/Seminário).

22.	FEITOSA, H. A. . A lógica associada aos espaços quase topológicos. 2002. (Apresentação de Trabalho/Comunicação).

23.	FEITOSA, H. A. . Noções sobre lógicas multi-valoradas. 2002. (Apresentação de Trabalho/Comunicação).

24.	FEITOSA, H. A. . Algebraic aspects of the double negation translations. 2001. (Apresentação de Trabalho/Congresso).

25.	ALVES, E. H. ; FEITOSA, H. A. . O princípio da identidade na lógica contemporânea. 2001. (Apresentação de Trabalho/Congresso).

26.	FEITOSA, H. A. . Traduções: um instrumento de análise lógica. 2001. (Apresentação de Trabalho/Simpósio).

27.	FEITOSA, H. A. ; SILVESTRINI, Luiz Henrique da Cruz . A identidade entre as funções recursivas e as funções computáveis nos algoritmos de Turing e Markov. 2001. (Apresentação de Trabalho/Comunicação).

28.	PRADO, O. A. F. ; FEITOSA, H. A. . Sistemas dedutivos. 2001. (Apresentação de Trabalho/Comunicação).

29.	FEITOSA, H. A. . Traduções conservativas e as lógicas de Lukasiewicz. 2000. (Apresentação de Trabalho/Congresso).

30.	FEITOSA, H. A. . An overview about translations involving logical systems. 2000. (Apresentação de Trabalho/Conferência ou palestra).

31.	FEITOSA, H. A. . The existence of a conservative translation from IPC into the CPC. 2000. (Apresentação de Trabalho/Conferência ou palestra).

32.	FEITOSA, H. A. . Some new results on translations. 1999. (Apresentação de Trabalho/Conferência ou palestra).

33.	FEITOSA, H. A. . Translations and semantical calculi. 1999. (Apresentação de Trabalho/Conferência ou palestra).

34.	FEITOSA, H. A. . A existência de tradução conservativa do cálculo proposicional intuicionista no cálculo proposicional clássico. 1998. (Apresentação de Trabalho/Seminário).

35.	FEITOSA, H. A. . Sobre as traduções conservativas. 1998. (Apresentação de Trabalho/Seminário).

36.	FEITOSA, H. A. ; D'OTTAVIANO, Ítala Maria Loffredo ; CONIGLIO, Marcelo . Mesa redonda 'Lógicas Não-Clássicas'. 1998. (Apresentação de Trabalho/Congresso).

37.	FEITOSA, H. A. . Traduções entre lógicas. 1997. (Apresentação de Trabalho/Seminário).

38.	FEITOSA, H. A. . A consistência da Aritmética segundo Gentzen. 1997. (Apresentação de Trabalho/Seminário).

39.	FEITOSA, H. A. . Modelos algébricos para o Intuicionismo. 1996. (Apresentação de Trabalho/Seminário).

40.	FEITOSA, H. A. . Traduções conservativas. 1996. (Apresentação de Trabalho/Conferência ou palestra).

41.	FEITOSA, H. A. . Traduções entre lógicas: um passeio histórico e perspectivas categoriais. 1996. (Apresentação de Trabalho/Conferência ou palestra).

42.	FEITOSA, H. A. . Traduções sintáticas entre sistemas lógicos. 1995. (Apresentação de Trabalho/Seminário).

43.	FEITOSA, H. A. . Sistemas topológicos. 1995. (Apresentação de Trabalho/Seminário).

44.	FEITOSA, H. A. . Locales. 1995. (Apresentação de Trabalho/Seminário).

45.	FEITOSA, H. A. . Traduções semanticamente fiéis. 1995. (Apresentação de Trabalho/Seminário).

46.	FEITOSA, H. A. . Um sistema formal Hilbertiano para a lógica linear. 1994. (Apresentação de Trabalho/Seminário).

47.	FEITOSA, H. A. . Extensões de Lww. 1994. (Apresentação de Trabalho/Seminário).

48.	FEITOSA, H. A. . Conjuntos e relações difusas. 1993. (Apresentação de Trabalho/Seminário).

49.	FEITOSA, H. A. . Um cálculo sentencial difuso. 1993. (Apresentação de Trabalho/Seminário).

Demais tipos de produção bibliográfica

1.	ALMEIDA, Edgar Luis Bezerra de ; FEITOSA, H. A. . Cálculo sem limites: uma introdução à análise não 'standard'. Bauru: Curso de Licenciatura em Matemática, 2010 (Divulgação Científica).

2.	ALMEIDA, Edgar Luis Bezerra de ; FEITOSA, H. A. . Sobre o teorema de incompletude de Gödel. Bauru: UNESP, 2009 (Divulgação Científica).

3.	FEITOSA, H. A. ; GOLZIO, A. C. J. ; RODRIGUES Angela Pereira . O cálculo proposicional clásico nos sistemas axiomático, dedução natural, cálculos de sequentes e tableaux. Bauru: UNESP, 2009 (Texto Didático).

4.	NASCIMENTO, Mauri Cunha Do ; FEITOSA, H. A. . Elementos da Teoria dos Números. Bauru: UNESP, 2008 (Texto Didático).

5.	FEITOSA, H. A. ; GOLZIO, A. C. J. ; RODRIGUES Angela Pereira . Métodos de Prova. Bauru: UNESP, 2008 (Texto Didático).

6.	FEITOSA, H. A. ; SAUTTER, Frank Thomas ; GRÁCIO, Maria Claudia Cabrini . Prefácio. Marília, 2007. (Prefácio, Pósfacio/Prefácio).

7.	FEITOSA, H. A. ; SAUTTER, Frank Thomas . Editorial. Marília, 2006. (Prefácio, Pósfacio/Prefácio).

8.	GRÁCIO, Maria Claudia Cabrini ; FEITOSA, H. A. ; SAUTTER, Frank Thomas . Revista eletrônica: Informação e Cognição . Marília, 2005. (Prefácio, Pósfacio/Apresentação).

9.	FEITOSA, H. A. . Lógica e jogos de racicínio. Bauru: Departamento de Matemática, 2004 (Divulgação Científica).

10.	SAUTTER, Frank Thomas ; FEITOSA, H. A. . Lógica: teoria, aplicações e reflexões. Campinas, 2004. (Prefácio, Pósfacio/Prefácio).

11.	D'OTTAVIANO, Ítala Maria Loffredo ; FEITOSA, H. A. . História da lógica e o surgimento das lógicas não-clássicas. Rio Claro: Sociedade Brasileira de História da Matemática, 2003 (Divulgação Científica).

12.	FEITOSA, H. A. ; FADEL, M. M. S. . Introduzindo conceitos fuzzy. Bauru: Licenciatura em Matemática, 2003 (Texto Didático).

13.	FEITOSA, H. A. ; BRONDINO, N. C. M. ; MONTEIRO, L. H. ; NASCIMENTO, H. L. ; JUSTULIN, A. M. ; ROMANO, M. C. . Prefácio. Bauru: Licenciatura em Matemática, 2002 (Divulgação Científica).

14.	FEITOSA, H. A. . A álgebra dos conjuntos fuzzy. Rio Claro: Relatórios Internos do IGCE - UNESP, 1992 (Divulgação Científica).

15.	FEITOSA, H. A. . Relações fuzzy. Rio Claro: Relatórios Internos do IGCE - UNESP, 1992 (Divulgação Científica).

Produção técnica

Trabalhos técnicos

1.	CARNIELLI, Walter Alexandre ; FEITOSA, H. A. ; ALMEIDA, J. M. . Projeto de Cooperação Brasil-Alemanha ProBrAl. 2001.

2.	FEITOSA, H. A. . Visit to University of Milano: The existence of a conservative translations from IPC into the CPC. 2000.

3.	FEITOSA, H. A. . Visit to Universiyt of Karlsruhe: Logical models to applied deductions systems. 2000.

4.	LAVARDA, F. C. ; FEITOSA, H. A. ; SANTOS, L. S. ; BASTOS, F. ; SARDELLA, E. ; MONTEIRO, L. H. ; OLIVEIRA, C. S. ; LOPES, A. A. . Elaboração de projeto do Laboratório Didático da FC - PROLAB/UNESP. 1998.

5.	FEITOSA, H. A. ; SILVA, M. R. G. ; BIANCHINI, M. . Trabalhando a Proposta Curricular para o Ensino de Matemática no 2o. Grau: do discurso à prática - introduzindo o uso do computador. 1998.

Demais tipos de produção técnica

1.	ALMEIDA, Edgar Luis Bezerra de ; FEITOSA, H. A. . Cálculo sem limites. 2010. .

2.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Coordenação do Seminários Regulares do Grupo de Pesquisa SALCI (com base no CNPq ). 2009. (Científica).

3.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Coordenação do Seminários Regulares do Grupo de Pesquisa SALCI (com base no CNPq ). 2008. (Científica).

4.	ALMEIDA, Edgar Luis Bezerra de ; FEITOSA, H. A. . Sobre os conjuntos fuzzy. 2006. (Curso de curta duração ministrado/Extensão).

5.	FEITOSA, H. A. ; NASCIMENTO, Mauri Cunha Do . Teoria dos conjuntos uma introdução aos fundamentos da matemática. 2006. (Desenvolvimento de material didático ou instrucional - Material didático).

6.	FEITOSA, H. A. . Espaços Métricos. 2006. (Desenvolvimento de material didático ou instrucional - Material didático).

7.	SILVESTRINI, Luiz Henrique da Cruz ; FEITOSA, H. A. . Tableaux como método de decisão para a lógica clássica. 2005. .

8.	FEITOSA, H. A. . Introdução ao raciocínio. 2004. (Curso de curta duração ministrado/Outra).

9.	FEITOSA, H. A. ; FADEL, M. M. S. . Introduzindo conceitos fuzzy. 2003. (Curso de curta duração ministrado/Extensão).

Demais trabalhos

1.	FEITOSA, H. A. ; PECORA, Iracy Lea . Estimulando o raciocínio. 2004 (Científico / Pedagógica).

2.	GONZALEZ, Maria Eunice Qulici ; MASSO, M. C. ; FEITOSA, H. A. . Coordenação do Grupo de Estudos Acadêmicos em Ciências Cognitivas. 2003 (Científica).

3.	FEITOSA, H. A. ; BRONDINO, N. C. M. . Coordenação dos Seminários do Grupo de Pesquisa em Sistemas Adaptativos, Lógica e Computação Inteligente. 2002 (Científica).

4.	GONZALEZ, Maria Eunice Qulici ; MASSO, M. C. ; FEITOSA, H. A. ; GRACIO, Maria Claudia Cabrini . Coordenação do Grupo de Estudos Acadêmicos em Ciências Cognitivas. 2002 (Científica).

Bancas

Participação em bancas examinadoras

Dissertações

1.

FEITOSA, H. A.; GRÁCIO, Maria Claudia Cabrini; NASCIMENTO, Mauri Cunha Do. Participação em banca de Ana Claudia de Jesus Gólzio. Elementos algébricos para a noção de poucos e sua formalização em sistemas lógico dedutivos [Qualificação]. 2011. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP.

2.	GRÁCIO, Maria Claudia Cabrini; FEITOSA, H. A.; NASCIMENTO, Mauri Cunha Do. Participação em banca de Kleidson Eglicio Carvalho da Silva Oliveira. Uma lógica do pouco [Qualificação]. 2011. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP.

3.

FEITOSA, H. A.; CONIGLIO, Marcelo Esteban; NASCIMENTO, Mauri Cunha Do. Participação em banca de Ana Claudia de Jesus Gólzio. Elementos algébricos para a noção de 'poucos' e sua formalização em sistemas lógicos dedutivos. 2011. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP.

4.

FEITOSA, H. A.; NASCIMENTO, Mauri Cunha Do; SILVESTRINI, Luiz Henrique da Cruz. Participação em banca de Angela Pereira Rodrigues. Sobre quantificadores: uma formalização do quantificador 'quase sempre' [Qualificação]. 2011. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP.

5.	FEITOSA, H. A.; SAUTTER, Frank Thomas; MARTINS, C. A.. Participação em banca de Marli Monteiro. O positivismo e o direito: a semântica construtiva. 2010. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP.

6.	CONIGLIO, Marcelo Esteban; BUENO-SOLER J.; FEITOSA, H. A.. Participação em banca de Tarcísio Genaro Rodrigues. Sobre os fundamentos da programação lógica paraconsistente. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

7.	SAUTTER, Frank Thomas; CASANAVE, A. L.; FEITOSA, H. A.. Participação em banca de Diogo Lindner. Redução plena do deôntico ao ôntico. 2008. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Maria.

8.	FEITOSA, H. A.; NASCIMENTO, Mauri Cunha Do; SOUZA, E. G.. Participação em banca de Mariana Matulovic da Silva. A lógica do muito em um sistema de tablôs. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

9.	CONIGLIO, Marcelo Esteban; CARNIELLI, Walter Alexandre; FEITOSA, H. A.. Participação em banca de Teófilo de Souza Reis. Conectivos flexíveis: uma abordagem categorial às semânticas de traduções possíveis. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

10.	DOTTAVIANO, Í. M. L.; FEITOSA, H. A.; VIANA, J. P.. Participação em banca de Leandro Olive Suguitani. Álgebra de relações: uma axiomatização tarskiana. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

11.	CONIGLIO, Marcelo Esteban; FEITOSA, H. A.; D'OTTAVIANO, Ítala Maria Loffredo. Participação em banca de Alberto Leopoldo Batista Neto. Representação e combinação de lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

12.	FEITOSA, H. A.; MONTEAGUDO, R.; MARTINS, C. A.. Participação em banca de Marli Monteiro. Reflexões lógico filosóficas acerca da teoria do Direito [Qualificação]. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

13.

MENEZES, M. S.; ROSSI, D. C.; HELLMEISTER, L. A. V.; FEITOSA, H. A.; GUIMARÃES, L.. Participação em banca de Rodrigo Holdschip. A influência dos sistemas de gerenciamento de cores em provas digitais [Qualificação]. 2007. Dissertação (Mestrado em Desenho Industrial) - Universidade Estadual Paulista Júlio de Mesquita Filho.

14.	SAUTTER, Frank Thomas; FEITOSA, H. A.; KLOTZ, Hans Christian. Participação em banca de Gisele Dalva Secco. Uma leitura kantiana da lógica deôntica 'standard'. 2006. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Maria.

15.	FEITOSA, H. A.; GRÁCIO, Maria Claudia Cabrini; NASCIMENTO, Mauri Cunha Do. Participação em banca de Mariana Matulovic da Silva Fadel. A lógica do muito em um sistema de tablôs [Qualificação]. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

16.	FEITOSA, H. A.; GRACIO, Maria Claudia Cabrini; NASCIMENTO, Mauri Cunha Do. Participação em banca de Luiz Henrique da Cruz Silvestrini. Tableaux e indução na lógica do plausível [Qualificação]. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

17.	BROENS, Mariana Claudia; GANZALEZ, Maria Eunice Quilici; FEITOSA, H. A.. Participação em banca de Wilson Alves Sampaio. Auto-organização e hábitos na perspectiva sistêmica [Qualificação]. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

18.	FEITOSA, H. A.; SILVEIRA, Lauro Frederico B da; NUNES, Fátima de Lourdes dos S. Participação em banca de Odete Maria Corrêa Cordeiro. Processos inferenciais: contribuições das ciências cognitivas. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

19.

FEITOSA, H. A.; GRÁCIO, Maria Claudia Cabrini; D'OTTAVIANO, Ítala Maria Loffredo; NASCIMENTO, Mauri Cunha Do; ALVES, Daniel Durante Pereira. Participação em banca de Luiz Henrique da Cruz Silvestrini. Tableaux e indução na lógica do plausível. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

20.	CONIGLIO, Marcelo Esteban; FEITOSA, H. A.; MARIANO, Hugo Luiz. Participação em banca de Juliana Bueno. Semântica algébrica de traduções possíveis [Qualificação]. 2004 - Universidade Estadual de Campinas.

21.	CONIGLIO, Marcelo Esteban; FEITOSA, H. A.; MARIANO, Hugo Luiz; D'OTTAVIANO, Ítala Maria Loffredo. Participação em banca de Juliana Bueno. Semântica algébrica de traduções possíveis. 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

22.

FEITOSA, H. A.; GONZALEZ, Maria Eunice Qulici; GRACIO, Maria Claudia Cabrini. Participação em banca de Odete Maria Corrêa Cordeiro. Os sistema dinâmicos e os processos de inferência nos seres humanos [Qualificação]. 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

23.

POLETTO, A. S. R. S.; GRACIO, Maria Claudia Cabrini; GONZALEZ, Maria Eunice Qulici; HASELAGER, W. F.; FEITOSA, H. A.; VIDOTTI, S. A. B. G.. Participação em banca de Alex Sandro Romeu de Souza Poletto. Processos de auto-organização nos modelos de redes neurais artificiais. 2002. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

24.	SCHEER, M. C.; D'OTTAVIANO, Ítala Maria Loffredo; MARTINS, A. T.; FEITOSA, H. A.; CONIGLIO, Marcelo Esteban. Participação em banca de Mauro César Scheer. Para uma teoria de traduções entre lógicas comulativas. 2002 - Universidade Estadual de Campinas.

25.	SCHEER, M. C.; D'OTTAVIANO, Ítala Maria Loffredo; FEITOSA, H. A.; CARNIELLI, Walter Alexandre. Participação em banca de Mauro César Scheer. Sistemas comulativos [Qualificação]. 2001 - Universidade Estadual de Campinas.

26.

BENANTE, R. C.; GONZALEZ, Maria Eunice Qulici; FEITOSA, H. A.; ARAUJO, A. F. R.. Participação em banca de Ruben Carlo Benante. Reflexões sobre os alcances das redes neurais artificiais [Qualificação]. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

27.

POLETTO, A. S. S.; GRACIO, Maria Claudia Cabrini; GONZALES, M. E. Q.; FEITOSA, H. A.. Participação em banca de Alex Sandro de Souza Poletto. O grau de auto-organização existente nos modelos de redes neurais [Qualificação]. 2001. Dissertação (Mestrado em Cognitiva Lógica e Filosofia da Mente) - Universidade Estadual Paulista Júlio de Mesquita Filho.

28.

BENANTE, R. C.; GONZALEZ, Maria Eunice Qulici; FEITOSA, H. A.; ARAUJO, A. F. R.; HASELAGER, W. F.. Participação em banca de Ruben Carlo Benante. Alcances e limites das redes neurais artificiais na ciência cognitiva. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Teses de doutorado

1.	CONIGLIO, Marcelo Esteban; FEITOSA, H. A.; SOUZA, E. G.; BUENO-SOLER J.; COSTA-LEITE, A. F. B.. Participação em banca de Luiz Henrique da Cruz Silvestrini. Uma nova abordagem para a noção de quase-verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

2.

CONIGLIO, Marcelo; CATUOGNO, Pedro José; D'OTTAVIANO, Ítala Maria Loffredo; FINGER, Marcelo; VELOSO, Paulo; CARNIELLI, Walter Alexandre; FEITOSA, H. A.. Participação em banca de Víctor Leandro Fernandez. Fibrilação de lógicas na hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

3.

JUNQUEIRA, Lucia Renato; DACCACH, Janey Antonio; D'OTTAVIANO, Ítala Maria Loffredo; TOMITA, Artut Hideyuki; FEITOSA, H. A.. Participação em banca de Samuel Gomes da Silva. Alguns resultados envolvendo cardinais e uma determinada propriedade topológica. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.

4.

D'OTTAVIANO, Ítala Maria Loffredo; FERREIRA, Eduardo Sebastiani; FEITOSA, H. A.; COSTA, Newton Carneiro Afonso da; BIANCONI, Ricardo. Participação em banca de Tadeu Fernandes de Carvalho. Sobre o cálculo diferencial paraconsistente de da Costa. 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

5.

D'OTTAVIANO, Ítala Maria Loffredo; COSTA, Newton Afonso Carneiro da; FEITOSA, H. A.; MEDEIROS, Maria da Paz Nunes de; ALVES, Daniel Durante Pereira. Participação em banca de Milton Augustinis de Castro. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas Cn de da Costa. 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

6.

D'OTTAVIANO, Ítala Maria Loffredo; GONZALES, M. E. Q.; FEITOSA, H. A.; MANZOLI, Jônatas; PESSOA JUNIOR, Oswaldo Frota. Participação em banca de Ricardo Pereira Tassinari. Incompletude e auto-organização: sobre a determinação de verdades lógicas e aritméticas. 2003. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

7.

BIRABEN, R. C. E.; D'OTTAVIANO, Ítala Maria Loffredo; CHATEAUBRIAND, O.; HAEUSLER, E. H.; SAUTTER, Frank Thomas; CONIGLIO, Marcelo Esteban; CARNIELLI, Walter Alexandre; FEITOSA, H. A.. Participação em banca de Rodolfo Cristian Ertola Biraben. Questões conceituais de computabilidade. 2001. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

8.

MOURA, J. E.; D'OTTAVIANO, Ítala Maria Loffredo; COSTA, Newton Carneiro Afonso da; PEREIRA, L. C. P. D.; ALVES, E. H.; ALVES, Daniel Durante Pereira; CARNIELLI, Walter Alexandre; FEITOSA, H. A.. Participação em banca de José Eduardo Moura. Um estudo de Cw em cálculo de seqüentes e dedução natural. 2001. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

9.

ALVES, Daniel Durante Pereira; D'OTTAVIANO, Ítala Maria Loffredo; MASSI, C. D.; PEREIRA, L. C. P. D.; QUEIROZ, R.; CARNIELLI, Walter Alexandre; FEITOSA, H. A.; CONIGLIO, Marcelo Esteban. Participação em banca de Daniel Durante Pereira Alves. Normalização forte via ordinal natural. 1999. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Qualificações de doutorado

1.	D'OTTAVIANO, Ítala Maria Loffredo; CARNIELLI, Walter Alexandre; GONZALES, M. E. Q.; FEITOSA, H. A.. Participação em banca de Marcos Antonio Alves. A concepção de consequência lógica: um exame informacional. 2010. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

2.

D'OTTAVIANO, Ítala Maria Loffredo; FEITOSA, H. A.; CONIGLIO, Marcelo Esteban; CARNIELLI, Walter Alexandre. Participação em banca de Tadeu Fernandes de Carvalho. Um estudo do cálculo diferencial paraconsistente de da Costa. 2003. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

3.

MOURA, J. E. A.; D'OTTAVIANO, Ítala Maria Loffredo; FEITOSA, H. A.; ALVES, Daniel Durante Pereira. Participação em banca de José Eduardo de Almeida Moura. Um estudo de Cw em cálculos de seqüentes e dedução natural. 2000. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Monografias de cursos de aperfeiçoamento/especialização

1.	BRONDINO, N. C. M.; FEITOSA, H. A.; MARQUES, Emília de Mendonça Rosa. Participação em banca de Kátia Cândida Gonçalves G. de Almeida. Uso de séries temporais para prever custo de produtos básicos em higiene e alimentação. 2003 - Universidade Estadual Paulista Júlio de Mesquita Filho.

2.

TONHOLE, I. C.; SILVA, M. R. G.; FEITOSA, H. A.; NASCIMENTO, Mauri Cunha Do. Participação em banca de Isabel Cristina Tonhole. Trabalho em grupo na aula de matemática: concepções de professores. 1999. Monografia (Aperfeiçoamento/Especialização em Ensino de Ciência e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Participação em bancas de comissões julgadoras

Concurso público

1.	S. G. da SILVA; FEITOSA, H. A.; VIANA, J. P.. Comissão Examinadora de Concurso para Professor Adjunto - Matéria: Lógica e Teoria dos Conjuntos. 2011. Universidade Federal da Bahia.

2.

FEITOSA, H. A.; CARNIELLI, Walter Alexandre; GRACIO, Maria Claudia Cabrini. Banca examinadora do Concurso Público de Títulos e Provas para provimento de um cargo de Professor Assistente, na disciplina 'Lógica', junto ao Departamento de Filosofia da FFC. 2003. Universidade Estadual Paulista Júlio de Mesquita Filho.

Eventos

Participação em eventos

1.	Encontro Brasileiro de Lógica.Derivative algebra in Tarski spaces. 2011. (Congresso).

2.	XXIII Congresso de Iniciação Científica da Unesp.Avaliador da Área de Ciências Exatas. 2011. (Congresso).

3.	XXIII Semana da Licenciatura em Matemática: Matemática e Cotidiano.Mesa redondo: Currículo de Licenciatura: solicitações para o professor de hoje. 2011. (Encontro).

4.	Fórum de Pesquisa e Pós-Graduação da Faculdade de Ciências. 2011. (Encontro).

5.	13th International Meeting on Pragmatism.Sobra quantificadores para 'muitos' e 'poucos'. 2011. (Encontro).

6.	13th International Meeting on Pragmatism.A lógica proposicional do 'quase sempre'. 2011. (Encontro).

7.	Palestras: "O sistema educativo Português" e "Tratado de Bolonha". 2011. (Outra).

8.	Seminário regular do CLE.Lógica do plausível: pseudo-topologia, formalização modal e tablôs. 2010. (Seminário).

9.	Seminários do Grupo de Pesquisa MApliC.Lógica: estruturas matemáticas e formalização. 2010. (Seminário).

10.	Seminário do Curso de Pós-Graduação em Biometria.Introdução aos subconjuntos fuzzy. 2010. (Seminário).

11.	XXII Semana da Licenciatura em Matemática.Cálculo sem limites. 2010. (Simpósio).

12.	Science, truth and consistency - CLE / AIPS Event.Almost topological spaces and modal logics. 2009. (Congresso).

13.	XXI Semana da Licenciatura em Matemática.Sobre o teorema de incompletude de Gödel. 2009. (Encontro).

14.	CLE 30 Years - XV Brasilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic.Algebraic aspects of quantum indiscernibility. 2008. (Simpósio).

15.	XX Semana da Licenciatura em Matemática 2008 (SELMAT).Métodos de Prova. 2008. (Simpósio).

16.	VIII Jornanda de Matemática para a Graduação.Sobre a lógica e os fundamentos da matemática. 2008. (Encontro).

17.	V Simpósio Internacional Principia.Sobre os quantificadores naturais: muito, ..., quase sempre. 2007. (Simpósio).

18.	XVIII Congresso de Iniciação Científica da UNESP - Área da Exatas.XVIII Congresso de Iniciação Científica da UNESP - Área da Exatas. 2006. (Congresso).

19.	Encontro Brasileiro de Lógica.Espaços quase topológicos e lógicas modais associadas. 2006. (Encontro).

20.	V Encontro da AFIHC.Sobre os quantificadores generalizados. 2006. (Encontro).

21.	XII Encontro Nacional de Filosofia da ANPOF.XII Encontro Nacional de Filosofia da ANPOF. 2006. (Encontro).

22.	II EBREM e XVIII Semana da Licenciatura em Matemática.II EBREM e XVIII Semana da Licenciatura em Matemática. 2006. (Encontro).

23.	VII Encontro Brasileiro Internacional de Ciência Cognitiva.Quantificadores generalizados para o 'muito'. 2006. (Encontro).

24.	IV Simpósio Internacional Principia.IV Simpósio Internacional Principia. 2005. (Simpósio).

25.	I Encontro de Bauru e Região de Educação Matemática.I EBREM e XVII Semana da Licenciatura em Matemática. 2005. (Encontro).

26.	Workshop Semantics and Meaning.Workshop Semantics and Meaning. 2005. (Outra).

27.	Palestra programada pelo MAPLIC. 2005. (Outra).

28.	VI Encontro Brasileiro Internacional de Ciência Cognitiva.VI Encontro Brasileiro Internacional de Ciância Cognitiva. 2004. (Encontro).

29.	Estimulando o Raciocínio I - uma odisséia na mente 2004.Estimulando o Raciocínio I - uma odisséia na mente 2004. 2004. (Encontro).

30.	III International Principia Symposium.III International Principia Symposium. 2003. (Simpósio).

31.	CLE/SBL 25 anos - XIII Encontro Brasileiro de Lógica.CLE/SBL 25 anos - XIII Encontro Brasileiro de Lógica. 2003. (Encontro).

32.	V Encontro Brasileiro - Internacional de Ciência Cognitiva.V Encontro Brasileiro - Internacional de Ciência Cognitiva. 2003. (Encontro).

33.	XV Semana da Licenciatura em Matemática da UNESP, Bauru.XV Semana da Licenciatura em Matemática da UNESP, Bauru. 2003. (Outra).

34.	XIV Congresso de Iniciação Científica da UNESP.XIV Congresso de Iniciação Científica da UNESP. 2002. (Congresso).

35.	X Encontro Nacional de Filosofia.X Encontro Nacional de Filosofia. 2002. (Encontro).

36.	XIV Semana da Licenciatura em Matemática.XIV Semana da Licenciatura em Matemática. 2002. (Encontro).

37.	I Encontro Científico da Pós-Graduação em Filosofia da UNESP.I Encontro Científico da Pós-Graduação em Filosofia da UNESP. 2002. (Encontro).

38.	XIII Congresso de Iniciação Científica da UNESP.XIII Congresso de Iniciação Científica da UNESP. 2001. (Congresso).

39.	Second Principia International Symposium.Second Principia International Symposium. 2001. (Simpósio).

40.	IV Simpósio em Filosofia e Ciência.IV Simpósio em Filosofia e Ciência. 2001. (Simpósio).

41.	III Encontro Internacional de Informação, Conhecimento e Aprendizagem.III Encontro Internacional de Informação, Conhecimento e Aprendizagem. 2001. (Encontro).

42.	XIII Semana da Licenciatura em Matemática.XIII Semana da Licenciatura em Matemática. 2001. (Outra).

43.	II World Congress on Paraconsistency.II World Congress on Paraconsistency. 2000. (Congresso).

44.	IX Encontro Nacional de Filosofia.IX Encontro Nacional de Filosofia. 2000. (Encontro).

45.	XI Congresso de Iniciação Científica da UNESP.XI Congresso de Iniciação Científica da UNESP. 1999. (Congresso).

46.	XI Semana da Licenciatura em Matemática.XI Semana da Licenciatura em Matemática. 1999. (Outra).

47.	VIII Encontro Nacional de Filosofia.VIII Encontro Nacional de Filosofia. 1998. (Encontro).

48.	X Semana da Licenciatura em Matemática.X Semana da Licenciatura em Matemática. 1998. (Outra).

49.	IX Semana da Licenciatura em Matemática.IX Semana da Licenciatura em Matemática. 1997. (Outra).

50.	VII Encontro Nacional de Filosofia.VII Encontro Nacional de Filosofia. 1996. (Encontro).

51.	XI Encontro Brasileiro de Lógica.XI Encontro Brasileiro de Lógica. 1996. (Encontro).

52.	III EPEM.III EPEM. 1993. (Encontro).

53.	I Encontro de Professores de Ciências.I Encontro de Professores de Ciências. 1992. (Encontro).

54.	IV Semana da Licenciatura em Matemática.IV Semana da Licenciatura em Matemática. 1992. (Outra).

55.	III Congresso de Iniciação Científica da UNESP.III Congresso de Iniciação Científica da UNESP. 1991. (Congresso).

56.	Simpósio de Licenciatura 'A avaliação em questão'.Simpósio de Licenciatura 'A avaliação em questão'. 1991. (Simpósio).

57.	Encontro de Lógica em homenagem ao Prof. Dr. Mário Tourasse Teixeira.Encontro de Lógica em homenagem ao Prof. Dr. Mário Tourasse Teixeira. 1991. (Encontro).

58.	II Reunião Regional da Sociedade Brasileira de Matemática de Rio Claro.II Reunião Regional da Sociedade Brasileira de Matemática de Rio Claro. 1991. (Outra).

59.	II Encontro da Licenciatura em Matemática.II Encontro da Licenciatura em Matemática. 1990. (Encontro).

60.	III Semana de Educação.III Semana de Educação. 1987. (Outra).

61.	VIII Reunião Regional da SBMAC.VIII Reunião Regional da SBMAC. 1986. (Outra).

62.	I Reunião Regional sa SBMAC.I Reunião Regional da SBMAC. 1983. (Outra).

63.	Semana de Estudos da Faculdade de Ciências.Semana de Estudos da Faculdade de Ciências da Fundação Educacional de Bauru. 1981. (Outra).

Organização de eventos

1.	FEITOSA, H. A. ; ALLI, Et . I Encontro de Bauru e Região de Educação Matemática e XVII Semana da Licenciatura em Matemática. 2005. (Congresso).

2.	PECORA, Iracy Lea ; FEITOSA, H. A. ; ALLI, Et . Estimulando o Raciocínio I - uma odisséia na mente 2004. 2004. (Outro).

3.	FEITOSA, H. A. ; ALLI, Etti . II Encontro da Pós-Graduação em Filosofia. 2003. (Outro).

4.	FEITOSA, H. A. ; BRONDINO, N. C. M. ; ROMANO, M. C. ; JUSTULIN, A. M. ; BRAZ, D. P. R. ; NASCIMENTO, H. L. ; SILVESTRINI, Luiz Henrique da Cruz . XIV Semana da Licenciatura em Matemática. 2002. (Outro).

5.	FEITOSA, H. A. ; BROLI, J. A. ; LOPES, R. ; CÁPRIO, M. ; FONSECA, C. . I Encontro Científico da Pós-Graduação em Filosofia da UNESP. 2002. (Outro).

6.	FARIA, J. R. G. ; FEITOSA, H. A. ; FERRO, N. C. P. ; VALARELLI, I. D. ; COSIN, H. H. A. S. ; GARCIA, L. H. M. ; FIGUEIREDO, N. A. ; COSTA, C. R. V. . XIII Congresso de Inciação Científica da UNESP. 2001. (Congresso).

7.	HUNGER, D. A. C. F. ; FEITOSA, H. A. ; CALDEIRA, A. M. A. ; LOPES JUNIOR, J. . Fórum de Debates: a produção científica na Faculdade de Ciências. 2001. (Outro).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Camila Augusta Vaine. Modelo algébrico para a lógica dos ultrafiltros. Início: 2011. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP. (Orientador).

2.	Angela Pereira Rodrigues. Sobre quantificadores: a formalização do quantificador quase sempre. Início: 2010. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP. (Orientador).

3.	Anderson Aparecido da Silva. Aspectos lógicos e algébricos dos conjuntos 'fuzzy'. Início: 2010. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP. (Orientador).

Iniciação científica

1.	Raquel Akemi Okuno Kitazume. A lógica proposicional do muito em tablôs. Início: 2011. Iniciação científica (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Supervisões e orientações concluídas

Dissertação de mestrado

1.

Ana Claudia de Jesus Gólzio. Elementos algébricos para a noção de 'poucos' e sua formalização em sistemas lógicos dedutivos. 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Hércules de Araujo Feitosa.

2.	Kleidson Eglicio Carvalho da Silva Oliveira. Uma lógica do "poucos". 2011. Dissertação (Mestrado em Filosofia) - Faculdade de Filosofia e Ciências - UNESP, Fundação de Amparo à Pesquisa do Estado de São Paulo. Co-Orientador: Hércules de Araujo Feitosa.

3.	Marli Monteiro. O positivismo e o direito: a semântica construtiva. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, . Orientador: Hércules de Araujo Feitosa.

4.	Mariana Matulovic da Silva. A lógica do muito num sistema tablôs. 2008. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, . Orientador: Hércules de Araujo Feitosa.

5.

Odete Maria Correa Cordeiro. Processos inferenciais: contribuições das ciências cognitivas. 2005. 80 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

6.	Luiz Henrique da Cruz Silvestrini. Tableaux e indução na lógica do plausível. 2005. 127 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

Trabalho de conclusão de curso de graduação

1.	Fabiane Vicari. A situação do ensino técnico na educação brasileira. 2001. 28 f. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

2.	Glaucia Francisca Domingos. Inteligências múltiplas e educação. 2001. 26 f. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

Iniciação Científica

1.	Felipe Augusto Aureliano. Uma semântica relacional à lógica proposicional para muitos. 2011. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

2.	Raquel Akemi Okuno Kitazume. Lógica proposicional para muitos em tablôs. 2011. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

3.	Tiago Augusto dos Santos Boza. Modelos relacionais para a lógica proposicional do plausível. 2011. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

4.	Tiago Augusto dos Santos Boza. Tableaux para uma lógica proposicional do plausível. 2010. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

5.	Camila Augusta Vaine. A lógica proposicional para muitos em tablôs. 2010. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP). Orientador: Hércules de Araujo Feitosa.

6.	Edgar Luis Bezerra de Almeida. A lógica proposicional para muitos em cálculo de sequentes. 2010. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP). Orientador: Hércules de Araujo Feitosa.

7.

Edgar Luis Bezerra de Almeida. Uma semântica relacional à lógica proposicional para muitos. 2010. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

8.	Camila Augusta Vaine. Lógica proposicional para muitos em tablôs. 2010. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

9.

Ângela Pereira Rodrigues. Modelos da lógica proposicional do muito dado pelo quociente de ultrafiltros. 2009. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

10.	Camila Augusta Vaine. A decidibilidade da lógica proposicional do muito. 2009. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

11.	Edgar Luis Bezerra de Almeida. Lógicas moduladas: uma estrutura matemática para o operador generalizado do muito . 2009. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP). Orientador: Hércules de Araujo Feitosa.

12.	Angela Pereira Rodrigues. A lógica proposicional para muitos em cálculo de sequentes. 2009. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP. Orientador: Hércules de Araujo Feitosa.

13.	Ângela Pereira Rodrigues. Um sistema em cálculo de seqüentes para a Lógica TK. 2008. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

14.	Ana Cláudia de Jesus Golzio. Uma versão da lógica TK em tableaux. 2008. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

15.	Ana Claudia de Jesus Golzio. A decidibilidade da lógica proposicional do muito. 2008. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

16.	Ângela Pereira Rodrigues. Um cálculo de seqüentes para o cálculo proposicional clássico. 2007. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP). Orientador: Hércules de Araujo Feitosa.

17.	Ana Cláudia de Jesus Golzio. O cálculo proposicional clássico em tableaux. 2007. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP). Orientador: Hércules de Araujo Feitosa.

18.	Edgar Luis Bezerra de Almeida. Alguns resultados da topologia geral aplicados aos conjuntos fuzzy. 2006. 0 f. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

19.	Ana Cláudia de Jesus Golzio. O necessário e o possível nas teorias formalizadas. 2006. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

20.

Mariana Matulovic da Silva Fadel. A modalidade temporal do sistema Kb. 2005. 26 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

21.

Mariana Matulovic da Silva Fadel. Aspectos computacionais de uma lógica temporal. 2004. 46 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

22.	Meire Aparecida de Almeida. Aspectos semânticos de uma lógica deôntica. 2004. 31 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

23.	Fernanda Avelino de Oliveira. Árvores de refutação aplicadas a uma lógica epistêmica. 2004. 25 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

24.	Mariana Matulovic da Silva Fadel. Aspectos iniciais de uma lógica temporal. 2003. 23 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

25.	Meire Aparecida de Almeida. Tablô: um caminho alternativo para a dedução. 2003. 14 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

26.	Fernanda Avelino de Oliveira. Elementos formais de operadores temporais. 2003. 12 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

27.

Olímpia Aquino de Freitas Prado. Traduzindo entre sistemas dedutivos. 2002. 48 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

28.	Luiz Henrique da Cruz Silvestrini. Semântica algébrica para G_alef 0. 2002. 52 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

29.	Luiz Henrique da Cruz Silvestrini. Sistema dedutivo fuzzy. 2002. 42 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

30.

Mariana Matulovic da Silva Fadel. Lógica fuzzy e raciocínio aproximado. 2002. 35 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

31.	Juliana de Oliveira Fiorelli. Equivalência e ordem fuzzy. 2002. 25 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

32.	Sidney Domingues e Denis Rafael Nacbar. Fractais - ciência ou arte?. 2002. 15 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

33.

Olímpia Aquino de Freitas Prado. Sistemas dedutivos: um olhar quase topológico. 2001. 0 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

34.

Luiz Henrique da Cruz Silvestrini. Funções computáveis: recusividade, algoritmos e equivalências. 2001. 0 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

35.	Juliana Bueno. A sentença indecidível. 2000. 56 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

36.	Olímpia Aquino de Freitas Prado. Espaços topológicos via operador de fecho de Kuratowski. 2000. 15 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

37.	Juliana Bueno. A aritmética e a indecidibilidade. 2000. 68 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

38.

Sabrina Rimoldi Guellis. A construção dos conjuntos numéricos N, Z, Q e R.. 1999. 75 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

39.	Juliana Bueno. Funções recursivas e números de Gödel. 1999. 25 f. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Hércules de Araujo Feitosa.

Orientações de outra natureza

1.	Sabrina Beatrice Schewtschenko. Proof Theory: categorical loigic. 2011. Orientação de outra natureza. (Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP), Associação Brasileira de Intercâmbio Profissional e Estudantil. Orientador: Hércules de Araujo Feitosa.

2.	Markus Klose. The real numbers constructed by Cauchy sequences. 2010. Orientação de outra natureza. (Mathematics) - Hochschule für Technik und Wirtschaft, International Association for the Exchange of Students for Technical Experi. Orientador: Hércules de Araujo Feitosa.

3.	Jailton Renato Oliveira da Silva. Sobre demonstrações em matemática. 2009. Orientação de outra natureza. (Licenciatura em Matemática) - Faculdade de Ciências - UNESP (SP). Orientador: Hércules de Araujo Feitosa.

4.	Daniele Silva Santos. Sobre a indução. 2006. Orientação de outra natureza. (Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Ciências. Orientador: Hércules de Araujo Feitosa.

5.	Cássia Fátima P. F. Bórmio. Sobre o ensino-aprendizagem de trigonometria. 1998. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

6.	Rosângela Giglioli. O ensino-aprendizagem de análise combinatória na segunda série do ensino médio. 1998. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

7.	Cristina Aparecida Cazarin. O ensino de análise combinatória através de resolução de problemas. 1998. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

8.	Enidelci Terezinha Z. Conte. As funções funcionam?. 1998. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

9.

Fernanda Pizzigati Marques. Matemática comercial e financeira aplicada ao ensino de 2o. grau através da proposta curricular. 1998. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

10.	Richard Simão. Uma comparação entre livros didáticos. 1998. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

11.	Rosângela de F. C. Lozano. Matemática financeira: um estudo didático pedagógico. 1998. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Hércules de Araujo Feitosa.

12.	Giovana Cristina Alves de Souza. Tópicos de Matemática Elementar. 1992. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Estadual Paulista Júlio de Mesquita Filho. Orientador: Hércules de Araujo Feitosa.

13.	Ana Lúcia Lanças. Tópicos de Álgebra Moderna I e II. 1991. 0 f. Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Ciências. Orientador: Hércules de Araujo Feitosa.