1) Limits for paraconsistent calculi. 2) Tableau systems FOT logics of formal inconsistency

• Grant number: 01/04265-1
• Support Opportunities: Research Grants - Meeting - Abroad
• Start date: June 25, 2001
• End date: July 20, 2001
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Walter Alexandre Carnielli
• Grantee: Walter Alexandre Carnielli
• Host Institution: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil