Overview
- 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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (7 chapters)
Reviews
Authors and Affiliations
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