Cargando…
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...
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2016
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-40418-9 http://cds.cern.ch/record/2205626 |
_version_ | 1780951559857766400 |
---|---|
author | Akama, Seiki |
author_facet | Akama, Seiki |
author_sort | Akama, Seiki |
collection | CERN |
description | 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. . |
id | cern-2205626 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2016 |
publisher | Springer |
record_format | invenio |
spelling | cern-22056262021-04-21T19:33:38Zdoi:10.1007/978-3-319-40418-9http://cds.cern.ch/record/2205626engAkama, SeikiTowards paraconsistent engineeringEngineeringThis 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. .Springeroai:cds.cern.ch:22056262016 |
spellingShingle | Engineering Akama, Seiki Towards paraconsistent engineering |
title | Towards paraconsistent engineering |
title_full | Towards paraconsistent engineering |
title_fullStr | Towards paraconsistent engineering |
title_full_unstemmed | Towards paraconsistent engineering |
title_short | Towards paraconsistent engineering |
title_sort | towards paraconsistent engineering |
topic | Engineering |
url | https://dx.doi.org/10.1007/978-3-319-40418-9 http://cds.cern.ch/record/2205626 |
work_keys_str_mv | AT akamaseiki towardsparaconsistentengineering |