Abstract

This paper is a continuation of [1] and so all the concepts and notations introduced in [1] will be used freely. We shall consider here the lattice of all standard consequence operations in the implicationless language intermediate between the intuitionistic and the classical consequence operation. The problem of characterizing this lattice was suggested by Prof. Wolfgang Rautenberg. We shall show that the lattice in question is denumerable and it is isomorphic to a chain of type ∗