Tableaux for a propositional logic of plausible

• Grant number: 09/11214-6
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: November 01, 2009
• End date: October 31, 2011
• Field of knowledge: Physical Sciences and Mathematics - Mathematics
• Principal Investigator: Hércules de Araújo Feitosa
• Grantee: Tiago Augusto dos Santos Boza
• Host Institution: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brazil

Abstract

This project has as objective to present the propositional logic of the plausible, originally introduced in hilbertian version, in a version of tableaux. With this, it is intended also to get an improvement of the logical formation of the student on tableaux and non classical logics, particularly one of modal character. (AU)