Proof Theory for Fuzzy Logics

• Main Authors: Metcalfe, George (Author), Olivetti, Nicola (Author), Gabbay, Dov (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2009.
• Series: Applied Logic Series, 36
• Subjects: Mathematics.; Logic.; Artificial intelligence.; Algebra.; Ordered algebraic structures.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematics, general.; Artificial Intelligence (incl. Robotics).; Order, Lattices, Ordered Algebraic Structures.

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date intr...