Q-filters of quantum B-algebras and basic implication algebras (Q2333871)

Summary: The concept of quantum B-algebra was introduced by \textit{W. Rump} and \textit{Y. C. Yang} [Ann. Pure Appl. Logic 165, No. 2, 759--785 (2014; Zbl 1322.03049)], that is, unified algebraic semantics for various noncommutative fuzzy logics, quantum logics, and implication logics. In this paper, a new notion of q-filter in quantum B-algebra is proposed, and quotient structures are constructed by q-filters (in contrast, although the notion of filter in quantum B-algebra has been defined before this paper, but corresponding quotient structures cannot be constructed according to the usual methods). Moreover, a new, more general, implication algebra is proposed, which is called basic implication algebra and can be regarded as a unified frame of general fuzzy logics, including nonassociative fuzzy logics (in contrast, quantum B-algebra is not applied to nonassociative fuzzy logics). The filter theory of basic implication algebras is also established.