О суперинтуиционистских логиках, аппроксимируемых алгебрами с обрывом убывающих цепей

С помощью одного простого свойства решеток и известных результатов доказываются две теоремы: 1) существует моделируемая суперинтуиционистская логика, которая не аппроксимируется никаким классом псевдобулевых алгебр с условием обрыва убывающих цепей; 2) если логика $L$ аппроксимируется алгебрами с обрывом убывающих цепей, то логики $L$ и $L+(p\supset \Delta p)+((\Delta p \supset p)\supset p)+(\Delta p\supset (q\vee(q\supset p)))$ ассерторически равнообъемны. Библ. 6 назв.