Jarmużek T, Malinowski J. Modal Boolean Connexive Logics: Semantics and Tableau Approach. B Sect Log [Internet]. 2019 Oct. 30 [cited 2025 Dec. 9];48(3):213-4. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/6207