Article ID Journal Published Year Pages File Type
4662701 Annals of Pure and Applied Logic 2010 27 Pages PDF
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