TY  - RPRT
TI  - Sequent Calculi for Semi-De Morgan and De Morgan Algebras
AU  - Minghui Ma
AU  - Fei Liang
PY  - 2016
UR  - https://arxiv.org/abs/1611.05231
ID  - 1611.05231
ER  -