Introduction to annotated logics [electronic resource] : foundations for paracomplete and paraconsistent reasoning / Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.
2015
QA76.63
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Introduction to annotated logics [electronic resource] : foundations for paracomplete and paraconsistent reasoning / Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.
Author
Abe, Jair Minoro, author.
ISBN
9783319179124 electronic book
3319179128 electronic book
9783319179117
3319179128 electronic book
9783319179117
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (x, 190 pages) : illustrations.
Item Number
10.1007/978-3-319-17912-4 doi
Call Number
QA76.63
Dewey Decimal Classification
005.101
Summary
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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 17, 2015).
Added Author
Akama, Seiki, author.
Nakamatsu, Kazumi, author.
Nakamatsu, Kazumi, author.
Series
Intelligent systems reference library ; volume 88.
Available in Other Form
Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Introduction
Propositional Annotated Logics P
Predicate Annotated Logics Q
Formal Issues
Variants and Related Systems
Applications
Conclusions.
Propositional Annotated Logics P
Predicate Annotated Logics Q
Formal Issues
Variants and Related Systems
Applications
Conclusions.