Publications - Abstracts

A lógica topológica da crença, Anais do XII Encontro Brasileiro de Lógica, Itatiaia, Rio de Janeiro, Brasil, 1999, p. 73-80 (in Portuguese, with  M. C. C. Grácio)

Limits for paraconsistent calculi,  Anais do XII Encontro Brasileiro de Lógica, Itatiaia, Rio de Janeiro, Brasil,  1999, p. 64-72 (with  J. Marcos)

Proof theory for infinite-valued logics: a functional approach, European Summer Meeting of the Association for Symbolic Logic, Prague, Czech Republic, 1998, The Bulletin of Symbolic Logic v. 5, n. 1, 1999, p. 99. 

Alguns números de Ramsey bipartidos, Anais do XXII Congresso de

Matemática Aplicada e Computacional-SBMAC, p. 168,Santos, SP, Brazil, 1999 (in Portuguese, with E. L. Monte Carmelo). 

A logic-based system for controlling inconsistencies in evolutionary databases, Proceedings of the 6th Workshop on Logic, Language, Information and Computation (6th WoLLIC), p. 89-101, Itatiaia, Rio de Janeiro, Brazil, 1998 (with  Sandra  de Amo).