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