Seiki Akama Towards Paraconsistent Engineering - Springer 2016 ISBN: 978-3-319-40418-9 Subjects--Topical Terms: Engineering; Computational Intelligence; Mathematical Logic and Foundations; Logic; Logics and Meanings of Programs