Kamide N. Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality. LLP [Internet]. 2019 Jan. 27 [cited 2024 Apr. 26];28(3):481-51. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2019.002