SECTION:  Logic/ Nonclassical logics/ Paraconsistent logic/