On BV-algebras

Abstract

In this paper, we introduce the notion of a BV-algebra, and we show that a BV-algebra is logically equivalent to several algebras, i.e., BM-algebras, BT-algebras, BO-algebras and 0-commutative B-algebras. Moreover, we show that a BV-algebra with (F) is logically equivalent to several algebras, and we show some relationships between a BV-algebra with (F) and several related algebras.