##
Reports on Mathematical Logic

###
No. 34

Andrzej WRONSKI

Semantic Normal Form
A b s t r a c t.
The idea of semantic normal form originally developed by
Jankov \cite{}{jankov} for Brouwerian semilattices is made
applicable to the variety of equivalential algebras and thereby, to
a broader family of locally finite and permutable
varieties obeying the conditions of Fregeanity i.e. point
regularity and congruence orderability. It is proved
that every term in the language of such a variety can be
equivalently expressed with the help of a relatively small set of
building blocks manufactured from so-called monolith
assignments.

Back to Main Menu