000759840 000__ 02850cam\a2200445Ii\4500
000759840 001__ 759840
000759840 005__ 20230306141935.0
000759840 006__ m\\\\\o\\d\\\\\\\\
000759840 007__ cr\cn\nnnunnun
000759840 008__ 160727s2016\\\\sz\a\\\\ob\\\\000\0\eng\d
000759840 020__ $$a9783319404189$$q(electronic book)
000759840 020__ $$a3319404180$$q(electronic book)
000759840 020__ $$z9783319404172
000759840 0247_ $$a10.1007/978-3-319-40418-9$$2doi
000759840 035__ $$aSP(OCoLC)ocn954054477
000759840 035__ $$aSP(OCoLC)954054477
000759840 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dIDEBK$$dGW5XE$$dAZU$$dCOO$$dOCLCF
000759840 049__ $$aISEA
000759840 050_4 $$aQA9.25
000759840 08204 $$a511.3$$223
000759840 24500 $$aTowards paraconsistent engineering$$h[electronic resource] /$$cSeiki Akama, editor.
000759840 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000759840 300__ $$a1 online resource (xvi, 234 pages) :$$billustrations.
000759840 336__ $$atext$$btxt$$2rdacontent
000759840 337__ $$acomputer$$bc$$2rdamedia
000759840 338__ $$aonline resource$$bcr$$2rdacarrier
000759840 4901_ $$aIntelligent systems reference library,$$x1868-4394 ;$$vvolume 110
000759840 504__ $$aIncludes bibliographical references.
000759840 5050_ $$aIntroduction -- 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.
000759840 506__ $$aAccess limited to authorized users.
000759840 520__ $$aThis 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. .
000759840 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 8, 2016).
000759840 650_0 $$aLogic, Symbolic and mathematical.
000759840 7001_ $$aAkama, Seiki,$$eeditor.
000759840 77608 $$iPrint version:$$z9783319404172
000759840 830_0 $$aIntelligent systems reference library ;$$vv. 110.
000759840 852__ $$bebk
000759840 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-40418-9$$zOnline Access$$91397441.1
000759840 909CO $$ooai:library.usi.edu:759840$$pGLOBAL_SET
000759840 980__ $$aEBOOK
000759840 980__ $$aBIB
000759840 982__ $$aEbook
000759840 983__ $$aOnline
000759840 994__ $$a92$$bISE