Advanced search
Start date

Introduction to Mathematical Logic: an algebraic and topological approach.

Grant number: 12/20802-1
Support type:Scholarships in Brazil - Scientific Initiation
Effective date (Start): December 01, 2012
Effective date (End): November 30, 2014
Field of knowledge:Physical Sciences and Mathematics - Mathematics
Principal researcher:Marcelo Reicher Soares
Grantee:Vitor Tadeu Fracaroli Rocha
Home Institution: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brazil


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:
Articles published in other media outlets (0 total):
More itemsLess items

Please report errors in scientific publications list by writing to: