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.
General
Imprint: |
Springer International Publishing AG
|
Country of origin: |
Switzerland |
Series: |
Intelligent Systems Reference Library, 88 |
Release date: |
October 2016 |
First published: |
2015 |
Authors: |
Jair Minoro Abe
• Seiki Akama
• Kazumi Nakamatsu
|
Dimensions: |
235 x 155 x 11mm (L x W x T) |
Format: |
Paperback
|
Pages: |
190 |
Edition: |
Softcover reprint of the original 1st ed. 2015 |
ISBN-13: |
978-3-319-38686-7 |
Categories: |
Books >
Computing & IT >
General
Promotions
|
LSN: |
3-319-38686-7 |
Barcode: |
9783319386867 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!