No presente trabalho fazemos uma exposição de certos sistemas Iógicos dando ênfase especial ao problema da decidibilidade. É feito um estudo algébrico topológico do sistema implicativo intuicionista e já aqui introduzimos os "tableaux sémantiques" devidos a E. Beth, visando a decidibilidade. Sob estes aspectos são examinados os sistemas pseudo-Booieanos (inclusive o Booleano) assim como o sistema modal S4.

This dissertation presents some logical systems, with special regard to the decidibility problem. An algebraic-topological account of the intuitionistic implicative system is given, introducing the "tableaux-sémantiques", due to E. Beth, concerning the decidibility. This approach is used to study the pseudo-boolean (and the boolean) systems, as well as the modal system S4.