@ARTICLE {33171, author={S. Marcelino and U. Rivieccio}, doi={10.1093/jigpal/jzac043}, journal={Logic Journal of the IGPL}, title={Finite axiomatizability of logics of distributive lattices with negation}, year={2023}, month={June}, volume={31}, number={3}, pages={510-533}, ISSN={1367-0751} }