Cálculo de Sequentes para um Sistema Paraconsistente
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
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