DOAJ Open Access 2023

UM CÁLCULO DE SEQUENTES A PARTIR DO SISTEMA TRIVALENTE E FRACAMENTE INTUICIONISTA I1

Elias Oliveira Vieira dos Santos Luiz Henrique da Cruz Silvestrini

Abstrak

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 apresenta como um sistema de prova de teoremas, caracterizado como um algoritmo, sendo mais aplicável do ponto de vista computacional, por meio da dualização do sistema de tableaux analíticos TI1. Ademais, é apresentado a equivalência dedutiva entre o sistema de sequentes GI1 com o sistema Hilbertiano I1.

Topik & Kata Kunci

Speculative philosophy Philosophy (General)

Penulis (2)

Elias Oliveira Vieira dos Santos

Luiz Henrique da Cruz Silvestrini

Format Sitasi

APA MLA BibTeX

Santos, E.O.V.d., Silvestrini, L.H.d.C. (2023). UM CÁLCULO DE SEQUENTES A PARTIR DO SISTEMA TRIVALENTE E FRACAMENTE INTUICIONISTA I1. https://doi.org/10.36311/1984-8900.2023.v15n38.p174-206

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.36311/1984-8900.2023.v15n38.p174-206

Informasi Jurnal

Tahun Terbit: 2023
Sumber Database: DOAJ
DOI: 10.36311/1984-8900.2023.v15n38.p174-206
Akses: Open Access ✓