Algebraic semantics for Nelson’s logic S
| Autores | Silva, Thiago Nascimento da | |
|---|---|---|
| Orientador | Rivieccio, Umberto | |
| Data | 2018-01-25 | |
| Palavras-chave | Lógica Lógicas de Nelson Lógicas construtivistas Negação forte Lógica de Nelson paraconsistente Lógicas subestruturais Reticulados residuados trêspotente Lógica algébrica | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/24823 | |
| Coleções | PPGSC - Mestrado em Sistemas e Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- ThiagoNascimentoDaSilva_DISSERT.pdf
- Tamanho:
- 658.37 KB
- Formato:
- Adobe Portable Document Format
Carregando...