UM CÁLCULO DE SEQUENTES A PARTIR DO SISTEMA TRIVALENTE E FRACAMENTE INTUICIONISTA I1
The logic I1, a three-valued system with an weakly-intuitionistic character, was introduced by Sette and Carnielli in 1995 via axiomatic (Hilbertian) system. The aim of this paper is to present this system in a logical formalism by sequent calculus, called GI1, which presents itself as a theorem pro...
| Autores: | , |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2023 |
| País: | Brasil |
| Recursos: | Universidade Estadual Paulista "Júlio de Mesquita Filho" (UNESP) |
| Repositorio: | Kínesis (Marília) - Revista de Estudos dos Pós-Graduandos em Filosofia |
| Idioma: | portugués |
| OAI Identifier: | oai:ojs.www2.marilia.unesp.br:article/13855 |
| Acesso em linha: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/13855 |
| Access Level: | acceso abierto |
| Palavra-chave: | Lógica intuicionista Lógica I1 Cálculo de sequentes Intuitionistic logics Logic I1 Sequent Calculus |
| Resumo: | The logic I1, a three-valued system with an weakly-intuitionistic character, was introduced by Sette and Carnielli in 1995 via axiomatic (Hilbertian) system. The aim of this paper is to present this system in a logical formalism by sequent calculus, called GI1, which presents itself as a theorem proof system, characterized as an algorithm, being more applicable from a computational point of view, by means of the dualization of the analytical tableaux TI1. Furthermore, the deductive equivalence between the sequent system GI1 and the Hilbertian system I1 is presented. |
|---|