In mathematics, BF algebras are a class of algebraic structures arising out of a symmetric "Yin Yang" concept for Bipolar Fuzzy logic, the name was introduced by Andrzej Walendziak in 2007. The name covers discrete versions, but a canonical example arises in the BF space [-1,0]x[0,1] of pairs of (false-ness, truth-ness).

Definition

edit

A BF-algebra is a non-empty subset   with a constant   and a binary operation   satisfying the following:

  1.  
  2.  
  3.  

Example

edit

Let   be the set of integers and ' ' be the binary operation 'subtraction'. Then the algebraic structure   obeys the following properties:

  1.  
  2.  
  3.  

References

edit
  • Walendziak, Andrzej (2007), "On BF-algebras", Math. Slovaca, 57 (2): 119–128, doi:10.2478/s12175-007-0003-x, MR 2357811