Paraconsistency: Logic and Applications