Fr. 135.00

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning

Englisch · Fester Einband

Versand in der Regel in 6 bis 7 Wochen

Beschreibung

Mehr lesen

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.

Inhaltsverzeichnis

Introduction.- Propositional Annotated Logics P.- Predicate Annotated Logics Q.- Formal Issues.- Variants and Related Systems.- Applications.- Conclusions.

Zusammenfassung

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.

Zusatztext

“This book constitutes a useful tool for researchers interested in annotated logics and their application to paraconsistent and paracomplete reasoning. … results collected from different sources are accompanied by proofs, making the book a very useful and valuable reference text for a specialized reader.” (Pedro Cabalar, Mathematical Reviews, October, 2017)

Bericht

"This book constitutes a useful tool for researchers interested in annotated logics and their application to paraconsistent and paracomplete reasoning. ... results collected from different sources are accompanied by proofs, making the book a very useful and valuable reference text for a specialized reader." (Pedro Cabalar, Mathematical Reviews, October, 2017)

Produktdetails

Autoren Jair M Abe, Jair M. Abe, Jair Minor Abe, Jair Minoro Abe, Seik Akama, Seiki Akama, Kazumi Nakamatsu
Verlag Springer, Berlin
 
Sprache Englisch
Produktform Fester Einband
Erschienen 01.01.2015
 
EAN 9783319179117
ISBN 978-3-31-917911-7
Seiten 190
Abmessung 163 mm x 15 mm x 248 mm
Gewicht 415 g
Illustration X, 190 p. 22 illus.
Serien Intelligent Systems Reference Library
Intelligent Systems Reference Library
Themen Naturwissenschaften, Medizin, Informatik, Technik > Technik > Allgemeines, Lexika

B, Artificial Intelligence, Rechnerarchitektur und Logik-Entwurf, engineering, Computational Intelligence, Computer architecture & logic design, Logic Design

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.