Proof Theory for Fuzzy Logics, Fachbücher von Dov M. Gabbay, George Metcalfe, Nicola Olivetti

Das Buch "Proof Theory for Fuzzy Logics" bietet eine umfassende Einführung in die Fuzzy-Logik, die sich durch ihre Fähigkeit auszeichnet, mit Unschärfe umzugehen. Fuzzy-Logiken sind mehrwertige Logiken, die in verschiedenen Anwendungsbereichen wie fuzzy Steuerung, fuzzy Datenbanken und fuzzy Mathematik Anwendung finden. Dieses Werk stellt die Ergebnisse von über zehn Jahren intensiver Forschung dar und konzentriert sich auf die Entwicklung und Anwendung von "proof-theoretic" Präsentationen der Fuzzy-Logiken. Es bietet elegante alternative Darstellungen und behandelt theoretische Probleme sowie die Entwicklung effizienter Deduktions- und Entscheidungsalgorithmen. Darüber hinaus wird die Beziehung zwischen Fuzzy-Logiken und anderen nicht-klassischen Logiken, die in den Bereichen Informatik, Mathematik und Philosophie untersucht werden, beleuchtet. Das Buch führt systematisch von den semantischen Ursprüngen der Fuzzy-Logiken zu proof-theoretischen Präsentationen wie Hilbert- und Gentzen-Systemen und behandelt sowohl theoretische als auch praktische Anwendungen dieser Präsentationen.