Paraconsistency: Logic and Applications - Tanaka (Springer Netherlands, 2013)