Akama, Seiki
Towards Paraconsistent Engineering
1. Introduction
Seiki Akama
2. Why Paraconsistent Logics?
Seiki Akama, Newton C. A. Costa
3. An Application of Paraconsistent Logic to Physics: Complementarity
Newton C. A. Costa, Décio Krause
4. Two Genuine 3-Valued Paraconsistent Logics
Jean-Yves Beziau
5. A Survey of Annotated Logics
Seiki Akama
6. Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering
João Inácio Silva Filho, Clovis Misseno Cruz, Alexandre Rocco, Dorotéa Vilanova Garcia, Luís Fernando P. Ferrara, Alexandre Shozo Onuki, Mauricio Conceição Mario, Jair Minoro Abe
7. Programming with Annotated Logics
Kazumi Nakamatsu, Seiki Akama
8. A Review on Rough Sets and Possible World Semantics for Modal Logics
Yasuo Kudo, Tetsuya Murai, Seiki Akama
9. Paraconsistency, Chellas’s Conditional Logics, and Association Rules
Tetsuya Murai, Yasuo Kudo, Seiki Akama
10. A Beautiful Theorem
Francisco Antonio Doria, Carlos A. Cosenza
11. Temporal Logic Modeling of Biological Systems
Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet
12. Jair Minoro Abe on Paraconsistent Engineering
Seiki Akama
Keywords: Engineering, Computational Intelligence, Artificial Intelligence (incl. Robotics), Mathematical Logic and Foundations, Logic, Logics and Meanings of Programs
- Editor
- Akama, Seiki
- Publisher
- Springer
- Publication year
- 2016
- Language
- en
- Edition
- 1
- Series
- Intelligent Systems Reference Library
- Page amount
- 16 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9783319404189
- Printed ISBN
- 978-3-319-40417-2