Introduction to Annotated Logics

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

Foundations for Paracomplete and Paraconsistent Reasoning, Intelligent Systems Reference Library 88

ISBN: 331917911X
ISBN 13: 9783319179117
Autor: Abe, Jair Minoro/Akama, Seiki/Nakamatsu, Kazumi
Verlag: Springer Verlag GmbH
Umfang: x, 190 S., 22 s/w Illustr., 190 p. 22 illus.
Erscheinungsdatum: 21.04.2015
Auflage: 1/2015
Produktform: Gebunden/Hardback
Einband: Gebunden

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.

Artikelnummer: 7979894 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …