On the structure of varieties with equationally definable principal congruences. II (Q762523)

This is the continuation of an earlier paper by the first and the third author [ibid. 15, 195-227 (1982; Zbl 0512.08002)]. The investigations are based on three legs. 1. Logic, more precisely deduction theory which were worked out in the paper ''The deduction theorem in algebraic logic'', by \textit{W. Blok} and \textit{D. Pigozzi} (unfortunately not even the periodical is given where it will appear). 2. The (restricted) equationally definable, principal congruences, denoted by EDPC [see \textit{G. Grätzer, R. Quackenbush} and the reviewer, Algebra Univers. 10, 176-188 (1980; Zbl 0431.08002)]. 3. The results on (dual) Brouwerian semilattices (see the first paper). These papers might open a fruitful branch of investigation at the border of algebra and logic. The motivation is twofold: to generalize the discriminator algebras in a natural way and to characterize the varieties arising from logic. After the introduction and the preliminaries they deal with the ''quaternary deductive systems'', denoted by QD. Here the main result is Theorem 1.7, which says that a variety generated by a similarity class K has EDPC iff the class consisting of the compact homomorphic images of elements in K possesses a QD system. The results were influenced and overlap to a great extent with the results of the reviewer and \textit{E. W. Kiss} [see ibid. 17, 227-262 (1983; Zbl 0534.08004)], though the methods are different. In the second part WBSO (weak Brouwerian semilattices with filter preserving operations) are considered to investigate the algebraic behaviour of the socalled ''Gödel equivalence terms''. These are used in the next section, where congruence permutability is added. The last section deals with ''Congruence relative Stone algebras''. These can be regarded as varieties where the congruence lattice of any subdirectly irreducible member is a chain. The congruence permutable case is investigated, only, since this is the generalization in question of the discriminator varieties.