Abstract
In this paper, we introduce the notion of quasi-pseudo-BL algebras as the generalization of pseudo-BL algebras and quasi-pseudo-MV algebras. First, we investigate the properties of quasi-pseudo-BL algebras and show the subdirect product composition of any quasi-pseudo-BL algebra. Especially, some properties of good quasi-pseudo-BL algebras are presented. Second, we discuss the filters of quasi-pseudo-BL algebras and prove that there exists a bijective correspondence between normal filters and filter congruences on a quasi-pseudo-BL algebra. The properties of some special filters are also discussed. Finally, we study the ideals of quasi-pseudo-BL algebras and investigate some connections between ideals and filters of a quasi-pseudo-BL algebra.
Similar content being viewed by others
References
Burris S, Sankappanavar HP (1981) A course in universal algebra. The millennium edition. Springer, New York
Chajda I (1992) Lattices in quasiordered sets. Acta Univ Palacki Olomuc Fac Rerum Nat Math 31:6–12
Chang CC (1959) A new proof of the completeness of Lukasiewicz axioms. Trans Am Soc 93:74–80
Chen WJ (2017) The new generalization of Wajsberg algebras. J Multiple-Valued Log Soft Comput 29:135–156
Chen WJ, Davvaz B (2016) Some classes of quasi-pseudo-MV algebras. Log J IGPL 24:655–673
Chen WJ, Dudek WA (2016) Quantum computational algebra with a non-commutative generalization. Math Slov 66:19–34
Chen WJ, Dudek WA (2018) Ideals and congruences in quasi-pseudo-MV algebras. Soft Comput 22:3879–3889
Di Nola A, Georgescu G, Iorgulescu A (2002a) PseudoBL-algebras: part I. Multiple-Valued Log 8:673–714
Di Nola A, Georgescu G, Iorgulescu A (2002b) PseudoBL-algebras: part II. Multiple-Valued Log 8:715–750
Georgescu G, Iorgulescu A (2001) Pseudo MV algebras. Multiple-Valued Log 6:95–135
Georgescu G, Leustean L (2002) Some classes of pseudo-BL algebras. J Aust Math Soc 73:127–153
Gudder S (2003) Quantum computational logic. Int J Theor Phys 42:39–47
Hajek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht
Hajek P, Godo L, Esteva F (1996) A complete many-valued logic with product-conjunction. Arch Math Log 35:191–208
Iorgulescu A (2018) Implicative-groups vs. groups and generalizations. Matrix Rom, Bucuresti
Ledda A, Konig M, Paoli F, Giuntini R (2006) MV algebras and quantum computation. Stud Log 82:245–270
Lele C, Nganou JB (2013) MV-algebras derived from ideals in BL-algebras. Fuzzy Sets Syst 218:103–113
Rachunek J, Salounova D (2017) Ideals and involutive filters in generalizations of fuzzy structures. Fuzzy Sets Syst 311:70–85
Funding
This study was funded by the National Natural Science Foundation of China (Grant No. 11501245), China Postdoctoral Science Foundation (No. 2017M622177) and Shandong Province Postdoctoral Innovation Projects of Special Funds (No. 201702005).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Chen, W., Wang, H. Filters and ideals in the generalization of pseudo-BL algebras. Soft Comput 24, 795–812 (2020). https://doi.org/10.1007/s00500-019-04528-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-019-04528-9