Kamide, N. “Bi-Classical Connexive Logic and Its Modal Extension: Cut-Elimination, Completeness and Duality”. Logic and Logical Philosophy, vol. 28, no. 3, Jan. 2019, pp. 481-1, doi:10.12775/LLP.2019.002.