Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662701 | Annals of Pure and Applied Logic | 2010 | 27 Pages |
Abstract
For each integer n≥0, we provide an explicit functional characterization of the free n-generated BL-algebra, together with an explicit construction of the corresponding normal forms.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic