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...
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Artigo |
| Jazyk: | Português |
| Vydáno: |
Universidade Estadual Paulista (UNESP)
2023-07-01
|
| Edice: | Kínesis |
| Témata: | |
| On-line přístup: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/13855 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|