The tableaux method for the intuitionist logic I1

• Grant number: 18/17286-8
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: November 01, 2018
• End date: October 31, 2019
• Field of knowledge: Physical Sciences and Mathematics - Mathematics - Applied Mathematics
• Principal Investigator: Hércules de Araújo Feitosa
• Grantee: Pedro Henrique Paiola
• Host Institution: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brazil

Abstract

This project aims to investigate non-classical logics and methods of proofs, more specifically intuitionist (constructivist) logics and the tableaux method, considering the computational interest of this deductive procedure. The central objective of this research is to present the intuitionist logic I1, which was originally presented in an axiomatic deductive system, as in Carnielli and Sette (1995), through the tableaux method. As it is classified as intuitionist, the constructivist aspect of logic I1 must also be considered. It is a theoretical work, based on the reading of texts on the subjects treated to obtain the subsidies to fulfill the proposed objective.