Grisly deductive systems of BL-algebras
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
MSC numbers : 03B52, 94D05, 06D35
Downloads: Full-text PDF  


Copyright © Korean Mathematical Society. All Rights Reserved.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail: paper@kms.or.kr   | Powered by INFOrang Co., Ltd