SEARCH

SEARCH BY CITATION

Keywords:

  • n -fold (positive) implicative basic logic;
  • n -fold (positive) implicative BL-algebra;
  • n -fold (positive) implicative filter;
  • Gödel algebra;
  • Boolean algebra

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)