Functional completeness in pseudocomplemented De Morgan algebras (Q1087896)

A finite nontrivial algebra (A,F) is called functionally complete if for each \(n\geq 1\) every n-ary function on A is algebraic. It is well-known that every functionally complete algebra is simple. In the article under review the author shows that every finite simple pseudocomplemented Ockham algebra with at least two elements is functionally complete. In the second part, various forms of primality are studied in a subvariety of the class of pseudocomplemented de Morgan algebras.