1 citations · 2 across the 2 of their papers we have counts for
2 papers
math.LO2016★ 1 cited
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…
math.LO2014★ 1 cited
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…