14 citations · 28 across the 9 of their papers we have counts for
10 papers
Semiclassical analysis, geometric representation and quantum ergodicity
Minghui Ma, Qiaochu Ma
In this paper, we prove the equidistribution property of high-frequency eigensections of a certain series of unitary flat bundles, using the mixture of semiclassical and geometric…
On arithmetic properties of Cantor sets
Lu Cui, Minghui Ma
Three types of Cantor sets are studied.For any integer , we show that every real number in is the sum of at most -th powers of elements in the Cantor ternary…
The Finite Model Property of Quasi-transitive Modal Logic
Zhe Lin, Minghui Ma
The finite model property of quasi-transitive modal logic is established. This modal logic is conservatively…
Graphical Sequent Calculi for Modal Logics
Minghui Ma, Ahti-Veikko Pietarinen
The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential grap…
Sequent Calculi for Semi-De Morgan and De Morgan Algebras
Minghui Ma, Fei Liang
A contraction-free and cut-free sequent calculus $\msf{G3SDM}$ for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus $\msf{G3DM}$ for De Mor…
Unified Correspondence and Proof Theory for Strict Implication
Minghui Ma, Zhiguang Zhao
The unified correspondence theory for distributive lattice expansion logics (DLE-logics) is specialized to strict implication logics. As a consequence of a general semantic conseva…
Unified Correspondence as a Proof-Theoretic Tool
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano +2
The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated b…
Residuated Basic Logic II. Interpolation, Decidability and Embedding
Minghui Ma, Zhe Lin
We prove that the sequent calculus for residuated basic logic has strong finite model property, and that intuitionistic logic can be embedded into…
The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus
Zhe Lin, Minghui Ma
We analyze the complexity of decision problems for Boolean Nonassociative Lambek Calculus admitting empty antecedent of sequents (), and the consequence relation o…
Residuated Basic Logic I
Minghui Ma, Zhe Lin
We study the residuated basic logic () of residuated basic algebra in which the basic implication of Visser's basic propositional logic () is interprete…