TY - GEN T1 - Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning A1 - Abe, Jair Minoro A1 - Akama, Seiki A1 - Nakamatsu, Kazumi LA - English PP - New York, New York PB - Springer YR - 2015 UL - https://tuklas.up.edu.ph/Record/UP-99796217612770425 SN - 9783319179124 (online ISBN) KW - Logic programming. KW - Electronic books. ER -