© 2016

Towards Paraconsistent Engineering

  • Seiki Akama


  • 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


Part of the Intelligent Systems Reference Library book series (ISRL, volume 110)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Seiki Akama
    Pages 1-5
  3. Seiki Akama, Newton C. A. da Costa
    Pages 7-24
  4. Newton C. A. da Costa, Décio Krause
    Pages 25-34
  5. Jean-Yves Beziau
    Pages 35-47
  6. Seiki Akama
    Pages 49-76
  7. João Inácio da Silva Filho, Clovis Misseno da Cruz, Alexandre Rocco, Dorotéa Vilanova Garcia, Luís Fernando P. Ferrara, Alexandre Shozo Onuki et al.
    Pages 77-102
  8. Kazumi Nakamatsu, Seiki Akama
    Pages 103-164
  9. Yasuo Kudo, Tetsuya Murai, Seiki Akama
    Pages 165-177
  10. Tetsuya Murai, Yasuo Kudo, Seiki Akama
    Pages 179-196
  11. Francisco Antonio Doria, Carlos A. Cosenza
    Pages 197-203
  12. Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye et al.
    Pages 205-226

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. 


Intelligent Systems ParaconsistentLogic Non-classicalLogic Paraconsistent Engineering Annotated Logic

Editors and affiliations

  • Seiki Akama
    • 1
  1. 1.KawasakiJapan

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences