Algebraic Foundations of Many-Valued Reasoning, Fachbücher von Daniele Mundici, Itala M. D'Ottaviano, R. L. Cignoli

Das Buch "Algebraic Foundations of Many-Valued Reasoning" bietet eine umfassende und selbstständige Erarbeitung der grundlegenden Ergebnisse der unendlich-wertigen Aussagenlogik von Lukasiewicz sowie deren Algebren, den Chang'schen MV-Algebren. Es richtet sich an Leser, die sich mit klassischer Aussagenlogik sowie grundlegenden Konzepten der Algebra und Topologie auskennen. Die Autoren, R. L. Cignoli, Itala M. D'Ottaviano und Daniele Mundici, legen besonderen Wert auf die Vermittlung der theoretischen Grundlagen und der praktischen Anwendungen unendlich-wertiger Logik. Das Buch enthält zahlreiche Beweise und behandelt auch fortgeschrittene Themen, die in einem separaten Kapitel behandelt werden. Es wird nicht nur die Theorie, sondern auch die Anwendung unendlich-wertiger Logik in praktischen Kontexten, wie dem Spiel "Twenty Questions", beleuchtet, um die Konzepte anschaulich zu machen.