Minghui Ma

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

2016 · arXiv (Cornell University)

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 Morgan algebras are developed. The cut rule is admissible in both sequent calculi. Both …