STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

- Journal title : Honam Mathematical Journal
- Volume 29, Issue 3, 2007, pp.445-453
- Publisher : The Honam Mathematical Society
- DOI : 10.5831/HMJ.2007.29.3.445

Title & Authors

STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

Jun, Young-Bae; Park, Chul-Hwan; Doh, Myung-Im;

Jun, Young-Bae; Park, Chul-Hwan; Doh, Myung-Im;

Abstract

The notion of strong deductive system of a BL-algebra is introduced, and a characterization of a strong deductive system is given. A relation between a strong deductive system and a deductive system is given. It will be seen that every strong deductive system can be expressed as the union of special sets.

Keywords

(generalized) BL-algebra;implicative BL-algebra;deductive system;strong deductive system;

Language

English

References

1.

D. Busneag and D. Piciu, On the lattice of deductive systems of a BL-algebra, Central European Journal of Mathematics 2 (2003), 221-237.

2.

R. Cignoli and A. Torrens, Hajek basic fuzzy logic and Lukasiewicz infinite-valued logic, Arch. Math. Logic 42 (2003), 361-370.

3.

P. Hajek, Metamathematices of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.

4.

Y. B. Jun and J. M. Ko, Deductive systems of BL-algebras, Honam Math. J. 28 (2006), no. 1, 45-56.

5.

Y. B. Jun and J. M. Ko, Grisly deductive systems of BL-algebras, Bull. Korean Math. Soc. 42 (2005), no. 3, 443-451.

6.

Y. B. Jun, J. M. Ko and M. A. Ozturk, Some results on deductive systems of BL-algebras, Sci. Math. Jpn. 61 (2005), no. 2, 249-258, :e2004, 241-250.

7.

E. Turunen, Mathematics behind fuzzy logic, Physica-Verlag, Heidelberg, 1999