Navegando por Autor "Gomes, Joel Felipe Ferreira"
Agora exibindo 1 - 1 de 1
- Resultados por página
- Opções de Ordenação
TCC Extração automática de cálculos de Hilbert associados aos fragmentos da lógica clássica(Universidade Federal do Rio Grande do Norte, 2019-11-22) Gomes, Joel Felipe Ferreira; Marcos, João; Rivieccio, Umberto; Olarte, CarlosA lógica clássica pode ser definida como a lógica induzida pelo clone completo sobre {0,1}. A menos de um isomorfismo, qualquer outra lógica 2-valorada pode então ser vista como uma sublógica / fragmento da lógica clássica. Ainda há muito pouco conhecimento sobre a combinação mínima de tais fragmentos, que em princípio pode ser obtida simplesmente unindo-se os cálculos de Hilbert correspondentes. Em 1941, Emil Post estudou o reticulado de todos os clones 2-valorados, ordenados sobre inclusão. Este reticulado - infinitamente contável, mas constituído de membros gerados finitamente - constituiu desde então uma fonte inestimável de informações e insights sobre as relações entre as sub-lógicas da lógica clássica. Wolfgang Rautenberg explorou a classificação de Post para demonstrar que toda lógica 2-valorada é fortemente axiomatizável; vale a pena notar que esta demonstração induz um procedimento eficaz para produzir um cálculo de Hilbert para qualquer fragmento da lógica clássica. Este trabalho propõe implementar um sistema Web que é capaz de receber como entrada um conjunto de operações 2-valoradas e retornar ao usuário o cálculo de Hilbert associado. A implementação do procedimento para produzir o cálculo de Hilbert associado à entrada informada será feita utilizando a linguagem de programação Haskell e distribuído como uma API RESTful. Além disso, será feito um Website, a ser usado livremente pela comunidade, que receberá as entradas do usuário, consumirá a API, e informará o resultado do procedimento citado, baseado nas entradas que o usuário forneceu.