Bull. Korean Math. Soc. 2005 Vol. 42, No. 3, 443-451 Printed September 1, 2005
Young Bae Jun and Jung Mi Ko
Abstract : The notion of grisly deductive systems of a BL-algebra is introduced. Conditions for a deductive system to be a grisly deductive system are given. Extension property for a grisly deductive system is established.
Keywords : (implicative) BL-algebra, (grisly) deductive system