Towards Paraconsistent Engineering / edited by Seiki Akama
Contributor(s): Akama, Seiki, editor literario
| SpringerLink (Online service)
Material type:
E-bookSeries: (Intelligent Systems Reference Library, 1868-4394; 110).Publisher: Cham : Springer International Publishing, 2016Description: 1 recurso en línea (XVI, 234 páginas) : 52 ilustraciones, 9 ilustraciones en color.ISBN: 9783319404189.Subject: Lógica
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
LIBRO-E NO PRÉSTAMO
|
Madrid Digital Acceso Electrónico (UEM) | Ciencias e Ingeniería | QA9.25 T693 2016 EB (Browse shelf(Opens below)) | .i11597008 | Acceso electrónico | eBOOK .i11597008 |
Browsing Madrid Digital shelves, Shelving location: Acceso Electrónico (UEM) Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| QA9.A1 ES Review of Symbolic Logic | QA9 .A1 ES Logic Journal of the IGPL | QA9 ES Philosophia Mathematica | QA9.25 T693 2016 EB Towards Paraconsistent Engineering | QA9.4 2021 EB Modelling Puzzles in First Order Logic | QA9.45 2008 EB Multiple-Valued Logic : Concepts and Representations | QA9.45 2012 EB Representations of Multiple-Valued Logic Functions |
Introduction -- Why Paraconsistent Logics? -- An Application of Paraconsistent Logic to Physics: Complementarity -- Two Genuine 3-Valued Paraconsistent Logics -- A Survey of Annotated Logics -- A Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering -- Programming with Annotated Logics -- A Review on Rough Sets and Possible World Semantics for Modal Logics -- Paraconsistency, Chellas�s Conditional Logics, and Association Rules -- A Beautiful Theorem.-Temporal Logic Modeling of Biological Systems -- Jair Minoro Abe on Paraconsistent Engineering.
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. .
There are no comments on this title.