Frontiers of paraconsistent logic (Research Studies Press, 2000)