@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}
}
Create and download bib file