Cálculo de Sequentes para um Sistema Paraconsistente

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.[...]


Texto completo:

PDF

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


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