On Reconstructing Proofs in Paraconsistent Mathematics. tr 2010, 4 (4).