Abstract: A new classical paraconsistent logic (CP), which is a variant of Nelson's paraconsistent four-valued logic, is introduced as a Gentzen-type sequent calculus. The logic CP can simulate the ...
Abstract: Para-consistent Logic is a non-classic logic whose foundations allow for the contradictions treatment without invalidating the conclusions. Several researches have been demonstrating that ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback