On Reconstructing Proofs in Paraconsistent Mathematics