Paraconsistent logic programming based on Logics of Formal Inconsistency

• Grant number: 08/07760-2
• Support Opportunities: Scholarships in Brazil - Master
• Start date: March 01, 2009
• End date: August 31, 2010
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Tarcísio Genaro Rodrigues
• Host Institution: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated research grant: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

RODRIGUES, Tarcísio Genaro. On the foundations of paraconsistent logic programming. 2010. Master's Dissertation - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.