human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "the hidden structural rules of the discontinuous lambek calculus"
  Abstract: The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule of associativity. This paper proves that the sequent calculus or hypersequent calculus hD of the discontinuous Lambek calculus (Morrill and Valent\'in), which like sL has no structural rules, is also equivalent to an omega-sorted multimodal calculus mD. More concretely, we present a faithful embedding translation between mD and hD in such a way that it can be said that hD absorbs the structural rules of mD.

Connected through hyperedge HE-1 (induced by source paper "a proof theoretic approach to scope ambiguity in compositional vector space models"):
  with members:
    - "a generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras"
    - "quantifier scope in categorical compositional distributional semantics"
    - "coordination in categorical compositional distributional semantics"
    - "the frobenius anatomy of word meanings i subject and object relative pronouns"
    - "proof nets for the lambek grishin calculus"
    - "polarized montagovian semantics for the lambek grishin calculus"
    - "mathematical foundations for a compositional distributional model of meaning"

Connected through hyperedge HE-2 (induced by source paper "the grail theorem prover type theory for syntax and semantics"):
  with members:
    - "plurals individuals and sets in a richly typed semantics"

Connected through hyperedge HE-3 (induced by source paper "proof nets for the displacement calculus"):
  with members:
    - "extended lambek calculi and first order linear logic"

Connected through hyperedge HE-4 (induced by source paper "comparing and evaluating extended lambek calculi"):
  with members:
    - "proof nets for display logic"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)