I have been looking into intuitionistic logic and what is called "negative fragment" of intuitionistic propositional logic. However, I was not able to find any res
