Minghui Ma
Identifiers
- name variant Minghui Ma 0.60 · backfill
Papers (10)
- Think Thrice Before You Speak: Dual knowledge-enhanced Theory-of-Mind Reasoning for Persuasive Agents cs.AI · 2026 · author #1
- The similarity of irreducible operators in factors math.OA · 2026 · author #1
- Density of irreducible operators in the trace-class norm math.OA · 2025 · author #3
- The Finite Model Property of Quasi-transitive Modal Logic cs.LO · 2018 · author #2
- Sequent Calculi for Semi-De Morgan and De Morgan Algebras math.LO · 2016 · author #1
- Unified Correspondence and Proof Theory for Strict Implication math.LO · 2016 · author #1
- Unified Correspondence as a Proof-Theoretic Tool math.LO · 2016 · author #2
- The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus cs.LO · 2014 · author #2
- Residuated Basic Logic II. Interpolation, Decidability and Embedding math.LO · 2014 · author #1
- 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
- Zhe Lin 4 shared papers
- Rui Shi 2 shared papers
- Zhiguang Zhao 2 shared papers
- Alessandra Palmigiano 1 shared papers
- Apostolos Tzimoulis 1 shared papers
- Bin Guo 1 shared papers
- Chunlan Jiang 1 shared papers
- Fei Liang 1 shared papers
- Giuseppe Greco 1 shared papers
- Jingqi Liu 1 shared papers
- Junhao Shen 1 shared papers
- Junsheng Fang 1 shared papers
- Mengqi Chen 1 shared papers
- Qiuyun Zhang 1 shared papers
- Runze Yang 1 shared papers
- Shanshan Yang 1 shared papers
- Tianze Wang 1 shared papers
- Xuehao Ma 1 shared papers
- Yahan Pei 1 shared papers
- Yan Liu 1 shared papers