KAMIDE, Norihiro. Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality. Logic and Logical Philosophy. Online. 27 January 2019. Vol. 28, no. 3, pp. 481-511. [Accessed 14 June 2025]. DOI 10.12775/LLP.2019.002.