Three decades of paraconsistent annotated logics: a review paper on some applications
Jair Minoro Abe, Kazumi Nakamatsu, João Inácio da Silva Filho · Procedia Computer Science · 2019
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.