The notion of n-fold grisly deductive systems is introduced. Some conditions for a deductive system to be an n-fold grisly deductive system are provided. Extension property for n-fold grisly deductive system is established.
[1] L. Biacino and G. Gerla: “An extension principle for closure operators”, J. Math. Anal. Appl., Vol. 198, (1996), pp. 1–24. http://dx.doi.org/10.1006/jmaa.1996.0064
[2] A. DiNola, G. Georgescu and L. Leustean. “Boolean products of BL-algebras”, J. Math. Appl., Vol. 251, (2000), pp. 106–131. http://dx.doi.org/10.1006/jmaa.2000.7024
[3] J.A. Goguen: “L-fuzzy sets”, J. Math. Appl., Vol. 18, (1967), pp. 145–174. http://dx.doi.org/10.1016/0022-247X(67)90189-8
[4] P. Hájek: Metamathematices of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.
[5] Y.B. Jun and J.M. Ko: “Deductive systems of BL-algebras”, Bull. Korean Math. Soc., [submitted].
[6] Y.B. Jun and J.M. Ko: “Grisly deductive systems of BL-algebras”, Bull. Korean Math. Soc., [submitted].
[7] J.M. Ko and Y.C. Kim: “Some properties of BL-algebras”, J. Korea Fuzzy Logic and Intelligent Systems, Vol. 11(3), (2001), pp. 286–291.
[8] J.M. Ko and Y.C. Kim: “Closure operators on BL-algebras”, Comm. Korean Math. Soc., Vol. 19(2), (2004), pp. 219–232.
[9] E. Turunen: “Boolean deductive systems of BL-algebras”, Arch. Math. Logic, Vol. 40, (2001), pp. 467–473. http://dx.doi.org/10.1007/s001530100088