
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning
Dieses Buch ist als Einführung in die kommentierte Logik gedacht.
Es bietet logische Grundlagen für kommentierte Logiken, diskutiert einige interessante Anwendungen dieser Logiken und enthält auch die Beiträge der Autoren zu kommentierten Logiken. Die zentrale Idee des Buches ist es, zu zeigen, wie kommentierte Logik als Werkzeug zur Lösung von Problemen der Technik und der angewandten Wissenschaft eingesetzt werden kann.
Das Buch wird für reine und angewandte Logiker, Philosophen und Informatiker als Monographie über eine Art parakonsistente Logik von Interesse sein. Aber auch der Laie wird von der Lektüre profitieren.