Implicit Definability and Positive Logics

We furnish a description of all positive logics possessing the projective Beth property PBP. Decidability of PBP is proved for the positive calculi extending a positive fragment ${\rm Int}^+$ of the intuitionistic propositional calculus. The results mentioned are applied to explore extensions of Johansson's minimal logic.