Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning - Abe, Jair Minoro; Akama, Seiki; Nakamatsu, Kazumi; SpringerLink (Online service). (New York, New York Springer, 2015)
Introduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues -- Variants and Related Systems -- Applications -- Conclusions.
Electronic reproduction.
Keywords: Logic programming; Electronic books