Jarmużek, Tomasz, and Jacek Malinowski. “Modal Boolean Connexive Logics: Semantics and Tableau Approach”. Bulletin of the Section of Logic 48, no. 3 (October 30, 2019): 213–243. Accessed May 6, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/6207.