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
Descripción
Sumario: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. .
Descripción Física:XVI, 234 p. 52 illus., 9 illus. in color. online resource.
ISBN:9783319404189
ISSN:1868-4408 ;

Ejemplares similares