Construindo Tableaux para Lógica Linear Intuicionista
Resumo
O objetivo deste artigo é construir um Tableaux correto e completo para Lógica Linear Intuicionista por meio de um processo de tradução das regras do Cálculo de Sequentes.
Palavras-chave:
Teoria da Prova, Tableaux, Lógica Linear, Lógica Linear Intuicionista
Referências
Fitting, M. (1999). General introduction. In M. D‘Agostino, D. G. and Hähnle, R., editors, Handbook of Tableau Methods. Springer.
M. D‘Agostino, D. G. and Broda, K. (1999). Tableau methods for substructural logic. In M. D‘Agostino, D. G. and Hähnle, R., editors, Handbook of Tableau Methods. Springer.
Mantel, H. and Otten, J. (1999). lintap: A tableau prover for linear logic. In TABLEAUX.
Okada, M. (1998). Introduction to linear logic: Expressiveness and phase semantics. In M. Dezani-Ciancaglini, M. O. and Takahashi, M., editors, Mathematical Society of Japan Memories vol.2.
R. Meyer, M. M. and Belnap, N. (1995). Linear analytic tableaux. In P. Baumgarten, R. H. and Possega, J., editors, Theorem Proving with Analytic Tableaux and Related Methods. Springer.
M. D‘Agostino, D. G. and Broda, K. (1999). Tableau methods for substructural logic. In M. D‘Agostino, D. G. and Hähnle, R., editors, Handbook of Tableau Methods. Springer.
Mantel, H. and Otten, J. (1999). lintap: A tableau prover for linear logic. In TABLEAUX.
Okada, M. (1998). Introduction to linear logic: Expressiveness and phase semantics. In M. Dezani-Ciancaglini, M. O. and Takahashi, M., editors, Mathematical Society of Japan Memories vol.2.
R. Meyer, M. M. and Belnap, N. (1995). Linear analytic tableaux. In P. Baumgarten, R. H. and Possega, J., editors, Theorem Proving with Analytic Tableaux and Related Methods. Springer.
Publicado
31/07/2022
Como Citar
BORGES, Hugo Hoffmann.
Construindo Tableaux para Lógica Linear Intuicionista. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 3. , 2022, Niterói.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2022
.
p. 1-8.
ISSN 2763-8731.
DOI: https://doi.org/10.5753/wbl.2022.222837.
