M
Minghui Ma
Researcher at Sun Yat-sen University
Publications - 58
Citations - 437
Minghui Ma is an academic researcher from Sun Yat-sen University. The author has contributed to research in topics: Sequent & Decidability. The author has an hindex of 10, co-authored 47 publications receiving 366 citations. Previous affiliations of Minghui Ma include Tsinghua University & Southwest University.
Papers
More filters
Journal ArticleDOI
Unified correspondence as a proof-theoretic tool
Giuseppe Greco,Minghui Ma,Alessandra Palmigiano,Alessandra Palmigiano,Apostolos Tzimoulis,Zhiguang Zhao +5 more
TL;DR: In this paper, a formal connection between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap, is established.
Journal ArticleDOI
Algebraic semantics and model completeness for intuitionistic public announcement logic
TL;DR: The dual characterization of the corresponding submodelinjection map is given, as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel.
Posted Content
Unified Correspondence as a Proof-Theoretic Tool
Giuseppe Greco,Minghui Ma,Alessandra Palmigiano,Alessandra Palmigiano,Apostolos Tzimoulis,Zhiguang Zhao +5 more
TL;DR: In this article, a formal connection between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap, is established.
Journal ArticleDOI
Unified correspondence and proof theory for strict implication
Minghui Ma,Zhiguang Zhao +1 more
TL;DR: Gentzen-style cut-free sequent calculi for BDFNL and its extensions with analytic rules which are transformed from strict implication sequents, are developed.
Journal ArticleDOI
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction
TL;DR: The formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.