Towards Paraconsistent Engineering

• Corporate Author: SpringerLink (Online service)
• Other Authors: Akama, Seiki (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Series: Intelligent Systems Reference Library, 110
• Subjects: Engineering.; Logic.; Computer logic.; Artificial intelligence.; Mathematical logic.; Computational intelligence.; Computational Intelligence.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Foundations.; Logics and Meanings of Programs.

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The...