 Nelson’s paraconsistent (four-valued) logic N4 has been specifically studied for applications in computer science (Kamide &amp; Wansing 2012). Annotated logics were proposed by Subrahmanian (1987) and then by da Costa, Subrahmanian, and Vago (1991); these tools are now being extended to robotics, expert systems for medical diagnosis, and engineering, with recent work gathered in the volumes edited by Abe, Akama, and Nakamatsu (2015) and Akama (2016).