Proof Theory for Fuzzy Logics - Metcalfe, George (Springer Netherlands, 2009)
Keywords: Künstliche Intelligenz; Mathematik; Algebra; Logic; Logic, Symbolic and mathematical; Mathematics; Artificial Intelligence (incl. Robotics); Mathematical Logic and Foundations; Order, Lattices, Ordered Algebraic Structures; Artificial intelligence; Beweistheorie; Fuzzy-Logik