2 search results - page 1 / 1 » The free n-generated BL-algebra |
APAL
2005
13 years 10 months ago
2005
Abstract. Let n be a positive integer and FA (n) be the free abelian latticeordered group on n generators. We prove that FA (m) and FA (n) do not satisfy the same first-order sente...
IJAC
2006
13 years 10 months ago
2006
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...