UM CÁLCULO DE SEQUENTES A PARTIR DO SISTEMA TRIVALENTE E FRACAMENTE INTUICIONISTA I1
A lógica I1, um sistema trivalorado de caráter fracamente intuicionista, foi introduzida, via sistema axiomático (Hilbertiano) em 1995 por Sette e Carnielli. O presente artigo tem por objetivo apresentar esse sistema em um formalismo lógico em Cálculo de Sequentes, denominado de GI1, o qual se apre...
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Artigo |
| Langue: | Português |
| Publié: |
Universidade Estadual Paulista (UNESP)
2023-07-01
|
| Collection: | Kínesis |
| Sujets: | |
| Accès en ligne: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/13855 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|