БФ-алгебра

---

В математике алгебры BF представляют собой класс алгебраических структур, возникающих из симметричной концепции «Инь Ян» для биполярной нечеткой логики. Это название было введено Анджеем Валендзяком в 2007 году. Название охватывает дискретные версии, но канонический пример возникает в BF. пространство [-1,0]x[0,1] пар (ложность, истинность).

БФ -алгебра — это непустое подмножество с константой и бинарной операцией , удовлетворяющее следующим условиям:${\displaystyle X}$ ${\displaystyle 0}$ ${\displaystyle *}$

Пусть - набор целых чисел , а ' ' - бинарная операция ' вычитание '. Тогда алгебраическая структура подчиняется следующим свойствам :${\displaystyle Z}$${\displaystyle -}$${\displaystyle (Z,-)}$

---