Q-Filters of Quantum B-Algebras and Basic Implication Algebras

The concept of quantum B-algebra was introduced by Rump and Yang, 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.

[1]  Luigi Fortuna,et al.  Genetic algorithms and applications in system engineering: a survey , 1993 .

[2]  J. Fodor.  Contrapositive symmetry of fuzzy implications , 1995 .

[3]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[4]  Joan Torrens,et al.  Distributivity of residual implications over conjunctive and disjunctive uninorms , 2007, Fuzzy Sets Syst..

[5]  Zhang Xiao-hong.  BIK~+-logic and Non-commutative Fuzzy Logics , 2007 .

[6]  W. Rump.  L-algebras, self-similarity, and l-groups , 2008 .

[7]  Tommaso Flaminio.  Strong non-standard completeness for fuzzy logics , 2008, Soft Comput..

[8]  Radomír Halas,et al.  Commutative basic algebras and non-associative fuzzy logics , 2009, Arch. Math. Log..

[9]  Michal Botur,et al.  A non-associative generalization of Hájek's BL-algebras , 2011, Fuzzy Sets Syst..

[10]  G. Dymek.  Atoms and ideals of pseudo-BCI-algebras , 2012 .

[11]  Yao Ouyang,et al.  On fuzzy implications determined by aggregation operators , 2012, Inf. Sci..

[12]  W. Rump.  Quantum B-algebras , 2013 .

[14]  Yichuan Yang,et al.  Non-commutative logical algebras and algebraic quantales , 2014, Ann. Pure Appl. Log..

[15]  Zhang Xiao-hon.  Anti-grouped Pseudo-BCI Algebras and Anti-grouped Filters , 2014 .

[16]  On pseudo-BCI-algebras , 2015 .

[17]  Jan Paseka,et al.  Filters on Some Classes of Quantum B-Algebras , 2015, 1809.06210.

[18]  Balasubramaniam Jayaram,et al.  The ⊛-composition of fuzzy implications: Closures with respect to properties, powers and families , 2015, Fuzzy Sets Syst..

[19]  Xiaohong Zhang,et al.  Fuzzy anti-grouped filters and fuzzy normal filters in pseudo-BCI algebras , 2017, J. Intell. Fuzzy Syst..

[20]  Xiaohong Zhang,et al.  Neutrosophic Duplet Semi-Group and Cancellable Neutrosophic Triplet Groups , 2017, Symmetry.

[21]  Wolfgang Rump.  Quantum B-algebras: their omnipresence in algebraic logic and beyond , 2017, Soft Comput..

[22]  Lijuan Wan,et al.  Type-2 fuzzy implications and fuzzy-valued approximation reasoning , 2018, Int. J. Approx. Reason..

[23]  Minxia Luo,et al.  Logical foundation of the quintuple implication inference methods , 2018, Int. J. Approx. Reason..

[24]  Jan Kühr,et al.  Some properties of pseudo-BCK- and pseudo-BCI-algebras , 2018, Fuzzy Sets Syst..

[25]  Xiaohong Zhang,et al.  New Operations of Totally Dependent-Neutrosophic Sets and Totally Dependent-Neutrosophic Soft Sets , 2018, Symmetry.

[26]  Xiaohong Zhang,et al.  Soft set theoretical approach to pseudo-BCI algebras , 2018, J. Intell. Fuzzy Syst..

[27]  Xiaohong Zhang,et al.  New inclusion relation of neutrosophic sets with applications and related lattice structure , 2018, Int. J. Mach. Learn. Cybern..

[28]  Witold Pedrycz,et al.  A method to construct fuzzy implications-rotation construction , 2018, Int. J. Approx. Reason..

[29]  Dechao Li,et al.  The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication , 2018, J. Log. Algebraic Methods Program..

[30]  Shengwei Han,et al.  The Unitality of Quantum B-algebras , 2018 .

[31]  Rongrong Wang,et al.  On the injective hulls of quantum B-algebras , 2019, Fuzzy Sets Syst..