Abstract

Professor Ryszard Wojcicki once asked whether the degree of maxi- mality of the consequence operation C determined by the theorems of the intuitionistic propositional logic and the detachment rule for the impli- cation connective is equal to 2 2 @0? The aim of the paper is to give the armative answer to the question. More exactly, it is proved here that the degree of maximality of C -the -fragment of C, is equal to 2 2 @0, for every f!; ^; _; :g such that!2.