Advertisement

Introduction to Annotated Logics

Foundations for Paracomplete and Paraconsistent Reasoning

  • Jair Minoro Abe
  • Seiki Akama
  • Kazumi Nakamatsu

Part of the Intelligent Systems Reference Library book series (ISRL, volume 88)

Table of contents

  1. Front Matter
    Pages i-x
  2. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Pages 1-4
  3. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Pages 5-23
  4. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Pages 25-30
  5. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Pages 31-59
  6. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Pages 61-110
  7. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Pages 111-173
  8. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Pages 175-177
  9. Back Matter
    Pages 179-190

About this book

Introduction

This 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.

Keywords

Annotated Logics Incomplete and Inconsistent Information Non-classical Logics for Reasoning Paracomplete Reasoning Paraconsistent Reasoning

Authors and affiliations

  • Jair Minoro Abe
    • 1
  • Seiki Akama
    • 2
  • Kazumi Nakamatsu
    • 3
  1. 1.Paulista UniversitySao PauloBrazil
  2. 2.KawasakiJapan
  3. 3.University of HyogoChuo-kuJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-17912-4
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-17911-7
  • Online ISBN 978-3-319-17912-4
  • Series Print ISSN 1868-4394
  • Series Online ISSN 1868-4408
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering