Logical and computational aspects of the demonstration method using formal polynomials

• Grant number: 11/22691-0
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: March 01, 2012
• End date: July 31, 2014
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Walter Alexandre Carnielli
• Grantee: Victor Fernando Pompeo Barbosa
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

"Polynomizing" is a term that describes the use of polynomial representations as a strategy of reasoning and as a proof tool with heuristic interest. We intend to develop an application of the polynomials method proposed by W. A. Carnielli and investigated in several academic papers, implementing a software that automates some of its versions with the goal of exploring its potentialities as a theorem prover and as a tool for teaching Logic.