Towards 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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Akama, Seiki (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Intelligent Systems Reference Library, 110
Temas:
Computational intelligence.
Artificial intelligence.
Mathematical logic.
Logic.
Computer science.
Computational Intelligence.
Artificial Intelligence.
Mathematical Logic and Foundations.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-319-40418-9
003 DE-He213
005 20220116062042.0
007 cr nn 008mamaa
008 160725s2016 sz | s |||| 0|eng d
020 |a 9783319404189  |9 978-3-319-40418-9 
024 7 |a 10.1007/978-3-319-40418-9  |2 doi 
050 4 |a Q342 
072 7 |a UYQ  |2 bicssc 
072 7 |a TEC009000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
082 0 4 |a 006.3  |2 23 
245 1 0 |a Towards Paraconsistent Engineering  |h [electronic resource] /  |c edited by Seiki Akama. 
250 |a 1st ed. 2016. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2016. 
300 |a XVI, 234 p. 52 illus., 9 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Intelligent Systems Reference Library,  |x 1868-4408 ;  |v 110 
505 0 |a 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. 
520 |a 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. . 
650 0 |a Computational intelligence. 
650 0 |a Artificial intelligence. 
650 0 |a Mathematical logic. 
650 0 |a Logic. 
650 0 |a Computer science. 
650 1 4 |a Computational Intelligence. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Mathematical Logic and Foundations. 
650 2 4 |a Logic. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
700 1 |a Akama, Seiki.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319404172 
776 0 8 |i Printed edition:  |z 9783319404196 
776 0 8 |i Printed edition:  |z 9783319820958 
830 0 |a Intelligent Systems Reference Library,  |x 1868-4408 ;  |v 110 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-319-40418-9  |z Texto Completo 
912 |a ZDB-2-ENG 
912 |a ZDB-2-SXE 
950 |a Engineering (SpringerNature-11647) 
950 |a Engineering (R0) (SpringerNature-43712) 

Ejemplares similares