Skip to main content
SpringerLink
Log in

On pseudo-BL algebras and BCC-algebras

  • Original Paper
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

We further study the filter theory of pseudo-BL algebras. We give some equivalent conditions of filter, normal filter and Boolean filter. We introduce the notion of pseudo MV-filter, pseudo-G filter and characterize Boolean algebras, pseudo-MV algebras and pseudo Gödel algebras (i.e. Gödel algebras) in pseudo-BL algebras. We establish the connections between BCC-algebras, pseudo-BCK algebras, pseudo-BL algebras and weak pseudo-BL algebras (pseudo-MTL algebras).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Di Nola A, Georgescu G, Leustean L (2000) Boolean products of BL-algebras. J Math Anal Appl 251:106–131

    Article  MathSciNet  MATH  Google Scholar 

  • Di Nola A, Georgescu G, Iorgulescu A (2002) Pseudo-BL algebras I, II. Multiple-Valued Logic 8:673–714, 717–750

    MathSciNet  MATH  Google Scholar 

  • Di Nola A, Leustean L (2003) Compact representations of BL-algebras. Arch Math Logic 42:737–761

    Article  MathSciNet  MATH  Google Scholar 

  • Dudek WA (1992) The number of subalgebras of finite BCC-algebras. Bull Inst Math Academia Sinica 20:129–135

    MathSciNet  MATH  Google Scholar 

  • Dudek WA (1992) On proper BCC-algebras. Bull Inst Math Acad Sinica 20:137–150

    MathSciNet  MATH  Google Scholar 

  • Dudek WA, Zhang XH (1998) On ideals and congruence in BCC-algebras. Czechoslovak Math J 48 (123):21–29

    Article  MathSciNet  MATH  Google Scholar 

  • Flondor P, Georgescu G, Iorgulescu A (2001) Pseudo-t-norms and pseudo-BL algebras. Soft Comput 5:355–371

    Article  MATH  Google Scholar 

  • Georgescu G (2004) Bosbach states on fuzzy structures. Soft Comput 8:217–230

    MathSciNet  MATH  Google Scholar 

  • Georgescu G, Iorgulescu A (1999) Pseudo-MV algebras: a noncommutative extension of MV-algebras. In: The proceedings of the fourth international symposium on economic informatics, Bucharest, pp 961–968

  • Georgescu G, Iorgulescu A (2001) Pseudo-MV algebras. Multiple Valued Logic 6:95–135

    MathSciNet  MATH  Google Scholar 

  • Georgescu G, Iorgulescu A (2001) Pseudo-BCK algebras: an extension of BCK algebras. In: Proceedings of DMTCS’01: combinatorics, computability and logic, Springer, London pp 97–114

  • Georgescu G, Leustean L (2002) Some classes of pseudo-BL algebras. J Aust Math Soc 73:127–153

    MathSciNet  MATH  Google Scholar 

  • Georgescu G, Leustean L, Preoteasa V, Pseudo-hoops (to appear)

  • Hájek P (1998) Metamathematics of fuzzy logic, Kluwer, Dordrecht

    MATH  Google Scholar 

  • Hájek P (2003) Observations on non-commutative fuzzy logic. Soft Comput 8:38–43

    MATH  Google Scholar 

  • Iorgulescu A (2003) Some direct ascendents of Wajsberg and MV algebras. Scientiae Mathematicae Japonicae 57(3):583–647

    MathSciNet  MATH  Google Scholar 

  • Iorgulescu A (2004) Iséki algebras. Connection with BL algebras. Soft Comput 8:449–463

    Article  MATH  Google Scholar 

  • Iorgulescu A (2004) Classes of BCK algebras – Part I: Preprint series of the Institute of Mathematics of Romanian Academy (in Press)

  • Iorgulescu A (2005) Pseudo-Iséki algebras. Connection with pseudo-BL algebras. Multiple-Valued Logic and Soft Comput 11(3–4):263–308

    MathSciNet  MATH  Google Scholar 

  • Iorgulescu A Classes of Pseudo-BCK algebras: Part-I. Multiple Valued Logic Soft Comput (to appear)

  • Imai Y, Iséki K (1966) On axiom systems of propositional calculi XIV. Proc Japan Acad 42:19–22

    Article  MathSciNet  MATH  Google Scholar 

  • Iséki K (1965) Algebraic formulations of propositional calculi, Proc Japan Acad 41:803–807

    MathSciNet  MATH  Google Scholar 

  • Iséki K (1966) An algebra related with a propositional calculus, Proc Japan Acad 42:26–29

    MathSciNet  MATH  Google Scholar 

  • Iséki K (1977) A special class of BCK-algebras. Math Semin Notes 5:191–198

    MATH  Google Scholar 

  • Iséki K (1979) BCK-algebras with condition (S). Math Japon 24:107–119

    MathSciNet  MATH  Google Scholar 

  • Iséki K, Tanaka S (1978) An introduction to the theory of BCK-algebras. Math Japon 23:1–26

    MathSciNet  MATH  Google Scholar 

  • Meng J, Jun YB (1994) BCK-algebras. Kyung Moon Sa Co., Seoul, Korea

    MATH  Google Scholar 

  • Komori Y (1984) The class of BCC-algebras is not a variety. Math Japon 29:391–394

    MathSciNet  MATH  Google Scholar 

  • Leustean I (2001) Local pseudo MV-algebras. Soft Comput 5:386–395

    Article  MATH  Google Scholar 

  • Ye RF, Zhang XH (1993) On ideals in BZ-algebras and its homomorphism theorems. J East China Univ Sci Technol 19:775–778 in Chinese

    Google Scholar 

  • Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag

  • Turunen E (2001) Boolean deductive systems of BL- algebras. Arch Math Logic 40:467–473

    Article  MathSciNet  MATH  Google Scholar 

  • Turunen E, Sessa S (2001) Local BL-algebras. Multiple Valued Logic 6:229–250

    MathSciNet  MATH  Google Scholar 

  • Wroński A (1985) An algebraic motivation for BCK-algebras. Math Japon 30:183–193

    Google Scholar 

  • Zhang XH, Ye RF (1995) BZ-algebra and group, J Math Phy Sci (India) 29:223–233

    MathSciNet  MATH  Google Scholar 

  • Zhang XH, Wang YQ, Dudek WA (2003) T-ideals in BZ-algebras and T-type BZ-algebras. Indian J Pure Appl Math 34:1559–1570

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Science, Ningbo University, Ningbo, 315211, Zhejiang Province, Peoples Republic of China

    Xiao-hong Zhang

  2. School of Computer Science, Northwestern Polytechnical University, Xi’an, 710072, Shaanxi Province, Peoples Republic of China

    Wei Hua Li

Authors
  1. Xiao-hong Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wei Hua Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xiao-hong Zhang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, Xh., Li, W.H. On pseudo-BL algebras and BCC-algebras. Soft Comput 10, 941–952 (2006). https://doi.org/10.1007/s00500-005-0021-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-005-0021-y

Keywords

Search

Navigation