Algebraic semantics and calculi for Nelson's logics
| Autores | Silva, Thiago Nascimento da | |
|---|---|---|
| Orientador | Almeida, João Marcos de | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2022-02-18 | |
| Palavras-chave | Computação Algebraisable logics Substructural logics Residuated lattices Nelson's logics Algebraic logic | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/handle/123456789/49321 | |
| Coleções | PPGSC - Doutorado em Sistemas e Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- Algebraicsemanticscalculi_Silva_2022.pdf
- Tamanho:
- 2.74 MB
- Formato:
- Adobe Portable Document Format
Nenhuma Miniatura disponível