Filtrations and Deductive Systems in BCL+ Algebras
Yonghong Liu *
School of Automation, Wuhan University of Technology, Wuhan, 430070, P.R. China.
*Author to whom correspondence should be addressed.
Abstract
The aim of this paper is to introduce the two notions of filtrations and deductive systems in BCL+ algebras, and investigate some of their related properties. Using this, we prove that the filtration is subalgebra of BCL+ algebras; we also prove that the filtration of BCL+ algebras is a deductive system to the filtration of BCL+ algebras with certain relations.
Keywords: BCL algebras, BCL algebras, filtrations, deductive systems