Cálculo de Sequentes para um Sistema Paraconsistente

Autores

  • Luiz Henrique da Cruz Silvestrini

Resumo

A fim de promover uma nova perspectiva fundacional para a questão do raciocínio em termos lógicos, Carnielli e Lima Marques definiram uma hierarquia de semântica de sociedades finitárias, particularmente, estaremos interassados em uma lógica paraconsistente das sociedades biassertivas abertas, o sistema P1, empregado em contextos com informações conflitantes, de modo a formalizar ambientes lógicos paraconsistentes, no sentido de derrogar o princípio da não-contradição, sem que esta negação trivialize o cálculo obtido.[...]

Downloads

Não há dados estatísticos.

Biografia do Autor

Luiz Henrique da Cruz Silvestrini

Universidade Estadual Paulista, Unesp, FC, Bauru, SP

Referências

Carnielli, W. A. and Lima-Marques, M. Society semantics for multiple-valued logics. In W. A. Carnielli and I. M. L. D’Ottaviano, editors, Advances in Contemporary Logic and Computer Science, volume 235 of Contemporary Mathematics Series, pages 33-52. American Mathematical Society, 1999.

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

Zach, R. Proof Theory of Finite-valued Logics. Diplomarbeit, Vienna, Austria: Technische

Universität Wien, 1993. DOI: 10.11575/PRISM/38803

Downloads

Publicado

2022-12-08

Edição

Seção

Resumos