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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results