pith. sign in

Minghui Ma

Identifiers

  • name variant Minghui Ma 0.60 · backfill

Papers (10)

  1. Think Thrice Before You Speak: Dual knowledge-enhanced Theory-of-Mind Reasoning for Persuasive Agents cs.AI · 2026 · author #1
  2. The similarity of irreducible operators in factors math.OA · 2026 · author #1
  3. Density of irreducible operators in the trace-class norm math.OA · 2025 · author #3
  4. The Finite Model Property of Quasi-transitive Modal Logic cs.LO · 2018 · author #2
  5. Sequent Calculi for Semi-De Morgan and De Morgan Algebras math.LO · 2016 · author #1
  6. Unified Correspondence and Proof Theory for Strict Implication math.LO · 2016 · author #1
  7. Unified Correspondence as a Proof-Theoretic Tool math.LO · 2016 · author #2
  8. The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus cs.LO · 2014 · author #2
  9. Residuated Basic Logic II. Interpolation, Decidability and Embedding math.LO · 2014 · author #1
  10. Residuated Basic Logic I math.LO · 2014 · author #1

Mentions

  • 1404.7401 #1 · backfill · confidence 0.70 Minghui Ma
  • 1403.3354 #1 · backfill · confidence 0.70 Minghui Ma
  • 1403.3157 #2 · backfill · confidence 0.70 Minghui Ma
  • 2605.22602 #1 · arxiv_oai · confidence 0.70 Minghui Ma

Frequent Coauthors