Special:EditPage/Paraconsistent logic