Folding theory applied to BL-algebras
Young Bae Jun, Jung Mi Ko · Open Mathematics · 2004
Abstract The notion of n-fold grisly deductive systems is introduced. Some conditions for a deductive system to be an n-fold grisly deductive system are provided. Extension property for n-fold grisly deductive system is established.