| Texto completo | |
| Autor(es): |
Coniglio, Marcelo E.
;
Figallo, Martin
;
Rodrigues, Abilio
Número total de Autores: 3
|
| Tipo de documento: | Artigo Científico |
| Fonte: | JOURNAL OF LOGIC AND COMPUTATION; v. N/A, p. 24-pg., 2024-12-20. |
| Resumo | |
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth $LET_{J}$ and $LET_{F}$. These logics extend, respectively, Nelson's logic N4 and the logic of first-degree entailment, also known as Belnap-Dunn four-valued logic, with a classicality operator ${{\circ }}$ that recovers classical logic for formulas in its scope. We will present natural deduction and sequent systems for $LET_{J}$ and $LET_{F}$, together with proofs of normalization and cut-elimination theorems, respectively. As a corollary, we obtain decision procedures, which guarantees bottom-up proof search for both logics. (AU) | |
| Processo FAPESP: | 20/16353-3 - Racionalidade, lógica e probabilidade: RatioLog |
| Beneficiário: | Marcelo Esteban Coniglio |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 22/03862-2 - Métodos de Teoria da Prova para LFIs e Outras Lógicas Não-clássicas: Decidibilidade e Aplicações |
| Beneficiário: | Marcelo Esteban Coniglio |
| Modalidade de apoio: | Auxílio à Pesquisa - Pesquisador Visitante - Internacional |