Abstract

We prove that Maksimova’s Criterion of disjunctive property for intermediate logics can be extended to the varieties with equationally definable principal meets in which disjunction is introduced via principal intersection terms. We also give a necessary condition for semiconstructvity, and show how it can be applied to admissibility of multiple-conclusion rules expressing semiconstructivity.