Semântica algébrica de traduções possíveis

A dissertação estuda uma nova definição de algebrização capaz de algebrizar lógicas às quais não bastam nem o método clássico e nem o método geral devido a W. Blok e D. Pigozzi chamado de algebrização finitária. Tal é o caso de várias lógicas paraconsistentes, entre elas a hierarquia Cn de N. C. A. da Costa. Primeiramente, revemos o método de algebrização clássica, e apoiado no resultado de C. Mortensen, discutimos o fato de que toda álgebra quociente para Cn é trivial. Apresentamos uma noção de algebrizabilidade mais ampla a partir das semânticas de traduções possíveis, propostas por W. A. Carnielli, para então conectá-las com a noção de algebrizabilidade de Blok e Pigozzi. Daí resultam as chamadas semânticas algébricas de traduções possíveis (SATP´s), capazes de algebrizar Cn. Desta conexão resulta uma surpreendente relação entre a lógica C1 e as MV-álgebras trivalentes. Apresentamos ainda as SATP´s em termos da teoria das categorias, e levantamos questões relacionadas.de Blok e Pigozzi. Da´ý resultam as chamadas semânticas algébricas de traduções possíveis, que são capazes de algebrizar Cn. Desta conexão resulta uma surpreendente relação entre a lógica C1 e as MV- álgebras trivalentes. Apresentamos ainda as semânticas algébricas de traduções possíveis em termos da teoria das categorias, e finalizamos a Dissertação discutindo alguns problemas e levantando questões relacionadas.