2-normalization of lattices
Ivan Chajda, W. Cheng, S. L. Wismath (2008)
Czechoslovak Mathematical Journal
Similarity:
Let be a type of algebras. A valuation of terms of type is a function assigning to each term of type a value . For , an identity of type is said to be -normal (with respect to valuation ) if either or both and have value . Taking with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called -normal (with respect to the valuation ) if all its identities are -normal. For any variety , there...