Systems of paraconsistent logic