Uma fundamentação categorial para uma teoria de representação de lógicas
Neste trabalho estabelecemos uma base teórica para a construção de uma teoria de rep- resentação de lógicas proposicionais. Iniciamos identificando uma relação precisa entre a categoria das lógicas (Blok-Pigozzi) algebrizáveis e a categoria de suas classes de álgebras associadas. Assim obtemos codif...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | pt |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2016
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/ |