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.
The free n-generated BL-algebra / S. Aguzzoli, S. Bova. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 161:9(2010 Jun), pp. 1144-1170. [10.1016/j.apal.2010.02.001]
The free n-generated BL-algebra
S. AguzzoliPrimo
;
2010
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.