Advertisement

Towards Paraconsistent Engineering

  • Seiki Akama

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

Introduction

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. 

Keywords

Intelligent Systems ParaconsistentLogic Non-classicalLogic Paraconsistent Engineering Annotated Logic

Editors and affiliations

  • Seiki Akama
    • 1
  1. 1.KawasakiJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-40418-9
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-40417-2
  • Online ISBN 978-3-319-40418-9
  • Series Print ISSN 1868-4394
  • Series Online ISSN 1868-4408
  • Buy this book on publisher's site