Dual counterpart intuitionistic logic. - Anthony Cantor; Aaron Stump (J. Log. Comput., 2024)