Proof theory for fuzzy logicsde George MetcalfeMateriasFuzzy logicProof theoryLogicArtificial Intelligence (incl. Robotics)MathematicsArtificial intelligenceAlgebraSymbolic and mathematical LogicMathematical Logic and FoundationsOrder, Lattices, Ordered Algebraic Structures