Matrix- based logic for avoiding paradoxes and its paraconsistent alternative

AUTOR(ES)

Weingartner, Paul

FONTE

Manuscrito

DATA DE PUBLICAÇÃO

2011-06

RESUMO

The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6- valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).

Documentos Relacionados

• Remarks on an algebraic semantics for paraconsistent Nelson's logic
• Sobre os fundamentos de programação lógica paraconsistente
• BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.)
• Sepsis: avoiding its deadly toll
• Identificação de patologias na laringe com base na Discriminative Paraconsistent Machine (DPM)