Towards paraconsistent engineering. (2016)

• Record Type: Book
• Further Information: Note: Seiki Akama, editor.
• Editors: Akama, Seiki
• Contents: 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.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xvi, 234 pages), illustrations (some color)
• Subjects: 511.3; Engineering; Logic, Symbolic and mathematical; MATHEMATICS -- General; Logic, Symbolic and mathematical; Computers -- Intelligence (AI) & Semantics; Mathematics -- Logic; Philosophy -- Logic; Computers -- Programming -- General; Artificial intelligence; Mathematical foundations; Philosophy: logic; Computer programming / software development; Artificial intelligence; Logic; Logic design; Electronic books
• Languages: English
• ISBNs: 9783319404189; 3319404180; 3319404172; 9783319404172
• Related ISBNs: 9783319404172
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed August 8, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.