Finite BL-algebras

被引：19

作者：

Di Nola, A

Lettieri, A

机构：

[1] Univ Naples Federico II, Dipartimento Costruz & Metodi Matemat Architettur, I-80134 Naples, Italy

[2] Univ Salerno, Dipartimento Matemat & Informat, I-84100 Salerno, Italy

来源：

DISCRETE MATHEMATICS | 2003年 / 269卷 / 1-3期

关键词：

BL-algebra; BL-comet; labelled tree;

D O I：

10.1016/S0012-365X(02)00754-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

BL-algebras were introduced by Hajek as algebraic structures of Basic Logic. The aim of this paper is to analyze the structure of finite BL-algebras. Extending the notion of ordinal sum, we characterize a class of finite BL-algebras, actually BL-comets. Then, just using BL-comets, we can represent any finite BL-algebra as a direct product of BL-comets. Furthermore we define a class of labelled trees, which can be one-to-one mapped onto finite BL-algebras. (C) 2002 Elsevier B.V. All rights reserved.

引用

页码：93 / 112

页数：20