Three decades of paraconsistent annotated logics: a review paper on some applications

In this expository work, we sketch some applications of annotated logics. Such logics were discovered in the late 1980s and nowadays have become one of the most fertile logics for applications. They constitute a two-sorted logic, and they are paraconsistent and in general paracomplete and non-alethic logics. (C) 2019 The Authors. Published by Elsevier B.V.