Takano, M. Axiomatization of a Basic Logic of Logical Bilattices. B Sect Log 2016, 45 (2), 79–91. https://doi.org/10.18778/0138-0680.45.2.02.