LEADER 03275nam  22006615  450 
001 9910299840203321
005 20200704020956.0
010   $a3-319-17912-8
024 7 $a10.1007/978-3-319-17912-4
035   $a(CKB)3710000000394710
035   $a(EBL)2120583
035   $a(OCoLC)907238311
035   $a(SSID)ssj0001501223
035   $a(PQKBManifestationID)11918400
035   $a(PQKBTitleCode)TC0001501223
035   $a(PQKBWorkID)11522351
035   $a(PQKB)10976253
035   $a(DE-He213)978-3-319-17912-4
035   $a(MiAaPQ)EBC2120583
035   $a(PPN)18549093X
035   $a(EXLCZ)993710000000394710
100   $a20150409d2015      u|             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aIntroduction to Annotated Logics$b[electronic resource] $eFoundations for Paracomplete and Paraconsistent Reasoning /$fby Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (195 p.)
225 1 $aIntelligent Systems Reference Library,$x1868-4394 ;$v88
300   $aDescription based upon print version of record.
311   $a3-319-17911-X 
320   $aIncludes bibliographical references and index.
327   $aIntroduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues -- Variants and Related Systems -- Applications -- Conclusions.
330   $aThis book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers, and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.
410  0$aIntelligent Systems Reference Library,$x1868-4394 ;$v88
606   $aComputational intelligence
606   $aArtificial intelligence
606   $aLogic design
606   $aComputational Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/T11014
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050
615  0$aComputational intelligence.
615  0$aArtificial intelligence.
615  0$aLogic design.
615 14$aComputational Intelligence.
615 24$aArtificial Intelligence.
615 24$aLogic Design.
676   $a005.101
700   $aAbe$b Jair Minoro$4aut$4http://id.loc.gov/vocabulary/relators/aut$0739806
702   $aAkama$b Seiki$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aNakamatsu$b Kazumi$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910299840203321
996   $aIntroduction to Annotated Logics$92526418
997   $aUNINA