On the strongest three-valued paraconsistent logic contained in classical logic and its dual

C. A. Middelburg

LP${}^{\supset ,\mathsf{F}}$ is a three-valued paraconsistent propositional logic which is essentially the same as J3. It has most properties that have been proposed as desirable prop…