M. Takano, “Axiomatization of a Basic Logic of Logical Bilattices”, B Sect Log, vol. 45, no. 2, pp. 79–91, Jun. 2016.