 A number of solutions have been proposed, which rely on the use of paraconsistent logics (Priest) or substructural logics (see the entry  logic: paraconsistent,  as well as the entry  substructural logics and  Mares and Paoli 2014).