Milton Augustinis de Castro

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• CASTRO, Milton Augustinis de ; D´OTTAVIANO, Itala Maria Llofredo . Analytical tableaux for da Costa's paraconsistent logics. CLE e-Prints (Online) , v. 8, p. 1-4, 2008.

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Analytical tableaux for da Costa's hierarchy of paraconsistent logics. Electronic Notes in Theoretical Computer Science , v. 143, p. 27-44, 2006.

• D´OTTAVIANO, Itala Maria Loffredo ; CASTRO, Milton Augustinis de . Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn. Journal of Applied Non-Classical Logics , Paris, v. 15, n.1, p. 69-103, 2005.

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics. Eletronic Notes In Theoretical Computer Science, v. 143, p. 27-44, 2005.

• CASTRO, Milton Augustinis de ; D´OTTAVIANO, Itala Maria Llofredo . Natural Deduction for Paraconsistent Logic. Logica Triangulli, Nantes, v. 4, p. 3-24, 2000.

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Analytical Tableaux for da Costa's Paraconsistent Logics Cn. In: 12th Workshop on Logic, Language, Information and Computation, 2005, Florianópolis. Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005.

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Natural deductions systems for da Costa's systems Cn. In: First International Congress on Universal Logic, 2005, Montreux. First International Congress on Universal Logic, 2005.

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Analytical tableaux for da Costa's paraconsistent logics. In: LRR10: Logic, Reasoning and Rationality, 2010, Ghent. LRR10: Logic, Reasoning and Rationality. Ghent: Ghent University, 2010. p. 45-47.

• CASTRO, Milton Augustinis de ; D´OTTAVIANO, Itala Maria Llofredo . On the Decidability of da Costa's Paraconsistent Systems Cn and Cn*. In: Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary, 2009, São Paulo. Annals of the Science, Truth and Consistency CLE/AIPS - Dedicated to Newton da Costa's 80th Anniversary, 2009. p. 1-104.

• CASTRO, Milton Augustinis de ; D´OTTAVIANO, Itala Maria Llofredo . ANALYTICAL TABLEAUX FOR DA COSTA´S PARACONSISTENT LOGICS. In: CLE 30 YEARS - XV BRAZILIAN LOGIC CONFERENCE - XIV LATIN-AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC, 2008, PARATY, BRASIL. ANNALS OF THE CLE 30 YEARS, XV BRAZILIAN LOGIC CONFERENCE , XIV LATIN-AMERICAN SYMPOSIUM ON MATHEMATICAL L. CAMPINAS: CENTRO DE LÓGICA, EPISTEMOLOGIA E HISTÓRIA DA CIÊNCIA - UNICAMP, 2008. p. 105-106.

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Natural deduction systems for da Costa's hierarchies of paraconsistent logics Cn and Cn*.. In: 13th International Congress of Logic, Methodology and Philosophy of Science, 2007, Beijing. 13th International Congress of Logic, Methodology and Philosophy of Science, 2007. v. 1. p. 74-74.

• CASTRO, Milton Augustinis de ; D´OTTAVIANO, Itala Maria Loffredo . sistemas de dedução natural para as hierarquias de lógicas paraconsistentes Cn e Cn* de da Costa. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV Encontro Brasileiro de Lógica, 2006.

• CASTRO, Milton Augustinis de . Analytical tableaux and sequent calculus for da Costa's hierarchy of paraconsistent logics Cn*, 1

• CASTRO, Milton Augustinis de . Natural deduction systems and tableaux systems for da Costa's hierarchy of paraconsistent logics. In: XIII Latin american symposium on mathematical logic, 2004, San José. XIII Latin american symposium on mathematical logic, 2004. p. 6-7.

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Hierarquia de sistemas de tableaux analíticos para os sistemas Cn, 1

• CASTRO, Milton Augustinis de ; D´OTTAVIANO, Itala Maria Llofredo . Analytical tableaux for da Costa's propositional paraconsistent logics Cn, 1

• CASTRO, Milton Augustinis de . Analytical Tableaux to da Costa's Hierarchy of Propositional Paraconsistent Logics Cn. In: II World Congress on Paraconsistency, 2000, juquehy. II World Congress on Paraconsistency, 2000.

• CASTRO, Milton Augustinis de . O método de dedução natural aplicado às lógicas proposicionais paraconsistentes Cn. In: VIII Encontro Nacional de Filosofia da ANPOF, 1998, Caxambú. VIII Encontro Nacional de Filosofia da ANPOF, 1998.

• CASTRO, Milton Augustinis de ; D´OTTAVIANO, Itala Maria Llofredo . ANALYTICAL TABLEAUX FOR DA COSTA´S PARACONSISTENT LOGICS. 2008. (Apresentação de Trabalho/Congresso).

• D´OTTAVIANO, Itala Maria Llofredo ; CASTRO, Milton Augustinis de . Analytical tableaux for da Costas's paraconsistent logics Cn. 2005. (Apresentação de Trabalho/Conferência ou palestra).

• CASTRO, Milton Augustinis de . Normalização das lógicas paraconsistentes de da Costa. 2003.

• CASTRO, Milton Augustinis de . NORMALIZACAO DAS LOGICAS PARACONSISTENTES DE DA COSTA.. 2003. (Relatório de pesquisa).

• CLE 30 YEARS, XV BRAZILAIN LOGIC CONFERENCE, XIV LATIN-AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC. ANALYTICAL TABLEAUX FOR DA COSTA´S PARACONSISTENT LOGICS. 2008. (Congresso).

• Workshop.Workshop Semantics and Meaning. 2005. (Oficina).

• WoLLIC 2005.Workshop on Logic, Language, Information and Computation. 2005. (Encontro).

• XII SIMPÓSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA.XII SIMPÓSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA. 2004. (Simpósio).

• III WORLD CONGRESS ON PARACONSISTENCY (WCP3). III WORLD CONGRESS ON PARACONSISTENCY. 2003. (Congresso).

• CLE/SBL 25 ANOS - XIII ENCONTRO BRASILEIRO DE LÓGICA.XIII ENCONTRO BRASILEIRO DE LÓGICA. 2003. (Encontro).

• II WORLD CONGRESS ON PARACONSISTENCY. II WORLD CONGRESS ON PARACONSISTENCY. 2000. (Congresso).

• VIII ENCONTRO NACIONAL DE FILOSOFIA.VIII ENCONTRO BRASILEIRO DE FILOSOFIA. 1998. (Encontro).

• 9 Encontro Brasileiro de Matemática. 1973. (Encontro).

Projetos de pesquisa

• 2006 - 2008

  SISTEMAS DE SEQUENTES PARA AS HIERARQUIAS PARACONSISTENTES CN E CN* DE DA COSTA, Descrição: O objetivo central deste Projeto de Pesquisa consiste em introduzir hierarquias de sistemas de seqüentes equivalentes aos sistemas proposicionais e quantificacionais paraconsistentes axiomáticos Cn e Cn*, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Milton Augustinis de Castro - Coordenador / Itala Maria LLofredo D´Ottaviano - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

• 2005 - 2009

  Conseqüência Lógica e Combinações de Lógicas - Fundamentos e Aplicações Eficientes, 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 combinings logics and their semantical, algebraic and computational aspects of 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. . , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (7) . , Integrantes: Milton Augustinis de Castro - Integrante / Itala Maria LLofredo D´Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Marcelo Finger - Integrante / Luis Sbardellini - Integrante / Angela Weiss - Integrante / Flavio Correa da Silva - Integrante / Hércules de Araujo Feitosa - Integrante / Hugo Mariano - Integrante / Odilon Otávio Luciano - Integrante / Renata Wassermann - Integrante / João Marcos - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante / Carlos Hifume - Integrante / Eudenia Xavier Meneses - Integrante / Joselyto Riani - Integrante / Juana Carlos Agudelo Agudelo - Integrante / Juliana Bueno - Integrante / Rodrigo de Alvarenga Freire - Integrante / Guilherme Rabello - Integrante / Paulo Petrillo - Integrante / Amilcar Sernadas - Integrante / Alexandre Costa Leite - Integrante / Carlos Caleiro - Integrante / Cristina Sernadas - Integrante / Dov Gabbay - Integrante / Jean Yves Beziau - Integrante / João Rasga - Integrante / Paulo Mateus - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 1999 - 2003

  NORMALIZACAO DAS LOGICAS PARACONSISTENTES DE DA COSTA, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Milton Augustinis de Castro - Integrante / Itala Maria Loffredo D´Ottaviano - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.