https://9lib.org/document/7qv810gz-axiomatization-of-a-basic-logic-of-logical-bilattices.html