TODO: here short description of paraconsistent logic.