@misc{indiciae2c23f1b2d746,
  title = {Sequent Calculi for Semi-De Morgan and De Morgan Algebras},
  author = {Minghui Ma and Fei Liang},
  year = {2016},
  url = {https://arxiv.org/abs/1611.05231},
  note = {Source identifier: 1611.05231}
}