Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning - Abe, Jair Minoro (Springer, 2015)