大葉大學圖書館 |

Towards paraconsistent engineering[electronic resource] /

紀錄類型:	書目-電子資源 : Monograph/item
杜威分類號:	511.3
書名/作者:	Towards paraconsistent engineering/ edited by Seiki Akama.
其他作者:	Akama, Seiki.
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	xvi, 234 p. : : ill. (some col.), digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical.
標題:	Engineering.
標題:	Computational Intelligence.
標題:	Artificial Intelligence (incl. Robotics)
標題:	Mathematical Logic and Foundations.
標題:	Logic.
標題:	Logics and Meanings of Programs.
ISBN:	9783319404189
ISBN:	9783319404172
內容註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-40418-9

Towards paraconsistent engineering[electronic resource] /
Towards paraconsistent engineering[electronic resource] /edited by Seiki Akama. - Cham :Springer International Publishing :2016. - xvi, 234 p. :ill. (some col.), digital ;24 cm. - Intelligent systems reference library,v.1101868-4394 ;. - Intelligent systems reference library ;v.24..

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.

ISBN: 9783319404189

Standard No.: 10.1007/978-3-319-40418-9doiSubjects--Topical Terms:

381130
Logic, Symbolic and mathematical.

LC Class. No.: QA9.25

Dewey Class. No.: 511.3

Towards paraconsistent engineering[electronic resource] /
LDR:02209nmm a2200325 a 4500 001 462260
003 DE-He213
005 20160725155637.0
006 m d
007 cr nn 008maaau
008 170223s2016 gw s 0 eng d
020 $a 9783319404189 $q (electronic bk.)
020 $a 9783319404172 $q (paper)
024 7 $a 10.1007/978-3-319-40418-9 $2 doi
035 $a 978-3-319-40418-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.25
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
082 0 4 $a 511.3 $2 23
090 $a QA9.25 $b .T737 2016
245 0 0 $a Towards paraconsistent engineering $h [electronic resource] / $c edited by Seiki Akama.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xvi, 234 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Intelligent systems reference library, $x 1868-4394 ; $v 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 Logic, Symbolic and mathematical. $3 381130
650 1 4 $a Engineering. $3 372756
650 2 4 $a Computational Intelligence. $3 463962
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 463642
650 2 4 $a Mathematical Logic and Foundations. $3 464911
650 2 4 $a Logic. $3 191646
650 2 4 $a Logics and Meanings of Programs. $3 466905
700 1 $a Akama, Seiki. $3 602209
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Intelligent systems reference library ; $v v.24. $3 465446
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-40418-9
950 $a Engineering (Springer-11647)