Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting

The problem of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic is considered. The conditions permiting to determine the parametrical completeness of an arbitrary system of formulas in mentionted logic are established in terms of 13 parametrical pre-complete classes of formulas.