Minghui Ma, Fei Liang. Sequent Calculi for Semi-De Morgan and De Morgan Algebras. Studia Logica, 106(3):565-593, 2018. [doi]
@article{MaL18-3, title = {Sequent Calculi for Semi-De Morgan and De Morgan Algebras}, author = {Minghui Ma and Fei Liang}, year = {2018}, doi = {10.1007/s11225-017-9755-7}, url = {https://doi.org/10.1007/s11225-017-9755-7}, researchr = {https://researchr.org/publication/MaL18-3}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {106}, number = {3}, pages = {565-593}, }