Kamide, Norihiro. 2019. “Bi-Classical Connexive Logic and Its Modal Extension: Cut-Elimination, Completeness and Duality”. Logic and Logical Philosophy 28 (3):481-511. https://doi.org/10.12775/LLP.2019.002.