Natural three-valued logics and classical logic
Natalya E. Tomova · Logical Investigations · 2013
In this paper implicative fragments of natural three- valued logic are investigated. It is proved that some fragments are equivalent by set of tautologies to implicative fragment of classical logic. It is also shown that some natural three-valued logics verify all tautologies of classical propositional logic.