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 |