Mathematical and computational aspects of translations between logics

• Grant number: 93/00925-9
• Support Opportunities: Research Projects - Thematic Grants
• Start date: August 01, 1994
• End date: September 30, 1997
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Walter Alexandre Carnielli
• Grantee: Walter Alexandre Carnielli
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated research grant(s): 96/02554-6 - Michal Krynicki | Warsaw University - Polonia, AV.EXT; 95/02984-8 - What s wrong with so called default logic?, AR.BR; 95/02983-1 - Translations between logics, AR.BR; 95/03770-1 - What is a translation?, AR.EXT

Abstract

The objective of this research project is to investigate the problem of translation between logic systems (propositional and first-order), emphasysing methodological aspects as well as applications. (AU)