human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Concept lattices and similarity in non-commutative fuzzy logic"):
  Abstract: A classical (crisp) concept is given by its extent (a set of objects) and its intent (a set of properties). In commutative fuzzy logic, the generalization comes naturally, considering fuzzy sets of objects and properties. In both cases (the first being actually a particular case of the second), the situation is perfectly symmetrical: a concept is given by a pair (A,B), where A is the largest set of objects sharing the attributes from B and B is the largest set of attributes shared by the objects from A (with the necessary nuance when fuzziness is concerned). Because of this symmetry, working with objects is the same as working with properties, so there is no need to make any choice. In this paper, we define concepts in a "non-commutative fuzzy world", where conjunction of sentences is not necessarily commutative, which leads to the following non-symmetrical situation: a concept has one extent (because, at the end of the day, concepts are meant to embrace, using certain descriptions, diverse sets of objects), but two intents, given by the two residua (implications) of the non-commutative conjunction.

Includes members:
  Member "Non-commutative fuzzy Galois connections":
    also connected through other hyperedges:
      (none)
  Member "On the Representation Theorem of Multi-Adjoint Concept Lattices.":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Mathematics