A classification of BL-algebras
We give an algebraic classification of BL-chains, which generalizes to a classification of BL-algebras. Using this, we classify the finite and the finitely universal BL-chains. From these results we strengthen Hajek's Completeness Theorem for BL-logic and give a new proof of the decidability of the set of BL-tautologies. (C) 2002 Elsevier Science B.V. All rights reserved.
classification bl-algebra bl-chain