Algebraization in quasi-Nelson logics
Autores | Lima Neto, Clodomir Silva | |
---|---|---|
Orientador | Rivieccio, Umberto | |
Editor | Universidade Federal do Rio Grande do Norte | |
Data | 2023-10-31 | |
Palavras-chave | Computação Quasi-Nelson logic Quasi-N4-lattices Algebraizable logic Twist-structures | |
Citação | ||
Resumo | ||
Abstract | ||
URI | https://repositorio.ufrn.br/handle/123456789/57493 |
Coleções | PPGSC - Mestrado em Sistemas e Computação |
---|
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- AlgebraizationquasiNelson_LimaNeto_2023.pdf
- Tamanho:
- 718.75 KB
- Formato:
- Adobe Portable Document Format
Nenhuma Miniatura disponível