M. Takano, “Axiomatization of a Basic Logic of Logical Bilattices”, B Sect Log, vol. 45, no. 2, pp. 79–91, Jun. 2016, doi: 10.18778/0138-0680.45.2.02.