GRISLY DEDUCTIVE SYSTEMS OF BL-ALGEBRAS
Young-Bae Jun, Jung-Mi Ko · Bulletin of the Korean Mathematical Society · 2005
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