Difference between revisions of "BL algebras and effect algebras"

From Mathfuzzlog
Jump to: navigation, search
(New page: {{Paper| author=Thomas Vetterlein| title=BL algebras and effect algebras| journal=Soft Computing| volume=9| number=| pages=557-564| year=2005}} == Abstract ==)
 
 
Line 9: Line 9:
  
 
== Abstract ==
 
== Abstract ==
 +
 +
Although the notions of a BL-algebra and of an effect algebra arose in
 +
rather different contextes, both types of algebras have certain structural
 +
properties in common. To clarify their mutual relation, we introduce weak
 +
effect algebras, which generalize effect algebras in that the order is no
 +
longer necessarily determined by the partial addition. A subclass of the
 +
weak effect algebras is shown to be identifiable with the BL-algebras.
 +
 +
Moreover, weak D-posets are defined, being based on a partial difference
 +
rather than a partial addition. They are equivalent to weak effect
 +
algebras.
 +
 +
Finally, it is seen to which subclasses of the weak effect algebras certain
 +
subclasses of the BL-algebras, namely the MV-, product, and Gödel
 +
algebras, correspond.

Latest revision as of 11:51, 5 September 2008

Authors:
Thomas Vetterlein
Title: BL algebras and effect algebras
Journal: Soft Computing
Volume 9
Number
Pages: 557-564
Year: 2005





Abstract

Although the notions of a BL-algebra and of an effect algebra arose in rather different contextes, both types of algebras have certain structural properties in common. To clarify their mutual relation, we introduce weak effect algebras, which generalize effect algebras in that the order is no longer necessarily determined by the partial addition. A subclass of the weak effect algebras is shown to be identifiable with the BL-algebras.

Moreover, weak D-posets are defined, being based on a partial difference rather than a partial addition. They are equivalent to weak effect algebras.

Finally, it is seen to which subclasses of the weak effect algebras certain subclasses of the BL-algebras, namely the MV-, product, and Gödel algebras, correspond.