Return to Article Details Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras Download Download PDF