Jarmużek, T., & Malinowski, J. (2019). Boolean Connexive Logics: Semantics and tableau approach. Logic and Logical Philosophy, 28(3), 427–448. https://doi.org/10.12775/LLP.2019.003