Extração automática de cálculos de Hilbert associados aos fragmentos da lógica clássica
| Autores | Gomes, Joel Felipe Ferreira | |
|---|---|---|
| Orientador | Marcos, João | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2019-11-22 | |
| Palavras-chave | Reticulado de Post Fragmentos da lógica clássica Axiomatização Cálculo de Hilbert Axiomatization Hilbert Calculus Post’s lattice Fragments of classical logic | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/handle/123456789/34205 | |
| Coleções | CCET - TCC - Ciência da Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- ExtracaoAutomaticaCalculos_Gomes_2019.pdf
- Tamanho:
- 2.25 MB
- Formato:
- Adobe Portable Document Format
- Descrição:
- Monografia Joel Felipe
Nenhuma Miniatura disponível
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 762 B
- Formato:
- Plain Text
Nenhuma Miniatura disponível