Paraconsistent logic | lit.salon