Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning

Text

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning

Jair Minoro Abe - Personal Name; Seiki Akama - Personal Name; Kazumi Nakamatsu - Personal Name;

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.

Availability

No copy data

Detail Information

Series Title: -
Call Number: -
Publisher: Cham, Switzerland : ., 2015
Collation: -
Language: English
ISBN/ISSN: 978-3-319-17912-4
Classification: NONE
Content Type: -
Media Type: -
Carrier Type: -
Edition: -
Subject(s): Logic Design
Specific Detail Info: -
Statement of Responsibility: Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu

Other Information

Cataloger: Kholif Basri
Source: https://link.springer.com/book/10.1007/978-3-319-17912-4
Validator: -

Other version/related

No other version available

File Attachment

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning

Comments

You must be logged in to post a comment