Proof Theory for Positive Logic with Weak Negation

Marta Bílková, Almudena Colacito

Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are…