Takano, M. Axiomatization of a Basic Logic of Logical Bilattices. B Sect Log 2016, 45, 79–91.