Journal
ARCHIVE FOR MATHEMATICAL LOGIC
Volume 40, Issue 6, Pages 467-473Publisher
SPRINGER-VERLAG
DOI: 10.1007/s001530100088
Keywords
many-valued logic; fuzzy logic; MV-algebra; BL-algebra; residuated lattice
Categories
Ask authors/readers for more resources
BL-algebras rise as Lindenbaum algebras from many valued logic introduced by Hajek [2]. In this paper Boolean ds and implicative ds of BL-algebras are defined and studied. The following is proved to be equivalent: (i) a ds D is implicative, (ii) D is Boolean, (iii) LID is a Boolean algebra. Moreover, a BL-algebra L contains a proper Boolean ds iff L is bipartite. Local BL-algebras, too, are characterized. These results generalize some theorems presented in [4], [5], [6] for MV-algebras which are BL-algebras fulfiling an additional double negation law x = x**.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available