Cálculo de Sequentes para o sistema LPT

Luiz Henrique da Cruz Silvestrini, Douglas Alexandre Rodrigues

Resumo


O cálculo de sequentes, introduzido por Gentzen (cf. [3]), é caracterizado por regras estruturais e a regra do corte que estendem os sistemas de provas de dedu ̧c ̃ao natural, al ́em de apresentar as derivas ações de uma prova de forma elegante do ponto de vista matemático. [...]


Texto completo:

PDF

Referências


Carnielli, W. On sequents and tableaux for many-valued logics,Journal of Non-ClassicalLogic, volume 8, number 1, pages 59-76, 1991.

Coniglio, M. E. and Silvestrini, L. H. C. An alternative approach for quasi-truth,Logic Journalof the IGPL, volume 22, 2013. DOI: 10.1093/jigpal/jzt026.

Gentzen, G.The collected papers of Gerhard Gentzen. Editor M. E. Szabo. Amsterdam: North-Holland Publishing Company, 1969.


Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato