n ‐fold filters in BL‐algebras
Masoud Haveshki, Esfandiar Eslami · Mathematical logic quarterly · 2008
Abstract In this paper we introduce n ‐fold (positive) implicative basis logic and the related algebras called n ‐fold (positive) implicative BL‐algebras. Also we define n ‐fold (positive) implicative filters and we prove some relations between these filters and construct quotient algebras via these filters. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)