1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…