%0 Journal Article
%T Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
%A Weingartner
%A Paul
%J Manuscrito
%D 2011
%I Universidade Estadual de Campinas
%R 10.1590/S0100-60452011000100016
%X 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)).
%K paraconsistent system
%K paradox
%K relevance
%K many- valued logic.
%U http://www.scielo.br/scielo.php?script=sci_abstract&pid=S0100-60452011000100016&lng=en&nrm=iso&tlng=en