CONJUNCTIVELY INDECOMPOSABLE FORMULAS IN PROPOSITIONAL CALCULI

Formulas in intuitionistic propositional calculus and its subsystems are studied that cannot be decomposed into a proper conjunction.