DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

JUN, YOUNG BAE (Department of Mathematics Education (and RINS) Gyeongsang National University) ;
KO, JUNG MI (Department of Mathematics Kangnung National University)

We give characterizations of a deductive system of a BL-algebra, and discuss how to generate a deductive system by a set.