Research

PAPERS

TESTA, R. R.; FERMÉ, E.; GARAPA, M. and REIS, M. How to build Remainder Sets for Paraconsistent Revisions: Preliminary Report. Proceedings of the 17th International Workshop on Nonmonotonic Reasoning (NMR), 2018. (proceedings pdf)

TESTA, R. R.; CONIGLIO, M. E.; RIBEIRO, M. M. AGM-like paraconsistent belief change. Log J IGPL 2017; 25 (4): 632-672. doi: 10.1093/jigpal/jzx010 (link to IGPL. Preprint free access at ResearchGate and Academia)

TESTA, R. R. The cost of consistency: information economy in Paraconsistent Belief Revision. South American Journal of Logic, v.1(2), p.461--480, 2015. (pdf)

TESTA, R. R.; CONIGLIO, M. E.; RIBEIRO, M. M. Paraconsistent Belief Revision based on a formal consistency operator. CLE e-prints, v. 15(8), 2015. (pdf)

TESTA, R. R.; CONIGLIO, M. E. Dilemas deônticos e escolha: considerações pragmáticas. Revista Brasileira de Filosofia, v. 232, pp. 231-246, 2009. (Deontic dilemmas and choice: pragmatic aspects, in portuguese) (pdf)

TESTA, R. R. ; CONIGLIO, M. E. . Solving Normative Conflicts Using Preferences Relations. CLE e-prints, vol. 8, 2008. (pdf)

THESES

TESTA, R. R. Revisão de Crenças Paraconsistente baseada em um operador formal de consistência. PhD Thesis, University of Campinas, 2014. (pdf)

TESTA, R. R. Dilemas Deônticos: uma abordagem baseada em relações de preferência. Master Thesis, University of Campinas, 2008. (pdf)

TALKS WITH PUBLISHED ABSTRACTS

"Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision", 5th World Congress and School on Universal Logic, June 20-30, Istambul - Turkey. (slides and support material)

"On Paraconsistent Belief Revision", 2nd Madeira Workshop on Belief Revision and Argumentation, February 9th - 13th 2015 - Madeira - Portugal. (slides)

"External Revision in Belief Sets via Paraconsistency", 12th Asian Logic Conference, 2011, Wellington – New Zealand. (joint work with CONIGLIO, M. and RIBEIRO, M.) — abstract in The Bulletin of Symbolic Logic 19, number 2, pp. 281-282, June 2013

"Aspectos de Revisão de Crenças em LFIs", XIII Encontro Nacional da ANPOF, 2012, Curitiba – Paraná, Brasil.

"Sobre o conceito de racionalidade na teoria da escolha: preferências, consistência e paraconsistência", XIV Encontro Nacional da ANPOF, 2010, Águas de Lindóia – São Paulo, Brasil.

"Sobre a Lógica de Revisão de Creças: a (não) similaridade dos diferentes métodos para construir contrações de teorias", V Simpósio Internacional Principia – Agosto/2007, Florianópolis – SC, Brasil.

"Uma Análise de algumas lógicas deônticas para a representação de normas jurídicas", XII Encontro Nacional da ANPOF, 2006, Salvador – Bahia, Brasil.

SOME CONFERENCES, LECTURES AND SEMINARS

"A system of Belief Revision based on a formal consistency operator'', Seminários GLTA-CLE, Unicamp, 2014, Campinas-SP.

"Revisão de Crenças em Lógicas Paraconsistentes: Novas Perspectivas à justificativa coerentista?", Seminários GLTA-CLE, Unicamp, 2013, Campinas-SP.

“Lógica e Pensamento Critico”, aula ministrada para o Curso Superior de Inteligência Estratégica – CSIE, Escola Superior de Guerra – ESG, 2012, Rio de Janeiro – RJ.

“Um olhar lógico e filosófico à obra de Alan Turing”, Centenário Alan Turing do Instituto Federal de Educação, Ciência e Tecnologia do Sul de Minas, 2012, Muzambinho – MG

Academic Achievements

Second place in the First "Newton da Costa" Prize for Logic, 2015. Paper: The cost of consistency: information economy in Paraconsistent Belief Revision.