GRISLY DEDUCTIVE SYSTEMS OF BL-ALGEBRAS Jun, Young-Bae; Ko, Jung-Mi;
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