Displaying similar documents to “Semantics of flowchart programs and the free Conway theories”

On schemes for congruence distributivity

I. Chajda, R. Halaš (2004)

Open Mathematics

Similarity:

We present diagrammatic schemes characterizing congruence 3-permutable and distributive algebras. We show that a congruence 3-permutable algebra is congruence meetsemidistributive if and only if it is distributive. We characterize varieties of algebras satisfying the so-called triangular scheme by means of a Maltsev-type condition.