Authors:
- Provides logical foundations for annotated logics
- Discusses interesting applications of annotated logics
- Presents the foundations for paracomplete and paraconsistent reasoning
- Includes supplementary material: sn.pub/extras
Part of the book series: Intelligent Systems Reference Library (ISRL, volume 88)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Reviews
Authors and Affiliations
-
Paulista University, Sao Paulo, Brazil
Jair Minoro Abe
-
Kawasaki, Japan
Seiki Akama
-
University of Hyogo, Chuo-ku, Japan
Kazumi Nakamatsu
Bibliographic Information
Book Title: Introduction to Annotated Logics
Book Subtitle: Foundations for Paracomplete and Paraconsistent Reasoning
Authors: Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Series Title: Intelligent Systems Reference Library
DOI: https://doi.org/10.1007/978-3-319-17912-4
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Hardcover ISBN: 978-3-319-17911-7Published: 21 April 2015
Softcover ISBN: 978-3-319-38686-7Published: 09 October 2016
eBook ISBN: 978-3-319-17912-4Published: 09 April 2015
Series ISSN: 1868-4394
Series E-ISSN: 1868-4408
Edition Number: 1
Number of Pages: X, 190
Number of Illustrations: 22 b/w illustrations
Topics: Computational Intelligence, Artificial Intelligence, Logic Design