Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
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 paradox...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Universidade Estadual de Campinas
2011-06-01
|
Series: | Manuscrito |
Subjects: | |
Online Access: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100016&lng=en&tlng=en |