rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Towards Paraconsistent Engineering
  name:
    name part: Akama, Seiki.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2016
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVI, 234 p. 52 illus., 9 illus. in color. online resource.
  abstract: 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. .
  table of 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.
  note: edited by Seiki Akama.
  subject:
    topic: Engineering
  subject:
    topic: Logic
  subject:
    topic: Computer logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Mathematical logic
  subject:
    topic: Computational intelligence
  subject:
    topic: Engineering
  subject:
    topic: Computational Intelligence
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Logic
  subject:
    topic: Logics and Meanings of Programs
  classification: Q342
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Intelligent Systems Reference Library, 110
  identifier: 9783319404189
  identifier: http://dx.doi.org/10.1007/978-3-319-40418-9
  record info:
    record creation date: 160725
    record change date: 20160725155637.0
    record identifier: 978-3-319-40418-9