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 February 10, 2026. https://czasopisma.uni.lodz.pl/bulletin/article/view/6207.