Overview
- Includes an introduction to Paraconsistent Engineering for students and researchers
- Collects papers by leading researchers, which discuss various aspects of paraconsistent logicsand related logics
- Includes contributions on foundations and applications of paraconsistentlogics in connection with engineering, mathematical logic, philosophical logic, computer science,physics,and economics
- Includes supplementary material: sn.pub/extras
Part of the book series: Intelligent Systems Reference Library (ISRL, volume 110)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
-
Front Matter
Keywords
About this book
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 book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.
Editors and Affiliations
Bibliographic Information
Book Title: Towards Paraconsistent Engineering
Editors: Seiki Akama
Series Title: Intelligent Systems Reference Library
DOI: https://doi.org/10.1007/978-3-319-40418-9
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Hardcover ISBN: 978-3-319-40417-2Published: 02 August 2016
Softcover ISBN: 978-3-319-82095-8Published: 30 May 2018
eBook ISBN: 978-3-319-40418-9Published: 25 July 2016
Series ISSN: 1868-4394
Series E-ISSN: 1868-4408
Edition Number: 1
Number of Pages: XVI, 234
Number of Illustrations: 43 b/w illustrations, 9 illustrations in colour
Topics: Computational Intelligence, Artificial Intelligence, Mathematical Logic and Foundations, Logic, Logics and Meanings of Programs