The main purpose of the project is the study of Mathematical Logic by means of an algebraic approach. In this way, we will study Boole and Heyting algebras and we will see their connection with classic and intuitionist propositional calculus, namely, the Lindenbaum algebras. Moreover, it is our intention to investigate the proof of some interesting theorems of the theory, such as the Completeness theorems. We will also study the Tarski's consequence operator, as well as its connection with Almost Topological Spaces.
News published in Agência FAPESP Newsletter about the scholarship: