Abstract

In this paper we shall first show that for every weak DeMorgan algebra $L$ of order $n$ , there is a quotient weak DeMorgan algebra $L{\sim}$ which is embeddable in the finite WDM-$n$ algebra $\Omega $. We then demonstrate that the finite WDM-$n$ algebra $\Omega $ is functionally free for the class $CL$ of WDM-$n$ algebras. That is, we show that any formulas $f$ and $g$ are identically equal in each algebra in $CL$ if and only if they are identically equal in $\Omega $. Finally we establish that there is no weak DeMorgan algebra whose quotient algebra by a maximal filter has exactly seven elements